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.

Three-dimensional hydrogen-bonded structures in the guanidinium salts of the monocyclic dicarboxylic acids rac-trans-cyclohexane-1,2-dicarboxylic acid (2:1, anhydrous), isophthalic acid (1:1, monohydrate) and terephthalic acid (2:1, trihydrate).

The structures of bis(guanidinium)rac-trans-cyclohexane-1,2-dicarboxylate, 2(CH6N3+) C8H10O4- (I), guanidinium 3-carboxybenzoate monohydrate CH6N3+ C8H5O4- . H2O (II) and bis(guanidinium) benzene-1,4-dicarboxylate trihydrate, 2(CH6N3+) C8H4O4^2- . 3H2O (III) have been determined and the hydrogen bonding in each examined. All three compounds form three-dimensional hydrogen-bonded framework structures. In anhydrous (I), both guanidinium cations give classic cyclic R2/2(8) N--H...O,O'(carboxyl) and asymmetric cyclic R1/2(6) hydrogen-bonding interactions while one cation gives an unusual enlarged cyclic interaction with O acceptors of separate ortho-related carboxyl groups [graph set R2/2(11)]. Cations and anions also associate across inversion centres giving cyclic R2/4(8) motifs. In the 1:1 guanidinium salt (II), the cation gives two separate cyclic R1/2(6) interactions, one with a carboxyl O-acceptor, the other with the water molecule of solvation. The structure is unusual in that both carboxyl groups give short inter-anion O...H...O contacts, one across a crystallographic inversion centre [2.483(2)\%A], the other about a two-fold axis of rotation [2.462(2)\%A] with a half-occupancy hydrogen delocalized on the symmetry element in each. The water molecule links the cation--anion ribbon structures into a three-dimensional framework. In (III), the repeating molecular unit comprises a benzene-1,4-dicarboxylate dianion which lies across a crystallographic inversion centre, two guanidinium cations and two water molecules of solvation (each set related by two-fold rotational symmetry), and a single water molecule which lies on a two-fold axis. Each guanidinium cation gives three types of cyclic interactions with the dianions: one R^1^~2~(6), the others R2/3(8) and R3/3(10) (both of these involving the water molecules), giving a three-dimensional structure through bridges down the b cell direction. The water molecule at the general site also forms an unusual cyclic R2/2(4) homodimeric association across an inversion centre [O--H...O, 2.875(2)\%A]. The work described here provides further examples of the common cyclic guanidinium cation...carboxylate anion hydrogen-bonding associations as well as featuring other less common cyclic motifs.

Hydrogen bonding in the anhydrous 1:1 proton-transfer compounds of isonipecotamide with nitro-substituted benzoic acids: the salts of the three isomeric mononitrobenzoic acids and of 3,5-dinitrobenzoic acid

