What is PL and Static Analysis？
- Program Reliability
- Program Security
- Compiler Optimization
- Program Understanding
Sound: overapproximate 往往都保证sound
Complete: underapproximate
compromise soundness (false negatives) 假阴性 ——漏报
compromise completeness (false positives) 假阳性——误报
保证soundness的前提下，精度与速度达到平衡
