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.

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.

Adults cycling on the footpath : what do the data show?

Recent increases in cycling have led to many media articles highlighting concerns about interactions between cyclists and pedestrians on footpaths and off-road paths. Under the Australian Road Rules, adults are not allowed to ride on footpaths unless accompanying a child 12 years of age or younger. However, this rule does not apply in Queensland. This paper reviews international studies that examine the safety of footpath cycling for both cyclists and pedestrians, and relevant Australian crash and injury data. The results of a survey of more than 2,500 Queensland adult cyclists are presented in terms of the frequency of footpath cycling, the characteristics of those cyclists and the characteristics of self-reported footpath crashes. A third of the respondents reported riding on the footpath and, of those, about two-thirds did so reluctantly. Riding on the footpath was more common for utilitarian trips and for new riders, although the average distance ridden on footpaths was greater for experienced riders. About 5% of distance ridden and a similar percentage of self-reported crashes occurred on footpaths. These data are discussed in terms of the Safe Systems principle of separating road users with vastly different levels of kinetic energy. The paper concludes that footpaths are important facilities for both inexperienced and experienced riders and for utilitarian riding, especially in locations riders consider do not provide a safe system for cycling.

Gender differences in recreational and transport cycling : a cross-sectional mixed-methods comparison of cycling patterns, motivators, and constraints

Background: Gender differences in cycling are well-documented. However, most analyses of gender differences make broad comparisons, with few studies modeling male and female cycling patterns separately for recreational and transport cycling. This modeling is important, in order to improve our efforts to promote cycling to women and men in countries like Australia with low rates of transport cycling. The main aim of this study was to examine gender differences in cycling patterns and in motivators and constraints to cycling, separately for recreational and transport cycling. Methods: Adult members of a Queensland, Australia, community bicycling organization completed an online survey about their cycling patterns; cycling purposes; and personal, social and perceived environmental motivators and constraints (47% response rate). Closed and open-end questions were completed. Using the quantitative data, multivariable linear, logistic and ordinal regression models were used to examine associations between gender and cycling patterns, motivators and constraints. The qualitative data were thematically analysed to expand upon the quantitative findings. Results: In this sample of 1862 bicyclists, men were more likely than women to cycle for recreation and for transport, and they cycled for longer. Most transport cycling was for commuting, with men more likely than women to commute by bicycle. Men were more likely to cycle on-road, and women off-road. However, most men and women did not prefer to cycle on-road without designed bicycle lanes, and qualitative data indicated a strong preference by men and women for bicycle-only off-road paths. Both genders reported personal factors (health and enjoyment related) as motivators for cycling, although women were more likely to agree that other personal, social and environmental factors were also motivating. The main constraints for both genders and both cycling purposes were perceived environmental factors related to traffic conditions, motorist aggression and safety. Women, however, reported more constraints, and were more likely to report as constraints other environmental factors and personal factors. Conclusion: Differences found in men’s and women’s cycling patterns, motivators and constraints should be considered in efforts to promote cycling, particularly in efforts to increase cycling for transport.

Comparing retail union strategy in a neoliberal context

Amongst the most vulnerable workers in a neoliberal world are retail employees. In many countries these low paid workers comprise around 10 per cent of the workforce. The retail labour market is highly feminised, in some countries quite youthful and often part time or in various forms of precarious employment. The industry and its unions have however rarely been studied by academics. A three-country research team (United Kingdom, Australia and New Zealand) is investigating retail union strategy across these Anglophone countries in order to determine how, and how effectively, unions are contributing to workplace justice for retail workers.

Effects of acute multinutrient supplementation on rugby union game performance and recovery

Purpose: To investigate the effects of an acute multinutrient supplement on game-based running performance, peak power output, anaerobic by-products, hormonal profiles, markers of muscle damage, and perceived muscular soreness before, immediately after, and 24 h following competitive rugby union games. Methods: Twelve male rugby union players ingested either a comprehensive multinutrient supplement (SUPP), [RE-ACTIVATE:01], or a placebo (PL) for 5 d. Participants then performed a competitive rugby union game (with global positioning system tracking), with associated blood draws and vertical jump assessments pre, immediately post and 24 h following competition. Results: SUPP ingestion resulted in moderate to large effects for augmented 1st half very high intensity running (VHIR) mean speed (5.9 ± 0.4 vs 4.8 ± 2.3 m·min–1; d= 0.93). Further, moderate increases in 2nd half VHIR distance (137 ± 119 vs 83 ± 89 m; d= 0.73) and VHIR mean speed (5.9 ± 0.6 v 5.3 ± 1.7 m·min–1; d= 0.56) in SUPP condition were also apparent. Postgame aspartate aminotransferase (AST; 44.1 ± 11.8 vs 37.0 ± 3.2 UL; d= 1.16) and creatine kinase (CK; 882 ± 472 vs. 645 ± 123 UL; d= 0.97) measures demonstrated increased values in the SUPP condition, while AST and CK values correlated with 2nd half VHIR distance (r= –0.71 and r= –0.76 respectively). Elevated C-reactive protein (CRP) was observed postgame in both conditions; however, it was significantly blunted with SUPP (P= .05). Conclusions: These findings suggest SUPP may assist in the maintenance of VHIR during rugby union games, possibly via the buffering qualities of SUPP ingredients. However, correlations between increased work completed at very high intensities and muscular degradation in SUPP conditions, may mask any anticatabolic properties of the supplement.

Varieties of collaboration: The case of an Australian retail union