The structures of the anhydrous 1:1 proton-transfer compounds of isonipecotamide (piperidine-4-carboxamide) with the three isomeric mononitro-substituted benzoic acids and 3,5-dinitrobenzoic acid, namely 4-carbamoylpiperidinium 2-nitrobenzoate (I), 4-carbamoylpiperidinium 3-nitrobenzoate (II), 4-carbamoylpiperidinium 4-nitrobenzoate (III), (C6H13N2O+ C7H4NO4-) and 4-carbamoylpiperidinium 3,5-dinitrobenzoate (IV) (C6H13N2O+ C7H5N2O6-)respectively, have been determined at 200 K. All salts form hydrogen-bonded structures: three-dimensional in (I), two-dimensional in (II) and (III) and one-dimensional in (IV). Featured in the hydrogen bonding of three of these [(I), (II) and (IV)] is the cyclic head-to-head amide--amide homodimer motif [graph set R2/2~(8)] through a duplex N---H...O association, the dimer then giving structure extension via either piperidinium or amide H-donors and carboxylate-O and in some examples [(II) and (IV)], nitro-O atom acceptors. In (I), the centrosymmetric amide-amide homodimers are expanded laterally through N-H...O hydrogen bonds via cyclic R2/4(8) interactions forming ribbons which extend along the c cell direction. These ribbons incorporate the 2-nitrobenzoate cations through centrosymmetric cyclic piperidine N-H...O(carboxyl) associations [graph set R4/4(12)], giving inter-connected sheets in the three-dimensional structure. In (II) in which no amide-amide homodimer is present, duplex piperidinium N-H...O(amide) hydrogen-bonding homomolecular associations [graph set R2/2(14)] give centrosymmetric head-to-tail dimers. Structure extension occurs through hydrogen-bonding associations between both the amide H-donors and carboxyl and nitro O-acceptors as well as a three-centre piperidinium N-H...O,O'(carboxyl) cyclic R2/1(4) association giving the two-dimensional network structure. In (III), the centrosymmetric amide-amide dimers are linked through the two carboxyl O-atom acceptors of the anions via bridging piperidinium and amide N-H...O,O'...H-N(amide) hydrogen bonds giving the two-dimensional sheet structure which features centrosymmetric cyclic R4/4(12) associations. In (IV), the amide-amide dimer is also centrosymmetric with the dimers linked to the anions through amide N-H...O(nitro) interactions. The piperidinium groups extend the structure into one-dimensional ribbons via N-H...O(carboxyl) hydrogen bonds. The structures reported here further demonstrate the utility of the isonipecotamide cation in molecular assembly and highlight the efficacy of the cyclic R2/2(8) amide-amide hydrogen-bonding homodimer motif in this process and provide an additional homodimer motif type in the head-to-tail R2/2(14) association.

Parliamentary committees are important in developing policy: evidence from a Queensland case study

Abstract This paper uses a case study to identify the impact of a Queensland parliamentary committee on policy. In 2003, the Travelsafe Committee undertook two inquiries investigating young driver and rider issues. In 2007, the Queensland Parliament passed legislation that provided the power to make regulations that changed the graduated driver licensing laws in Queensland. The analysis of the second reading speeches for this bill suggests that parliamentary committees can help set the agenda for government policy. The role of the Travelsafe Committee in this process was recognised by both government and non-government members of Parliament and by those that had been, or were currently, members of the committee and by those that had no membership experience of the Travelsafe Committee prior to the debate of the legislation. This paper suggests that in order for committees to successfully participate in policy work they need to have strong ideas, work to a consistently high standard and the chair needs to be dedicated to the work of the committee. This case study indicates the importance of parliamentary committees in the policy work of a parliament.

An analysis of parliamentary questions raised by Opposition in the Uttar Pradesh (India) State Legislative Assembly

The use of parliamentary questions is the most popular and visible tool in the hands of the Opposition as a means to make government accountable. Their main purpose is to seek information or press for action. Contemporary parliamentary literature from the UK, Canada, and Australia, however, suggests that parliamentary questions have lost their effectiveness. The literature points out that Question Time in parliaments has become a battle ground between Ruling and Opposition parties in their fight to gain maximum political advantage. In this context, the effectiveness of parliamentary questions in the Indian state legislatures has not been investigated. The aim of this study, therefore, is to analyse the use, purpose and effectiveness of parliamentary questions in the State Legislative Assembly of Uttar Pradesh (India) to explore differences, if any, between Ruling and Opposition parties. In this study, 4023 parliamentary questions asked in the Uttar Pradesh State Legislative Assembly were analysed. The effectiveness of answers was also analysed qualitatively. The results show that half of the total members of the Assembly used this device, out of which 60% of the questions were asked by the Opposition party members. 31% of the questions from the Opposition were seeking information and 69% were pressing for action. The government provided the required information in 96% of the questions in the former category and took action in only 35% of the latter category. Furthermore, 60% of the questions raised by the Opposition were related to constituency matters and the remaining 40% were related to policy issues or public welfare. Comparing the data with the ruling party, the results indicate that the use,purpose and effectiveness of parliamentary questions were similar to that of the Opposition except some minor differences. Surprisingly, there was no evidence of any ‘Dorothy Dix’ questions. The study concludes parliamentary question is an effective device in the Indian state of Uttar Pradesh.

