Runtime tamper analysis on mission traces — unexpected capability usage and security audit events.
spanda tamper-check examples/showcase/runtime_intrusion/intrusion.trace
spanda diagnose tamper examples/showcase/runtime_intrusion/intrusion.trace
The trace records capability denials and should fail runtime tamper-check.
spanda demo trust
Smoke: scripts/trust_showcase_smoke.sh · scripts/tamper_diagnose_smoke.sh