Complement to static
This approach (if it works) is, like all dynamic techniques
- unable to produce sound information about all program executions
- heavily dependent on the actual inputs selected
Static techniques are always intellectually more attractive
- But they are often difficult and often imprecise in practice
The approaches surely complement each other