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.

Gender differences in the effect of fish oil on appetite, inflammation and nutritional status in haemodialysis patients

Background: Haemodialysis patients show signs of chronic inflammation and reduced appetite, which is associated with a worse clinical status and an increased mortality risk. Fish oil has anti-inflammatory properties and may be useful as a therapeutic treatment. There is limited evidence to indicate the feasibility and efficacy of this intervention in dialysis patients. The present study aimed to compare the effect of 12 weeks of supplementation with fish oil on markers of appetite and inflammation in male and female haemodialysis patients. Methods: The study was conducted in 28 haemodialysis patients. All patients were prescribed 3 g of fish oil per day for 12 weeks. Changes in appetite, plasma fatty acid profiles and inflammatory markers were measured at baseline and at 12 weeks. Results: The mean (SD) increase in percent plasma eicosapentaenoic acid was statistically significant [1.1 (0.8) to 4.1 (2.2), P < 0.001], which was a strong indicator of good adherence. There were trends towards reductions in peptide YY (−9%; P = 0.078) and an increase in subjective sensations of hunger (+12%; P = 0.406), which reflects an increase in motivation to eat. Males (n = 13) experienced a more marked increase in hunger compared to females (+23% versus −6%), which was associated with maintenance in C-reactive protein and interleukin-6, and a reduction in soluble intercellular adhesion molecule-1. Conclusions: The results obtained demonstrate meaningful trends towards improvements in subjective appetite and certain inflammatory markers (although no change in dietary intake) and this effect was more pronounced in males. However, the levels of some inflammatory markers increased in females and this requires further study. The high level of adherence achieved indicates that an intervention requiring patients to consume four fish oil capsules per day is achievable. This was a short-term study and the effects need to be confirmed in a randomised controlled trial.

Soil management effects on organic carbon in isolated fractions of a Gray Luvisol

Agricultural management affects soil organic matter, which is important for sustainable crop production and as a greenhouse gas sink. Our objective was to determine how tillage, residue management and N fertilization affect organic C in unprotected, and physically, chemically and biochemically protected soil C pools. Samples from Breton, Alberta were fractionated and analysed for organic C content. As in previous report, N fertilization had a positive effect, tillage had a minimal effect, and straw management had no effect on whole-soil organic C. Tillage and straw management did not alter organic C concentrations in the isolated C pools, while N fertilization increased C concentrations in all pools. Compared with a woodlot soil, the cultivated plots had lower total organic C, and the C was redistributed among isolated pools. The free light fraction and coarse particulate organic matter responded positively to C inputs, suggesting that much of the accumulated organic C occurred in an unprotected pool. The easily dispersed silt-sized fraction was the mineral-associated pool most responsive to changes in C inputs, whereas the microaggregate-derived silt-sized fraction best preserved C upon cultivation. These findings suggest that the silt-sized fraction is important for the long-term stabilization of organic matter through both physical occlusion in microaggregates and chemical protection by mineral association.

Nitrogen pools and fluxes in grassland soils sequestering carbon

Carbon sequestration in agricultural, forest, and grassland soils has been promoted as a means by which substantial amounts of CO2 may be removed from the atmosphere, but few studies have evaluated the associated impacts on changes in soil N or net global warming potential (GWP). The purpose of this research was to ( 1) review the literature to examine how changes in grassland management that affect soil C also impact soil N, ( 2) assess the impact of different types of grassland management on changes in soil N and rates of change, and (3) evaluate changes in N2O fluxes from differently managed grassland ecosystems to assess net impacts on GWP. Soil C and N stocks either both increased or both decreased for most studies. Soil C and N sequestration were tightly linked, resulting in little change in C: N ratios with changes in management. Within grazing treatments N2O made a minor contribution to GWP (0.1-4%), but increases in N2O fluxes offset significant portions of C sequestration gains due to fertilization (10-125%) and conversion (average = 27%). Results from this work demonstrate that even when improved management practices result in considerable rates of C and N sequestration, changes in N2O fluxes can offset a substantial portion of gains by C sequestration. Even for cases in which C sequestration rates are not entirely offset by increases in N2O fluxes, small increases in N2O fluxes can substantially reduce C sequestration benefits. Conversely, reduction of N2O fluxes in grassland soils brought about by changes in management represents an opportunity to reduce the contribution of grasslands to net greenhouse gas forcing.

Apoptosis is induced in Chlamydia trachomatis infected HEp-2 cells by the addition of a combination innate immune activation compounds and the inhibitor wedelolactone

