# Security Correctness

> no input yields privilege escalation or injection

Record: `reason:test-surface-security-correctness`
Kind: test-surface
Canonical: https://banes-lab.com/ontology/reasoning#reason-test-surface-security-correctness

## dimension

- [cause](https://banes-lab.com/records/reason/dimension-cause.md)

## evidence-grounds

- [ver-evidence](https://banes-lab.com/records/reason/node-ver-evidence.md)

## invariant

- [security-boundaries](https://banes-lab.com/records/reason/invariant-security-boundaries.md)

## lens

- [causal](https://banes-lab.com/records/reason/lens-causal.md)

## predicate-grounds

- [ver-ground-truth](https://banes-lab.com/records/reason/node-ver-ground-truth.md)

## techniques

- [static-analysis](https://banes-lab.com/records/reason/technique-static-analysis.md)
- [fuzz-testing](https://banes-lab.com/records/reason/technique-fuzz-testing.md)

## referenced-by

- [Ver Evidence](https://banes-lab.com/records/reason/node-ver-evidence.md)
- [Ver Ground Truth](https://banes-lab.com/records/reason/node-ver-ground-truth.md)
- [Cause](https://banes-lab.com/records/reason/dimension-cause.md)
- [Security Boundaries](https://banes-lab.com/records/reason/invariant-security-boundaries.md)
- [Causal](https://banes-lab.com/records/reason/lens-causal.md)
- [Static Analysis](https://banes-lab.com/records/reason/technique-static-analysis.md)
- [Fuzz Testing](https://banes-lab.com/records/reason/technique-fuzz-testing.md)