Measure

Program Analysis

Static Analysis

Dynamic Analysis

Compilation Cost

Execution Overhead

False-Positive Rate

Analysis Input

Slow

Small

High

Source Code

Fast

Large

Low

Binary Code