| Class | Model Type | Example | Latency | False Positive Rate | |-------|------------|---------|---------|----------------------| | | Precomputed invariants | Control-flow graph, allowed syscalls | Low | Medium | | Dynamic VUB | Runtime history | Call stack depth, heap shape | Medium | Low | | Hybrid VUB | Static + dynamic | Taint tracking + policy | High | Very Low | | Learned VUB | ML on traces | LSTM of syscall sequences | Medium | Variable |
A is an oracle that defines "interesting" behavior not as "crash" but as deviation from a safe behavioral envelope . The term "Vulnerability-Uncovering Behavior" emphasizes that the oracle does not directly detect vulnerabilities—it detects behaviors that are necessary conditions for many vulnerability classes. vub oracle
At its core, the VUB (Valencia Universal Branching) Oracle is a mechanism designed to handle non-deterministic choices within verification environments. | Class | Model Type | Example |
The implemented Oracle suite typically provides the following reporting and operational features: vub oracle