Problem: Innate immune activation of human cells, for some intracellular pathogens, is advantageous for vacuole morphology and pathogenic viability. It is unknown whether innate immune activation is advantageous to Chlamydia trachomatis viability. ----- ----- Method of study: Innate immune activation of HEp-2 cells during Chlamydia infection was conducted using lipopolysaccharide (LPS), polyI:C, and wedelolactone (innate immune inhibitor) to investigate the impact of these conditions on viability of Chlamydia. ----- ----- Results: The addition of LPS and polyI:C to stimulate activation of the two distinct innate immune pathways (nuclear factor kappa beta and interferon regulatory factor) had no impact on the viability of Chlamydia. However, when compounds targeting either pathway were added in combination with the specific innate immune inhibitor (wedelolactone) a major impact on Chlamydia viability was observed. This impact was found to be due to the induction of apoptosis of the HEp-2 cells under these conditions. ----- ----- Conclusion: This is the first time that induction of apoptosis has been reported in C. trachomatis-infected cells when treated with a combination of innate immune activators and wedelolactone.

Motivating domestic energy conservation through comparative, community-based feedback in mobile and social media

The progress of technology has led to the increased adoption of energy monitors among household energy consumers. While the monitors available on the market deliver real-time energy usage feedback to the consumer, the format of this data is usually unengaging and mundane. Moreover, it fails to address consumers with different motivations and needs to save and compare energy. This paper presents a study that seeks to provide initial indications for motivation-specific design of energy-related feedback. We focus on comparative feedback supported by a community of energy consumers. In particular, we examine eco-visualisations, temporal self-comparison, norm comparison, one-on-one comparison and ranking, whereby the last three allow us to explore the potential of socialising energy-related feedback. These feedback types were integrated in EnergyWiz – a mobile application that enables users to compare with their past performance, neighbours, contacts from social networking sites and other EnergyWiz users. The application was evaluated in personal, semi-structured interviews, which provided first insights on how to design motivation-related comparative feedback.

Measuring and monitoring soil organic carbon stocks in agricultural lands for climate mitigation

Policies that encourage greenhouse-gas emitters to mitigate emissions through terrestrial carbon (C) offsets – C sequestration in soils or biomass – will promote practices that reduce erosion and build soil fertility, while fostering adaptation to climate change, agricultural development, and rehabilitation of degraded soils. However none of these benefits will be possible until changes in C stocks can be documented accurately and cost-effectively. This is particularly challenging when dealing with changes in soil organic C (SOC) stocks. Precise methods for measuring C in soil samples are well established, but spatial variability in the factors that determine SOC stocks makes it difficult to document change. Widespread interest in the benefits of SOC sequestration has brought this issue to the fore in the development of US and international climate policy. Here, we review the challenges to documenting changes in SOC stocks, how policy decisions influence offset documentation requirements, and the benefits and drawbacks of different sampling strategies and extrapolation methods.

Novel molecular markers of Chlamydia pecorum genetic diversity in the koala (Phascolarctos cinereus)

Background Chlamydia pecorum is an obligate intracellular bacterium and the causative agent of reproductive and ocular disease in several animal hosts including koalas, sheep, cattle and goats. C. pecorum strains detected in koalas are genetically diverse, raising interesting questions about the origin and transmission of this species within koala hosts. While the ompA gene remains the most widely-used target in C. pecorum typing studies, it is generally recognised that surface protein encoding genes are not suited for phylogenetic analysis and it is becoming increasingly apparent that the ompA gene locus is not congruent with the phylogeny of the C. pecorum genome. Using the recently sequenced C. pecorum genome sequence (E58), we analysed 10 genes, including ompA, to evaluate the use of ompA as a molecular marker in the study of koala C. pecorum genetic diversity. Results Three genes (incA, ORF663, tarP) were found to contain sufficient nucleotide diversity and discriminatory power for detailed analysis and were used, with ompA, to genotype 24 C. pecorum PCR-positive koala samples from four populations. The most robust representation of the phylogeny of these samples was achieved through concatenation of all four gene sequences, enabling the recreation of a "true" phylogenetic signal. OmpA and incA were of limited value as fine-detailed genetic markers as they were unable to confer accurate phylogenetic distinctions between samples. On the other hand, the tarP and ORF663 genes were identified as useful "neutral" and "contingency" markers respectively, to represent the broad evolutionary history and intra-species genetic diversity of koala C. pecorum. Furthermore, the concatenation of ompA, incA and ORF663 sequences highlighted the monophyletic nature of koala C. pecorum infections by demonstrating a single evolutionary trajectory for koala hosts that is distinct from that seen in non-koala hosts. Conclusions While the continued use of ompA as a fine-detailed molecular marker for epidemiological analysis appears justified, the tarP and ORF663 genes also appear to be valuable markers of phylogenetic or biogeographic divisions at the C. pecorum intra-species level. This research has significant implications for future typing studies to understand the phylogeny, genetic diversity, and epidemiology of C. pecorum infections in the koala and other animal species.

