Tools that find flaws by reading the code without running it.
The first piece here is in preparation.