Automatic generation of assertions to detect potential security vulnerabilities in C programs that use union and pointer types

Type unions, pointer variables and function pointers are a long standing source of subtle security bugs in C program code. Their use can lead to hard-to-diagnose crashes or exploitable vulnerabilities that allow an attacker to attain privileged access over classified data. This paper describes an automatable framework for detecting such weaknesses in C programs statically, where possible, and for generating assertions that will detect them dynamically, in other cases. Exclusively based on analysis of the source code, it identifies required assertions using a type inference system supported by a custom made symbol table. In our preliminary findings, our type system was able to infer the correct type of unions in different scopes, without manual code annotations or rewriting. Whenever an evaluation is not possible or is difficult to resolve, appropriate runtime assertions are formed and inserted into the source code. The approach is demonstrated via a prototype C analysis tool.

Critical communications research in Australia : from radical populism to creative industries

This paper tracks the development of critical communicatiosn research in Australia over a 30 year period. It assesses the relative significance of critical theory, Marxist political economy and cultural studies to the development of such a tradition. it also evaluates the rise of 'creative industries' dicourse as an emergent development in the field, and a distinctive contribution of Australian media and communications research.

Prospective, non-randomized phase 2 clinical trial of carboplatin plus paclitaxel with sequential radical pelvic radiotherapy for uterine papillary serous carcinoma

Objective Uterine Papillary Serous Carcinoma (UPSC) is uncommon and accounts for less than 5% of all uterine cancers. Therefore the majority of evidence about the benefits of adjuvant treatment comes from retrospective case series. We conducted a prospective multi-centre non-randomized phase 2 clinical trial using four cycles of adjuvant paclitaxel plus carboplatin chemotherapy followed by pelvic radiotherapy, in order to evaluate the tolerability and safety of this approach. Methods This trial enrolled patients with newly diagnosed, previously untreated patients with stage 1b-4 (FIGO-1988) UPSC with a papillary serous component of at least 30%. Paclitaxel (175 mg/m2) and carboplatin (AUC 6) were administered on day 1 of each 3-week cycle for 4 cycles. Chemotherapy was followed by external beam radiotherapy to the whole pelvis (50.4 Gy over 5.5 weeks). Completion and toxicity of treatment (Common Toxicity Criteria, CTC) and quality of life measures were the primary outcome indicators. Results Twenty-nine of 31 patients completed treatment as planned. Dose reduction was needed in 9 patients (29%), treatment delay in 7 (23%), and treatment cessation in 2 patients (6.5%). Hematologic toxicity, grade 3 or 4 occurred in 19% (6/31) of patients. Patients' self-reported quality of life remained stable throughout treatment. Thirteen of the 29 patients with stages 1–3 disease (44.8%) recurred (average follow up 28.1 months, range 8–60 months). Conclusion This multimodal treatment is feasible, safe and tolerated reasonably well and would be suitable for use in multi-institutional prospective randomized clinical trials incorporating novel therapies in patients with UPSC.

Defending the patch : a labour geography analysis of unions’ construction of and responses to the problem of declining union membership amongst youth