Front interactions in a three-component system

The three-component reaction-diffusion system introduced in [C. P. Schenk et al., Phys. Rev. Lett., 78 (1997), pp. 3781–3784] has become a paradigm model in pattern formation. It exhibits a rich variety of dynamics of fronts, pulses, and spots. The front and pulse interactions range in type from weak, in which the localized structures interact only through their exponentially small tails, to strong interactions, in which they annihilate or collide and in which all components are far from equilibrium in the domains between the localized structures. Intermediate to these two extremes sits the semistrong interaction regime, in which the activator component of the front is near equilibrium in the intervals between adjacent fronts but both inhibitor components are far from equilibrium there, and hence their concentration profiles drive the front evolution. In this paper, we focus on dynamically evolving N-front solutions in the semistrong regime. The primary result is use of a renormalization group method to rigorously derive the system of N coupled ODEs that governs the positions of the fronts. The operators associated with the linearization about the N-front solutions have N small eigenvalues, and the N-front solutions may be decomposed into a component in the space spanned by the associated eigenfunctions and a component projected onto the complement of this space. This decomposition is carried out iteratively at a sequence of times. The former projections yield the ODEs for the front positions, while the latter projections are associated with remainders that we show stay small in a suitable norm during each iteration of the renormalization group method. Our results also help extend the application of the renormalization group method from the weak interaction regime for which it was initially developed to the semistrong interaction regime. The second set of results that we present is a detailed analysis of this system of ODEs, providing a classification of the possible front interactions in the cases of $N=1,2,3,4$, as well as how front solutions interact with the stationary pulse solutions studied earlier in [A. Doelman, P. van Heijster, and T. J. Kaper, J. Dynam. Differential Equations, 21 (2009), pp. 73–115; P. van Heijster, A. Doelman, and T. J. Kaper, Phys. D, 237 (2008), pp. 3335–3368]. Moreover, we present some results on the general case of N-front interactions.

Characterization of in vitro Chlamydia muridarum persistence and utilization in an in vivo mouse model of Chlamydia vaccine

Problem: Chlamydia trachomatis genital tract infections are easily treated with antibiotics, however the majority of infections are asymptomatic and therefore untreated, highlighting the need for a vaccine. Because most infections are asymptomatic, vaccination could potentially be administered to individuals who may have an acute infection at that time. In such individuals the effect of vaccination on the existing infection is unknown; however one potential outcome could be the development of a persistent infection. In vitro chlamydial persistence has been well characterized in various strains, however there have been no reported studies in C. muridarum. Method of Study: We performed ultrastructural characterization, and transcriptome analysis of selected genes. We then used the transcriptional profiles of the selected genes to examine whether intranasal immunization of mice during an active genital infection would induce persistence in the upper reproductive tract of female mice. Results and Conclusions: We found that persistence developed in the oviducts of mice as a result of immunization. This is a significant finding, not only because it is the first time that C. muridarum persistence has been characterized in vitro, but also due to the fact that there is minimal characterization of in vivo persistence of any chlamydial species. This highlights the importance of the timing of vaccination in individuals.

Cement-in-cement revision for selected Vancouver Type B1 femoral periprosthetic fractures : A biomechanical analysis

The aim of this study was to perform a biomechanical analysis of the cement-in-cement (c-in-c) technique for fixation of selected Vancouver Type B1 femoral periprosthetic fractures and to assess the degree of cement interposition at the fracture site. Six embalmed cadaveric femora were implanted with a cemented femoral stem. Vancouver Type B1 fractures were created by applying a combined axial and rotational load to failure. The femora were repaired using the c-in-c technique and reloaded to failure. The mean primary fracture torque was 117 Nm (SD 16.6, range 89–133). The mean revision fracture torque was 50 Nm (SD 16.6, range 29–74), which is above the torque previously observed for activities of daily living. Cement interposition at the fracture site was found to be minimal.

Memory effect in the deposition of C20 fullerenes on a diamond surface

