3 ms·
Not all static analyzers use abstract interpretation (they should though to find all issues) because they may implement a rules based approach of checking again
by goombacloud 4y ago
Not all static analyzers use abstract interpretation (they should though to find all issues) because they may implement a rules based approach of checking against "common" bugs, or they may use model checking, or they may use some other form of symbolic execution, or do concolic execution.
- aziem 4y agoI think Patrick Cousot (and others) would argue that most of those are some form of abstract interpretation :)