Improving static analyses of C programs with conditional predicates

Sandrine Blazy,David Bühler,Boris Yakobowski
DOI: https://doi.org/10.1016/j.scico.2015.11.011
IF: 1.039
2014-09-11
Science of Computer Programming
Abstract:
What problem does this paper attempt to address?