2 posts tagged with "abstract interpretation"

There are (at least) three different "sensitivities" an abstract analysis can have:

• flow insensitive
• flow sensitive
• path sensitive

This article briefly describes the difference between them.

Abstract interpretation is a very common technique for analyzing programs. This is a quick primer on the topic.

The core idea of an abstract interpretation is to "run the program", but instead of typical program states/values/etc (sometimes referred to collectively as configurations), we use some replacement that means the execution is decidable (the program always terminates).