Inter-and Intra-Site Genetic Diversity of Natural Field Populations of Rice Tungro Bacilliform Virus in the Philippines

The genetic structure of rice tungro bacilliform virus (RTBV) populations within and between growing sites was analyzed in a collection of natural field isolates from different rice varieties grown in eight tungro-endemic sites of the Philippines. Total DNA extracts from 345 isolates were digested with EcoRV restriction enzyme and hybridized with a full-length probe of RTBV, a procedure shown in preliminary experiments capable of revealing high levels of polymorphism in RTBV field isolates. In the total population, 17 distinct EcoRV-based genome profiles (genotypes) were identified and used as indicators for virus diversity. Distinct sets of genotypes occurred in Isabela and North Cotabato provinces suggesting a geographic isolation of virus populations. However, among the sites in each province, there were few significant differences in the genotype compositions of virus populations. The number of genotypes detected at a site varied from two to nine with a few genotypes dominating. In general the isolates at a site persisted from season to season indicating a genetic stability for the local virus population. Over the sampling time, IRRI rice varieties, which have green leafhopper resistance genes, supported similar virus populations to those supported by other varieties, indicating that the variety of the host exerted no apparent selection pressures. Insect transmission experiments on selected RTBV field isolates showed that dramatic shifts in genotype and phenotype distributions can occur in response to host /environmental shifts.

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’.

Assessment of commercial network RTK user positioning performance over long inter-station distances

The paper provides an assessment of the performance of commercial Real Time Kinematic (RTK) systems over longer than recommended inter-station distances. The experiments were set up to test and analyse solutions from the i-MAX, MAX and VRS systems being operated with three triangle shaped network cells, each having an average inter-station distance of 69km, 118km and 166km. The performance characteristics appraised included initialization success rate, initialization time, RTK position accuracy and availability, ambiguity resolution risk and RTK integrity risk in order to provide a wider perspective of the performance of the testing systems. ----- ----- The results showed that the performances of all network RTK solutions assessed were affected by the increase in the inter-station distances to similar degrees. The MAX solution achieved the highest initialization success rate of 96.6% on average, albeit with a longer initialisation time. Two VRS approaches achieved lower initialization success rate of 80% over the large triangle. In terms of RTK positioning accuracy after successful initialisation, the results indicated a good agreement between the actual error growth in both horizontal and vertical components and the accuracy specified in the RMS and part per million (ppm) values by the manufacturers. ----- ----- Additionally, the VRS approaches performed better than the MAX and i-MAX when being tested under the standard triangle network with a mean inter-station distance of 69km. However as the inter-station distance increases, the network RTK software may fail to generate VRS correction and then may turn to operate in the nearest single-base RTK (or RAW) mode. The position uncertainty reached beyond 2 meters occasionally, showing that the RTK rover software was using an incorrect ambiguity fixed solution to estimate the rover position rather than automatically dropping back to using an ambiguity float solution. Results identified that the risk of incorrectly resolving ambiguities reached 18%, 20%, 13% and 25% for i-MAX, MAX, Leica VRS and Trimble VRS respectively when operating over the large triangle network. Additionally, the Coordinate Quality indicator values given by the Leica GX1230 GG rover receiver tended to be over-optimistic and not functioning well with the identification of incorrectly fixed integer ambiguity solutions. In summary, this independent assessment has identified some problems and failures that can occur in all of the systems tested, especially when being pushed beyond the recommended limits. While such failures are expected, they can offer useful insights into where users should be wary and how manufacturers might improve their products. The results also demonstrate that integrity monitoring of RTK solutions is indeed necessary for precision applications, thus deserving serious attention from researchers and system providers.

