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.

Diatoms and Tonsteins as Paleoenvironrnental and Paleodepositional Indicators in a Miocene Coal Bed, Costa Rica

Fresh-water diatoms are present in coal, and tonsteins (altered volcanic ash) are interbedded with the coal, in the Miocene Venado Formation on the southwest margin of the Limon Basin, in Provincia Alajuela, northern Costa Rica. The Venado Formation is composed of more than 300 m of mudstone, siltstone, sandstone, limestone, volcaniclastics, and coal beds. The coal beds are of unknown lateral extent and mainly occur in the middle part of the formation. The Pataste coal bed occurs near the middle of the formation and is divided into three parts by two tonstein layers. The abundance of biogenic opaline material (diatoms) in the coal is believed to be a direct response to an influx of silica from volcanic tuffs that Later altered to the tonsteins. Diatoms are a useful microscopic tool for identifying the depositional environments of the Pataste coal deposit. The diatoms identified include Aulacosira ambigua, Pinnularia sp., Eunotia spp., and Achnanthes exigua, among others. The abundance of Aulacosira arnbigua suggests that an open-water lacustrine environment was present locally. Achnanthes exigua and the remaining diatom species are benthic forms that lived in shallow fresh-water to slightly acidic swamp environments. The different types of diatoms found in the coal indicate that swamp environments were intermixed with lacustrine environments during the formation of the peat deposit or that the coal records environmental changes through time.