Module: SeccompTools::Symbolic

Defined in:

lib/seccomp-tools/symbolic/expr.rb,
lib/seccomp-tools/symbolic/state.rb,
lib/seccomp-tools/symbolic/executor.rb,
lib/seccomp-tools/symbolic/constraint.rb

Overview

Generic symbolic execution of classic BPF, with no seccomp knowledge. Where SeccompTools::Emulator runs a program once with concrete inputs, the Executor here keeps the inputs unknown and walks every path, reporting each reachable return together with the conditions that lead to it. The values it manipulates are the Expr, Constraint, and State types; see Executor for the full picture.

Defined Under Namespace

Classes: Constraint, Executor, Expr, State