Static Program Analysis via 3-Valued Logic
Thomas Reps, Mooly Sagiv and Reinhard Wilhelm
This paper reviews the principles behind the paradigm of ``abstract
interpretation via 3-valued logic,'' discusses recent work to extend the
approach, and summarizes on-going research aimed at overcoming
remaining limitations on the ability to create program-analysis
algorithms fully automatically.
(Click here to access the paper:
PostScript,
PDF.)