cmake -B build -DCMAKE_BUILD_TYPE=Release
cmake --build build

cmake -B build
cmake --build build --config Release

export CPATH=$(brew --prefix)/include LIBRARY_PATH=$(brew --prefix)/lib CMAKE_PREFIX_PATH=$(brew --prefix)
cmake -B build -DCMAKE_BUILD_TYPE=Release -DCMAKE_C_COMPILER=$(brew --prefix llvm)/bin/clang -DCMAKE_CXX_COMPILER=$(brew --prefix llvm)/bin/clang++
cmake --build build

PREVAIL is a new eBPF verifier based on abstract interpretation.
bin/check [OPTIONS] path [section] [function]
POSITIONALS:
  path TEXT:FILE REQUIRED     Elf file to analyze
  section SECTION             Section to analyze
  function FUNCTION           Function to analyze
OPTIONS:
  -h,     --help              Print this help message and exit
          --section SECTION   Section to analyze
          --function FUNCTION Function to analyze
  -l                          List programs
          --domain DOMAIN:{stats,linux,zoneCrab,cfg} [zoneCrab]
                              Abstract domain
Features:
          --termination, --no-verify-termination{false}
                              Verify termination. Default: ignore
          --allow-division-by-zero, --no-division-by-zero{false}
                              Handling potential division by zero. Default: allow
  -s,     --strict            Apply additional checks that would cause runtime failures
          --include_groups GROUPS:{atomic32,atomic64,base32,base64,callx,divmul32,divmul64,packet}
                              Include conformance groups
          --exclude_groups GROUPS:{atomic32,atomic64,base32,base64,callx,divmul32,divmul64,packet}
                              Exclude conformance groups
Verbosity:
          --simplify, --no-simplify{false}
                              Simplify the display of the CFG by merging chains of instructions
                              into a single basic block. Default: enabled
          --line-info         Print line information
          --print-btf-types   Print BTF types
  -v                          Print invariants and first failure
  -f                          Print first failure
CFG output:
          --asm FILE          Print disassembly to FILE
          --dot FILE          Export control-flow graph to dot FILE

sudo apt install graphviz
bin/check ebpf-samples/cilium/bpf_lxc.o 2/1 --dot cfg.dot --domain=stats
dot -Tpdf cfg.dot > cfg.pdf