Any behavior that is undefined in the specification but is allowed in the implementation will result in unexpected outcomes which may lead to security issues.
- Undefined + Malicious -> Security
- In Spec -> Defined
- Not in Spec. -> Undefined
- Undefined Behavior
- Revert/Exploit
- Defined Behavior
- Spec + Implement + Doc