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.)