vulnforge_audit_ebpf
Audits eBPF C programs, Falco rules, Tetragon TracingPolicies, and Seccomp profiles for kernel verifier safety, unbounded loops, unchecked map lookup pointers, dangerous helpers (bpf_probe_write_user), direct packet access OOBs, missing…
Instructions
Audits eBPF C programs, Falco rules, Tetragon TracingPolicies, and Seccomp profiles for kernel verifier safety, unbounded loops, unchecked map lookup pointers, dangerous helpers (bpf_probe_write_user), direct packet access OOBs, missing container shell spawn rules, and permissive default actions.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| content | Yes | eBPF C source, Falco rules YAML, Tetragon TracingPolicy YAML, or Seccomp profile JSON content | |
| filePath | No | Path or identifier of the eBPF code or runtime policy file (optional) | |
| policyType | No | Policy type override (auto-detected if omitted) |