An analysis of effectiveness of parliamentary questions in the Queensland Parliament

Parliamentary questions are an integral part of most Westminster parliamentary systems, serving as a major form of legislative oversight and constituency service (Glassman 2008). There are two types of parliamentary questions, ‘questions without notice’ and ‘questions on notice’. Questions without notice are asked and answered orally during ‘Question Time’. Questions on notice are asked in writing and the relevant minister provides the answer in writing. Parliamentary questions provide a mechanism to seek the accountability of the executive on the floor of the House and barely ‘any aspect of the executive department’s powers and activities can be shielded from questions’ (Crick 1964: 237). In terms of media coverage, this practice is the most widely reported legislative device. Therefore, to a casual observer, the working of parliament is synonymous with Question Time.

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.

Parliamentary inquiry into alcohol-related violence

Alcohol consumption has been a popular leisure activity among Australian since European Settlement. Australians currently consume 7.2 litres per capita pure alcohol and Australia in regards to alcohol consumption is ranked as the 22nd highest country of 58 countries. Although the alcohol industry has provided leisure, employment and government taxes, alcohol use has also become associated with chronic health problems, crime, public disorder and violence. Drunken and disorderly behaviour is commonly associated with Pubs, Clubs and Hotels, particularly in the late night entertainment areas. Historically, drunkenness and disorderly behaviour has been managed by measures such as floggings, jail and treatment in asylums. Alcohol has also been banned in specific areas and restrictions have applied to hours and days of operation. In more recent times alcohol policies have included extended trading hours, restricted trading hours and bans in some Aboriginal communities in order to reduce alcohol-related violence. Community and business partnerships in and around licensed premises have also developed in order to address the noise, violence and disorderly behaviour that often occurs in the evenings and early mornings. There is an urgent need for the government to be more robust about implementing effective alcohol control policies in order to prevent and reduce the harmful effects of alcohol.

Submission to Victorian Parliamentary Committee on Economic Development and Infrastructure

In the networked information driven world that we now inhabit the ability to access and reuse information, data and culture is a key ingredient to social, economic and cultural innovation. As government holds enormous amounts of publicly funded material that can be released to the public without breaching the law it should move to implement policies that will allow better access to and reuse of that information, knowledge and culture. The Queensland Government Information Licensing Framework (GILF) Project4 is one of the first projects in the world to systemically approach this issue and should be consulted as a best practice model.

Inter-sector leader transitions and organisation transformation : a research agenda

Faced with the need for strategic change, structural and cultural realignment, innovation and value-adding, many public sector organisations are tapping into a wider senior leadership talent pool and attracting successful leaders from other sectors (Flynn and Thompson, 2009). Leadership renewal has resulted, in some cases, in the external recruitment of whole senior leadership teams (Hockridge, 2008), raising issues about the influence of context on leader success (Pawar and Eastman, 1997) and potential leader transition failure, a costly outcome for leaders and organisations (Howard, 2001). There is little research on inter-sector leader transitions, which is surprising given the significant costs associated with leader acquisition and failure(Conger, 2010; Day and Halpin, 2004). For example, it is not clear what organizations do (or do not do) to ensure the outcomes of their significant investment in inter sector transitions are realised. In addition, it is not clear how the individual leader manages the challenging transition into a new leadership context and how their approach to leadership facilitates or inhibits successful transition (Avolio, 2010). Leader assimilation programs have been developed to assimilate new leaders (Manderscheid, 2008); however, assimilation is not necessarily a desired organisational outcome (Denis and Pineault, 2000). In this paper we critically review the limited literature on inter-sector leader transitions and transformational change outcomes and argue for a mutual accommodation approach. We draw on our own initial empirical work to propose the elements of a program for achieving this outcome from the perspective of the public organisation and the inter-sector appointee.

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.