Much has been written about varieties of collaboration and the interplay between conflict and collaboration in industrial relations. This paper explores the preconditions, processes and outcomes associated with the collaborative strategies of an Australian retail trade union: the Shop, Distributive and Allied Employees' Association. The data were collected from an extensive series of interviews with officials and organisers within the union across all Australian states. We find that despite taking a servicing approach, and indeed never aggressively organising members, the union has managed to achieve a range of outcomes that exceed retail employment conditions in other countries. We argue that this is partly a result of the Australian legislative framework, which is inherently pluralist and supportive of collective bargaining. This environment, whereby unions are not forced to fight to represent members, can be conducive to collaborative employment relations, particularly in industries where the parties do not adopt an adversarialist stance.

Paradoxes of participation : non-union workplace partnerships in John Lewis

The extent to which workplace partnership delivers mutual gains is subject to considerable debate amongst practitioners and scholars. One of the oldest and largest examples of workplace partnership is the John Lewis Partnership that began using forms of non-union employee representation in 1929. Despite ongoing interest from researchers in employee representation, and specifically non-union forms of employee voice, there have been few in-depth studies of the Partnership's organisational structure and practices since the 1980s. This paper explores in detail the operation of representation structures in the John Lewis Partnership, which is a significant case of non-union workplace partnership with the potential for mutual gains. A key finding of the paper was that the decision-making structures that characterise the Partnership, and that are protected by a constitution, are under constant threat from the discursive struggle to define partnership in a way that privileges managerial interests. The paper argues, therefore, that mutual gains need to be secured both structurally and discursively to address the tensions and paradoxes at the heart of debates about the meaning and aims of employee representation.

Carbohydrate gel ingestion and immunoendocrine responses to cycling in temperate and hot conditions

PURPOSE: Heat stress might attenuate the effects of carbohydrate on immunoendocrine responses to exercise by increasing endogenous glucose production and reducing the rate of exogenous carbohydrate oxidation. The authors compared the efficacy of carbohydrate consumption on immune responses to exercise in temperate vs. hot conditions. METHODS: Ten male cyclists exercised on 2 separate occasions in temperate (18.1 +/- 0.4 degrees C, 58% +/- 8% relative humidity) and on another 2 occasions in hot conditions (32.2 +/- 0.7 degrees C, 55% +/- 2% relative humidity). On each occasion, the cyclists exercised in a fed state for 90 min at approximately 60% VO2max and then completed a 16.1-km time trial. Every 15 min during the first 90 min of exercise, they consumed 0.24 g/kg body mass of a carbohydrate or placebo gel. RESULTS: Neutrophil counts increased during exercise in all trials (p < .05) and were significantly lower (40%, p = .006) after the carbohydrate than after the placebo trial in 32 degrees C. The concentrations of serum interleukin (IL)-6, IL-8, and IL-10 and plasma granulocyte-colony-stimulating factor, myeloperoxidase, and calprotectin also increased during exercise in all trials but did not differ significantly between the carbohydrate and placebo trials. Plasma norepinephrine concentration increased during exercise in all trials and was significantly higher (50%, p = .01) after the carbohydrate vs. the placebo trial in 32 degrees C. CONCLUSION: Carbohydrate ingestion attenuated neutrophil counts during exercise in hot conditions, whereas it had no effect on any other immune variables in either temperate or hot conditions.

On the need for an international effort to capture, share and use crystallization screening data

When crystallization screening is conducted many outcomes are observed but typically the only trial recorded in the literature is the condition that yielded the crystal(s) used for subsequent diffraction studies. The initial hit that was optimized and the results of all the other trials are lost. These missing results contain information that would be useful for an improved general understanding of crystallization. This paper provides a report of a crystallization data exchange (XDX) workshop organized by several international large-scale crystallization screening laboratories to discuss how this information may be captured and utilized. A group that administers a significant fraction of the worlds crystallization screening results was convened, together with chemical and structural data informaticians and computational scientists who specialize in creating and analysing large disparate data sets. The development of a crystallization ontology for the crystallization community was proposed. This paper (by the attendees of the workshop) provides the thoughts and rationale leading to this conclusion. This is brought to the attention of the wider audience of crystallographers so that they are aware of these early efforts and can contribute to the process going forward. © 2012 International Union of Crystallography All rights reserved.

Physiological and symptomatic responses to cycling and walking in intermittent claudication

To shed light on the potential efficacy of cycling as a testing modality in the treatment of intermittent claudication (IC), this study compared physiological and symptomatic responses to graded walking and cycling tests in claudicants. Sixteen subjects with peripheral arterial disease (resting ankle: brachial index (ABI) < 0.9) and IC completed a maximal graded treadmill walking (T) and cycle (C) test after three familiarization tests on each mode. During each test, symptoms, oxygen uptake (VO2), minute ventilation (VE), respiratory exchange ratio (RER) and heart rate (HR) were measured, and for 10 min after each test the brachial and ankle systolic pressures were recorded. All but one subject experienced calf pain as the primary limiting symptom during T; whereas the symptoms were more varied during C and included thigh pain, calf pain and dyspnoea. Although maximal exercise time was significantly longer on C than T (690 +/- 67 vs. 495 +/- 57 s), peak VO2, peak VE and peak heart rate during C and T were not different; whereas peak RER was higher during C. These responses during C and T were also positively correlated (P < 0.05) with each other, with the exception of RER. The postexercise systolic pressures were also not different between C and T. However, the peak decline in ankle pressures from resting values after C and T were not correlated with each other. These data demonstrate that cycling and walking induce a similar level of metabolic and cardiovascular strain, but that the primary limiting symptoms and haemodynamic response in an individual's extremity, measured after exercise, can differ substantially between these two modes.