# Static Analysis

Record: `reason:technique-static-analysis`
Kind: technique
Canonical: https://banes-lab.com/ontology/reasoning#reason-technique-static-analysis

## mode

- [observation](https://banes-lab.com/records/reason/mode-observation.md)

## surfaces

- [numerical-correctness](https://banes-lab.com/records/reason/test-surface-numerical-correctness.md)
- [security-correctness](https://banes-lab.com/records/reason/test-surface-security-correctness.md)
- [configuration-correctness](https://banes-lab.com/records/reason/test-surface-configuration-correctness.md)

## referenced-by

- [Observation](https://banes-lab.com/records/reason/mode-observation.md)
- [Numerical Correctness](https://banes-lab.com/records/reason/test-surface-numerical-correctness.md)
- [Security Correctness](https://banes-lab.com/records/reason/test-surface-security-correctness.md)
- [Configuration Correctness](https://banes-lab.com/records/reason/test-surface-configuration-correctness.md)