/seccomp-analyze

A seccomp BPF filter verifier written in Prolog, to parse, analyze and list system calls and arguments allowed by a given filter.

Primary LanguagePrologMIT LicenseMIT

No issues in this repository yet.