Abstracting Static Analysis
The discussion highlights the challenges of static analysis in managing infinite paths through loops by leveraging abstraction. By focusing on finite states rather than concrete iterations, analysts can efficiently represent all possible executions. The importance of finding the right abstractions is emphasized, along with recent advancements in automatically inferring these abstractions from source code.In this clip
From this podcast
Software Engineering Radio - the podcast for professional software developers
Episode 59: Static Code Analysis
Related Questions