If the trade union movement is to remain an influential force in the industrial, economic and socio/political arenas of industrialised nations it is vital that its recruitment of young members improve dramatically. Australian union membership levels have declined markedly over the last three decades and youth union membership levels have decreased more than any age group. Currently around 10% of young workers aged between 16-24 years are members of unions in Australia compared to 26% of workers aged 45-58 (Oliver, 2008). This decline has occurred throughout the union movement, in all states and in almost all industries and occupations. This research, which consists of interviews with union organisers and union officials, draws on perspectives from the labour geography literature to explore how union personnel located in various places, spaces and scales construct the issue of declining youth union membership. It explores the scale of connections within the labour movement and the extent to which these connections are leveraged to address the problem of youth union membership decline. To offer the reader a sense of context and perspective, the thesis firstly outlines the historical development of the union movement. It also reviews the literature on youth membership decline. Labour geography offers a rich and apposite analytical tool for investigation of this area. The notion of ‘scale’ as a dynamic, interactive, constructed and reconstructed entity (Ellem, 2006) is an appropriate lens for viewing youth-union membership issues. In this non-linear view, scale is a relational element which interplays with space, place and the environment (Howett, in Marston, 2000) rather than being ‘sequential’ and hierarchical. Importantly, the thesis investigates the notion of unions as ‘spaces of dependence’ (Cox, 1998a, p.2), organisations whose space is centred upon realising essential interests. It also considers the quality of unions’ interactions with others – their ‘spaces of engagement‘(Cox, 1998a, p.2), and the impact that this has upon their ability to recruit youth. The findings reveal that most respondents across the spectrum of the union movement attribute the decline in youth membership levels to factors external to the movement itself, such as changes to industrial relations legislation and the impact of globalisation on employment markets. However, participants also attribute responsibility for declining membership levels to the union movement itself, citing factors such as a lack of resourcing and a need to change unions’ perceived identity and methods of operation. The research further determined that networks of connections across the union movement are tenuous and, to date, are not being fully utilised to assist unions to overcome the youth recruitment dilemma. The study concludes that potential connections between unions are hampered by poor resourcing, workload issues and some deeply entrenched attitudes related to unions ‘defending (and maintaining) their patch’.

Access to medicine and the dangers of patent linkage : lessons from Bayer Corp v. Union of India

In February 2010, the Delhi High Court delivered its decision in Bayer Corp v Union of India in which Bayer had appealed against an August 2009 decision of the same court. Both decisions prevented Bayer from introducing the concept of patent linkage into India’s drug regulatory regime. Bayer appealed to the Indian Supreme Court, the highest court in India, which agreed on 2 March 2010 to hear the appeal. Given that India is regarded as a global pharmaceutical manufacturer of generic medications, how its judiciary and government perceive their international obligations has a significant impact on the global access to medicines regime. In rejecting the application of patent linkage, the case provides an opportunity for India to further acknowledge its international human rights obligations.

The psychological impact of industrial strikes: Does involvement in union activity during strikes make a difference?

