Introduction
What are the differences between static analysis and (dynamic) testing?
Static analysis is done without executing any of the code; dynamic analysis relies on studying how the code behaves during execution.
Understand soundness, completeness, false negatives, and false positives.
Why soundness is usually required by static analysis?
Soundness is critical to a collection of important (static-analysis) applications such as compiler optimization and program verification.
Soundness is also preferable to other (static-analysis) applications for which soundness is not demanded, e.g., bug detection, as better soundness implies more bugs could be found.
How to understand abstraction and over-approximation?
Abstraction: Application-specific data
Over-approximation: Not miss any bug!
最后更新:
2022-01-04 15:09:12
本页作者: