Titlebook: Static Analysis; 19th International S Antoine Miné,David Schmidt Conference proceedings 2012 Springer-Verlag Berlin Heidelberg 2012 complil

占卜者

Path-Sensitive Backward Slicings. Though the effect of path-sensitivity is always desirable, the major challenge is that there are, in general, an exponential number of predicates to be considered. We present a . backward slicer and demonstrate its practicality with real C programs. The crux of our method is a symbolic execution-

CODA

一個(gè)攪動(dòng)不安

Liveness-Based Pointer Analysisr both of the requirements for scalability. We argue that precise FCPA has been over-harshly judged—the vast majority of points-to pairs calculated by existing algorithms are never used by any client analysis or transformation because they involve dead variables. We therefore formulate a FCPA in ter

Engulf

A New Abstract Domain for the Representation of Mathematically Equivalent Expressionse an exponential number of mathematically equivalent expressions. The concretization of an APEG yields expressions of very different shapes and accuracies. Then, we extract optimized expressions from APEGs by searching the most accurate concrete expressions among the set of represented expressions.

Exposition

Invariant Generation for Parametrized Systems Using Self-reflections an important correspondence with inductive invariants. This correspondence naturally gives rise to an iterative invariant generation procedure that alternates between computing candidate invariants and creating reflective abstractions.

infantile

Parosh Aziz Abdulla,Mohamed Faouzi Atig,Yu-Fang Chen,Carl Leonardsson,Ahmed Rezine

吝嗇性

Sebastian Biallas,J?rg Brauer,Andy King,Stefan Kowalewski

彎彎曲曲

Joxan Jaffar,Vijayaraghavan Murali,Jorge A. Navas,Andrew E. Santosa

把手

Dimitra Giannakopoulou,Zvonimir Rakamari?,Vishwanath Raman

Outshine