The current study investigated the psychological impact of a United Steelworkers of America strike on the steelworkers involved, and the relationship between psychological well-being and individuals' levels of involvement in union activity during the strike. Three hundred and fifty-one steelworkers (302 `strikers' and 49 `non-strikers') completed surveys measuring a range of demographic and psychological well-being variables. Strikers, compared to non-strikers, reported higher levels of depression, anxiety, and irritation, and lower levels of mental health. For strikers, engaging in higher levels of union activity during the strike was associated with better psychological well-being. Jahoda's theory of deprivation during unemployment is used as the lens through which to explain some of the results, supporting the view that latent benefits associated with work are important for psychological well-being. A range of practical implications are offered for unions and their members.

Manipulating task constraints to improve tactical knowledge and collective decision-making in rugby union

In team sports such as rugby union, a myriad of decisions and actions occur within the boundaries that compose the performance perceptual- motor workspace. The way that these performance boundaries constrain decision making and action has recently interested researchers and has involved developing an understanding of the concept of constraints. Considering team sports as complex dynamical systems, signifies that they are composed of multiple, independent agents (i.e. individual players) whose interactions are highly integrated. This level of complexity is characterized by the multiple ways that players in a rugby field can interact. It affords the emergence of rich patterns of behaviour, such as rucks, mauls, and collective tactical actions that emerge due to players’ adjustments to dynamically varying competition environments. During performance, the decisions and actions of each player are constrained by multiple causes (e.g. technical and tactical skills, emotional states, plans, thoughts, etc.) that generate multiple effects (e.g. to run or pass, to move forward to tackle or maintain position and drive the opponent to the line), a prime feature in a complex systems approach to team games performance (Bar- Yam, 2004). To establish a bridge between the complexity sciences and learning design in team sports like rugby union, the aim of practice sessions is to prepare players to pick up and explore the information available in the multiple constraints (i.e. the causes) that influence performance. Therefore, learning design in training sessions should be soundly based on the interactions amongst players (i.e.teammates and opponents) that will occur in rugby matches. To improve individual and collective decision making in rugby union, Passos and colleagues proposed in previous work a performer- environment interaction- based approach rather than a traditional performer- based approach (Passos, Araújo, Davids & Shuttleworth, 2008).

Profluorescent nitroxides as sensitive probes of oxidative change and free radical reactions

This paper presents a review on the use of tethered nitroxide–fluorophore molecules as probes of oxidative change and free radical generation and reaction. The proximity of the nitroxide free radical to the fluorophore suppresses the normal fluorescence emission process. Nitroxide free radical scavenging, metabolism or redox chemistry return the system to its natural fluorescent state and so these tethered nitroxide–fluorophore molecules are described as being profluorescent. A survey of profluorescent nitroxides found in the literature is provided as well as background on the mechanism of action and applications of these compounds as fluorometric probes within the fields of biological, materials and environmental sciences.

Living characteristics of the free-radical ring-closing polymerization of diallyldimethylammonium chloride

In this communication we provide the most recent results on RAFT-mediated ring-closing polymerization of diallyldimethylammonium chloride (DADMAC). The polymerization was carried out in aqueous solution employing 2,2′-azobis(2-methylpropionamidine)-dihydrochloride as the free radical initiator and trithiocarbonate RAFT agent (2-{[(dodecylsulfanyl)carbonothioyl sulfanyl]}propanoic acid, DoPAT) as the controlling RAFT agent. The results show that – while the system is not as completely controlled as previously described – it is nevertheless possible to mediate the polymerization of DADMAC and impart some living characteristics onto the system. The initial study on the RAFT-mediated polymerization of DADMAC may have overestimated the degree of livingness within this reaction. However, it is possible – at low conversions – for some living characteristics to be observed, as the evolution of molecular weight with conversion is linear. In addition, polymers with a reasonably narrow polydispersity can be isolated.

Effective attacking strategies in rugby union

Evasive change-of-direction manoeuvres (agility skills) are a fundamental ability in rugby union. In this study, we explored the attributes of agility skill execution as they relate to effective attacking strategies in rugby union. Seven Super 14 games were coded using variables that assessed team patterns and individual movement characteristics during attacking ball carries. The results indicated that tackle-breaks are a key determinant of try-scoring ability and team success in rugby union. The ability of the attacking ball carrier to receive the ball at high speed with at least two body lengths from the defence line against an isolated defender promoted tackle-breaks. Furthermore, the execution of a side-step evasive manoeuvre at a change of direction angle of 20–60° and a distance of one to two body lengths from the defence, and then straightening the running line following the initial direction change at an angle of 20–60°, was associated with tackle-breaks. This study provides critical insight regarding the attributes of agility skill execution that are associated with effective ball carries in rugby union.

Is globalisation an enabler of radical innovation in Toyota?

Prior evidence from the fields of innovation management and supplier relations predicts that Japanese firms should be naturally disadvantaged in developing and deploying radical innovations. But this conclusion is inconsistent with recent developments in the automotive industry. This paper presents secondary case study data focusing on fuel cell powered vehicles and hybrid cars to show that Toyota, one of Japan's largest and most influential corporations, is capable of developing radically new technologies, and is in several respects better at this sort of innovation than the rest of the global automotive industry.

What the hare can teach the tortoise about make-buy strategies for radical innovations

Purpose of this paper – The purpose of this investigation is to help establish: whether or not strong relationships between suppliers and customers improve performance; and if prescriptive frameworks on outsourcing radical innovations are dependent on industry clockspeed. Design/methodology/approach – A survey of UK-based manufacturers, followed by a statistical analysis. Findings – Long-term supplier links seem not to play a role in the development of radical innovations. Moreover, industry clockspeed has no significant bearing on the success or failure of any outsourcing strategy for radically new technologies. Research limitations/implications – Literature about outsourcing in the face of radical innovation can be more confidently applied to industries of all clockspeeds. Practical implications – Prescriptions for fast clockspeed industries should be applied more broadly: all industries should maintain a high degree of vertical integration in the early days of a radical innovation. Originality/value – Prior papers had explored whether or not a company should outsource radical innovations, but none had determined if this is equally true for slow industries and fast ones. Therein lies the original contribution of this paper.