2 posts tagged with "flow analysis"

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.

This is a Blog for the BYU Static Analysis Lab

Dr. Kimball Germane is our advisor at BYU. https://kimball.germane.net/

He has a lot of experience with static analysis, and especially with making control flow analysis practical for real world use.

In this blog post we will introduce static analysis from a few different perspectives.

Click (Read More) below to read the rest of the post.