Predicting Accurate and Actionable Static Analysis Warnings: An Experimental Approach

Static analysis tools report software defects that may or may not be detected by other verification methods. Two challenges complicating the adoption of these tools are spurious false positive warnings and legitimate warnings that are not acted on. This paper reports automated support to help address these challenges using logistic regression models that predict the foregoing types of warnings from signals in the warnings and implicated code. Because examining many potential signaling factors in large software development settings can be expensive, we use a screening methodology to quickly discard factors with low predictive power and cost-effectively build predictive models. Our empirical evaluation indicates that these models can achieve high accuracy in predicting accurate and actionable static analysis warnings, and suggests that the models are competitive with alternative models built without screening.

Development of Nicarbazin as a Reproductive Inhibitor for Resident Canada Geese

Expanding populations of resident Canada geese that remain in suburban and urban areas year-round often result in increased conflicts with humans. Non-lethal and humane means are needed for managing the size of Canada goose flocks residing near or on airports, golf courses, industrial parks, government sites, and city parks. A side effect of nicarbazin, a veterinary drug used to control coccidiosis in chickens, is decreased egg production and hatching. Exploiting this side effect, studies of nicarbazin for reducing the hatchability of eggs from Canada geese were conducted. An initial study in Coturnix quail verified reduction in hatchability in a species other than chickens. Because plasma nicarbazin was not routinely measured, a study in chickens was conducted to determine the relationship between plasma and egg nicarbazin. A comparative study in chickens, mallards, and Canada geese showed that nicarbazin absorption was lowest in geese. Studies in both penned and wild Canada geese showed that reduction in hatchability was possible but neither study used bait suitable for general field application. Bait development led to the OvoControl-G® (Innolytics LLC) bait, which resulted in reduction in hatchability of 51% at treated sites compared to control sites in the field. Previous studies showed that nicarbazin is practically non-toxic and is environmentally friendly; timing and management of baiting will minimize non-target hazards. OvoControl-G® 2500 ppm nicarbazin bait is recommended for incorporation into a comprehensive management plan as a reproductive inhibitor for use in controlling resident Canada goose flock sizes.

SimSight: A Virtual Machine Based Dynamic Call Graph Generator

One problem with using component-based software development approach is that once software modules are reused over generations of products, they form legacy structures that can be challenging to understand, making validating these systems difficult. Therefore, tools and methodologies that enable engineers to see interactions of these software modules will enhance their ability to make these software systems more dependable. To address this need, we propose SimSight, a framework to capture dynamic call graphs in Simics, a widely adopted commercial full-system simulator. Simics is a software system that simulates complete computer systems. Thus, it performs nearly identical tasks to a real system but at a much lower speed while providing greater execution observability. We have implemented SimSight to generate dynamic call graphs of statically and dynamically linked functions in x86/Linux environment. A case study illustrates how we can use SimSight to identify sources of software errors. We then evaluate its performance using 12 integer programs from SPEC CPU2006 benchmark suite.