Static Analysis Goals
Static analysis is used in a wider range because there are numerous kinds of tools that work towards a specific goal.
They specialize in the areas of:
- Type checking
- Style checking
- Program understanding
- Program verification
- Property checking
- Bug finding
- Security review