Add simple, new auto-vex reachability: Emit OpenVEX vulnerable_code_not_in_execute_path statements when affected functions aren't imported by the release binary #84
ebourgeoisdocs.yaml
on: pull_request
✅ Validate CALM architecture
/
CALM validate
16s
🧱 Render CALM Mermaid diagrams
/
CALM template
13s
🚀 Deploy to GitHub Pages
Annotations
1 error
|
📚 Build Documentation
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
calm-mermaid
Expired
|
3.12 KB |
sha256:48f6014913ba033c15fb37887c22a3ef33a1ad7929abc5755bf3084636aab99b
|
|