Towards Vulnerability Discovery Using Staged Program Analysis

Eliminating vulnerabilities from low-level code is vital for securing software. Static analysis is a promising approach for discovering vulnerabilities since it can provide developers early feedback on the code they write. But, it presents multiple challenges not the least of which is understanding what makes a bug exploitable and conveying this information to the developer. In this paper, we present the design and implementation of a practical vulnerability assessment framework, called Melange. Melange performs data and control flow analysis to diagnose potential security bugs, and outputs well-formatted bug reports that help developers understand and fix security bugs. Based on the intuition that real-world vulnerabilities manifest themselves across multiple parts of a program, Melange performs both local and global analyses. To scale up to large programs, global analysis is demand-driven. Our prototype detects multiple vulnerability classes in C and C++ code including type confusion, and garbage memory reads. We have evaluated Melange extensively. Our case studies show that Melange scales up to large codebases such as Chromium, is easy-to-use, and most importantly, capable of discovering vulnerabilities in real-world code. Our findings indicate that static analysis is a viable reinforcement to the software testing tool set.Comment: A revised version to appear in the proceedings of the 13th conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA), July 201

Association of Household and Community Characteristics with Adult and Child Food Insecurity among Mexican-Origin Households in Colonias along the Texas-Mexico Border

<p>Abstract</p> <p>Background</p> <p>Food insecurity is a critical problem in the United States and throughout the world. There is little published data that provides insights regarding the extent and severity of food insecurity among the hard-to-reach Mexican-origin families who reside in the growing <it>colonias </it>along the Texas border with Mexico. Considering that culture, economics, and elements of the environment may increase the risk for food insecurity and adverse health outcomes, the purpose of this study was to examine the relation between household and community characteristics and food insecurity.</p> <p>Methods</p> <p>The study used data from the 2009 <it>Colonia </it>Household and Community Food Resource Assessment (C-HCFRA). The data included 610 face-to-face interviews conducted in Spanish by <it>promotoras </it>(indigenous community health workers) in forty-four randomly-identified <it>colonias </it>near the towns of Progreso and La Feria in Hidalgo and Cameron counties along the Texas border with Mexico. C-HCFRA included demographic characteristics, health characteristics, food access and mobility, food cost, federal and community food and nutrition assistance programs, perceived quality of the food environment, food security, eating behaviors, and alternative food sources.</p> <p>Results</p> <p>78% of participants experienced food insecurity at the level of household, adult, or child. The most severe - child food insecurity was reported by 49% of all households and 61.8% of households with children. Increasing levels of food insecurity was associated with being born in Mexico, increasing household composition, decreasing household income, and employment. Participation in federal food assistance programs was associated with reduced severity of food insecurity. Greater distance to their food store and perceived quality of the community food environment increased the odds for food insecurity.</p> <p>Conclusions</p> <p>The Mexican-origin population is rapidly expanding; record numbers of individuals and families are experiencing food insecurity; and for those living in rural or underserved areas such as the <it>colonias</it>, the worst forms of food insecurity are an ongoing reality. The rates of households with adult and child food insecurity in this border area are alarming and among the highest reported. Clearly, systematic and sustained action on federal, state, and community levels is needed to reduce household, adult, and child food insecurity that integrates cultural tailoring of interventions and programs to address food and management skills, multi-sector partnerships and networks, expansion of food and nutrition assistance programs, and enhanced research efforts.</p

ECONOMIC IMPACTS OF FUSARIUM HEAD BLIGHT IN WHEAT AND BARLEY: 1998-2000

Fusarium Head Blight (FHB), commonly known as scab, has been a severe problem for wheat and barley producers since 1993. This study provides an update of economic losses suffered by wheat and barley producers in scab-affected regions in the United States. Emphasis is placed on estimating direct and secondary economic impacts of yield and price losses suffered by wheat and barley producers from 1998 to 2000. Nine states are included in the analysis for three wheat classes. Three of the nine states were also used for the analysis of malting and feed barley. The cumulative direct economic losses from FHB in hard red spring (HRS) wheat, soft red winter (SRW) wheat, durum wheat, and barley is estimated at $870 million from 1998 through 2000. The combined direct and secondary economic losses for all the crops were estimated at$2.7 billion. Two states, North Dakota and Minnesota, account for about 55 percent of the total dollar losses.Fusarium Head Blight, scab, vomitoxin, crop losses, wheat, barley, Crop Production/Industries,

Fluctuations in the Site Disordered Traveling Salesman Problem

We extend a previous statistical mechanical treatment of the traveling salesman problem by defining a discrete "site disordered'' problem in which fluctuations about saddle points can be computed. The results clarify the basis of our original treatment, and illuminate but do not resolve the difficulties of taking the zero temperature limit to obtain minimal path lengths.Comment: 17 pages, 3 eps figures, revte

