Portal de Periódicos da CAPES

Static Program Analysis via 3-Valued Logic

2004; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-540-27813-9_2

1611-3349

Thomas Reps, Mooly Sagiv, Reinhard Wilhelm,

Software Testing and Debugging Techniques

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.