In this paper, the deposition of C-20 fullerenes on a diamond (001)-(2x1) surface and the fabrication of C-20 thin film at 100 K were investigated by a molecular dynamics (MD) simulation using the many-body Brenner bond order potential. First, we found that the collision dynamic of a single C-20 fullerene on a diamond surface was strongly dependent on its impact energy. Within the energy range 10-45 eV, the C-20 fullerene chemisorbed on the surface retained its free cage structure. This is consistent with the experimental observation, where it was called the memory effect in "C-20-type" films [P. Melion , Int. J. Mod. B 9, 339 (1995); P. Milani , Cluster Beam Synthesis of Nanostructured Materials (Springer, Berlin, 1999)]. Next, more than one hundred C-20 (10-25 eV) were deposited one after the other onto the surface. The initial growth stage of C-20 thin film was observed to be in the three-dimensional island mode. The randomly deposited C-20 fullerenes stacked on diamond surface and acted as building blocks forming a polymerlike structure. The assembled film was also highly porous due to cluster-cluster interaction. The bond angle distribution and the neighbor-atom-number distribution of the film presented a well-defined local order, which is of sp(3) hybridization character, the same as that of a free C-20 cage. These simulation results are again in good agreement with the experimental observation. Finally, the deposited C-20 film showed high stability even when the temperature was raised up to 1500 K.

Effects of soluble dietary cellulose on specific growth rate, survival and digestive enzyme activities in three freshwater crayfish (Cherax) species

Three native freshwater crayfish Cherax species are farmed in Australia namely; Redclaw (Cherax quadricarinatus), Marron (C. tenuimanus), and Yabby (C. destructor). Lack of appropriate data on specific nutrient requirements for each of these species, however, has constrained development of specific formulated diets and hence current use of over-formulated feeds or expensive marine shrimp feeds, limit their profitability. A number of studies have investigated nutritional requirements in redclaw that have focused on replacing expensive fish meal in formulated feeds with non-protein, less expensive substitutes including plant based ingredients. Confirmation that freshwater crayfish possess endogenous cellulase genes, suggests their potential ability to utilize complex carbohydrates like cellulose as nutrient sources in their diet. To date, studies have been limited to only C. quadricarinatus and C. destructor and no studies have compared the relative ability of each species to utilize soluble cellulose in their diets. Individual feeding trials of late-juveniles of each species were conducted separately in an automated recirculating culture system over 12 week cycles. Animals were fed either a test diet (TD) that contained 20% soluble cellulose or a reference diet (RD) substituted with the same amount of corn starch. Water temperature, conductivity and pH were maintained at constant and optimum levels for each species. Animals were fed at 3% of their body weight twice daily and wet body weight was recorded bi-weekly. At the end of experiment, all animals were harvested, measured and midgut gland extracts assayed for alpha-amylase, total protease and cellulase activity levels. After the trial period, redclaw fed with RD showed significantly higher (p<0.05) specific growth rate (SGR) compare with animals fed the TD while SGR of marron and yabby fed the two diets were not significantly different (p<0.05). Cellulase expression levels in redclaw were not significantly different between diets. Marron and yabby showed significantly higher cellulase activity when fed the RD. Amylase and protease activity in all three species were significantly higher in the animals fed with RD (Table 1). These results indicate that test animals of all species can utilize starch better than dietary soluble cellulose in their diet and inclusion of 20% soluble cellulose in diets does not appear to have any significant negative effect on their growth rate but survival was impacted in C. quadricarinatus while not in C. tenuimanus or C. destructor.

C. elegans RNA-dependent RNA polymerases rrf-1 and ego-1 silence Drosophila transgenes by differing mechanisms

Drosophila possesses the core gene silencing machinery but, like all insects, lacks the canonical RNA-dependent RNA polymerases (RdRps) that in C. elegans either trigger or enhance two major small RNA-dependent gene silencing pathways. Introduction of two different nematode RdRps into Drosophila showed them to be functional, resulting in differing silencing activities. While RRF-1 enhanced transitive dsRNA-dependent silencing, EGO-1 triggered dsRNA-independent silencing, specifically of transgenes. The strain w; da-Gal4; UAST-ego-1, constitutively expressing ego-1, is capable of silencing transgene including dsRNA hairpin upon a single cross, which created a powerful tool for research in Drosophila. In C. elegans, EGO-1 is involved in transcriptional gene silencing (TGS) of chromosome regions that are unpaired during meiosis. There was no opportunity for meiotic interactions involving EGO-1 in Drosophila that would explain the observed transgene silencing. Transgene DNA is, however, unpaired during the pairing of chromosomes in embryonic mitosis that is an unusual characteristic of Diptera, suggesting that in Drosophila, EGO-1 triggers transcriptional silencing of unpaired DNA during embryonic mitosis. © 2012 Springer Basel.