Association between proximity to and coverage of traditional fast-food restaurants and non-traditional fast-food outlets and fast-food consumption among rural adults

<p>Abstract</p> <p>Objective</p> <p>The objective of this study is to examine the relationship between residential exposure to fast-food entrées, using two measures of potential spatial access: proximity (distance to the nearest location) and coverage (number of different locations), and weekly consumption of fast-food meals.</p> <p>Methods</p> <p>Traditional fast-food restaurants and non-traditional fast-food outlets, such as convenience stores, supermarkets, and grocery stores, from the 2006 Brazos Valley Food Environment Project were linked with individual participants (<it>n </it>= 1409) who completed the nutrition module in the 2006 Brazos Valley Community Health Assessment.</p> <p>Results</p> <p>Increased age, poverty, increased distance to the nearest fast food, and increased number of different traditional fast-food restaurants, non-traditional fast-food outlets, or fast-food opportunities were associated with less frequent weekly consumption of fast-food meals. The interaction of gender and proximity (distance) or coverage (number) indicated that the association of proximity to or coverage of fast-food locations on fast-food consumption was greater among women and opposite of independent effects.</p> <p>Conclusions</p> <p>Results provide impetus for identifying and understanding the complex relationship between access to all fast-food opportunities, rather than to traditional fast-food restaurants alone, and fast-food consumption. The results indicate the importance of further examining the complex interaction of gender and distance in rural areas and particularly in fast-food consumption. Furthermore, this study emphasizes the need for health promotion and policy efforts to consider all sources of fast-food as part of promoting healthful food choices.</p

Influence of oxidative stress, diaphragm fatigue, and inspiratory muscle training on the plasma cytokine response to maximum sustainable voluntary ventilation

The influence of oxidative stress, diaphragm fatigue, and inspiratory muscle training (IMT) on the cytokine response to maximum sustainable voluntary ventilation (MSVV) is unknown. Twelve healthy males were divided equally into an IMT or placebo (PLA) group, and before and after a 6-wk intervention they undertook, on separate days, 1h of (1) passive rest and (2) MSVV, whereby participants undertook volitional hyperpnea at rest that mimicked the breathing and respiratory muscle recruitment patterns commensurate with heavy cycling exercise. Plasma cytokines remained unchanged during passive rest. There was a main effect of time (P < 0.01) for plasma interleukin-1 (IL-1) and interleukin-6 (IL-6) concentrations and a strong trend (P = 0.067) for plasma interleukin-1 receptor antagonist concentration during MSVV. Plasma IL-6 concentration was reduced after IMT by 27 + 18% (main effect of intervention, P = 0.029), whereas there was no change after PLA (P = 0.753). There was no increase in a systemic marker of oxidative stress [DNA damage in peripheral blood mononuclear cells (PBMC)], and diaphragm fatigue was not related to the increases in plasma IL-1 and IL-6 concentrations. A dose-response relationship was observed between respiratory muscle work and minute ventilation and increases in plasma IL-6 concentration. In conclusion, increases in plasma IL-1 and IL-6 concentrations during MSVV were not due to diaphragm fatigue or DNA damage in PBMC. Increases in plasma IL-6 concentration during MSVV are attenuated following IMT, and the plasma IL-6 response is dependent upon the level of respiratory muscle work and minute ventilation

On the temperature dependence of the symmetry energy

We perform large-scale shell model Monte Carlo (SMMC) calculations for many nuclei in the mass range A=56-65 in the complete pfg_{9/2}d_{5/2} model space using an effective quadrupole-quadrupole+pairing residual interaction. Our calculations are performed at finite temperatures between T=0.33-2 MeV. Our main focus is the temperature dependence of the symmetry energy which we determine from the energy differences between various isobaric pairs with the same pairing structure and at different temperatures. Our SMMC studies are consistent with an increase of the symmetry energy with temperature. We also investigate possible consequences for core-collapse supernovae events

Promoting Bicycle Commuter Safety, Research Report 11-08

We present an overview of the risks associated with cycling to emphasize the need for safety. We focus on the application of frameworks from social psychology to education, one of the 5 Es—engineering, education, enforcement, encouragement, and evaluation. We use the structure of the 5 Es to organize information with particular attention to engineering and education in the literature review. Engineering is essential because the infrastructure is vital to protecting cyclists. Education is emphasized since the central focus of the report is safety

Electron capture on iron group nuclei

We present Gamow-Teller strength distributions from shell model Monte Carlo studies of fp-shell nuclei that may play an important role in the pre-collapse evolution of supernovae. We then use these strength distributions to calculate the electron-capture cross sections and rates in the zero-momentum transfer limit. We also discuss the thermal behavior of the cross sections. We find large differences in these cross sections and rates when compared to the naive single-particle estimates. These differences need to be taken into account for improved modeling of the early stages of type II supernova evolution