├── .clang-format ├── .dockerignore ├── .github ├── dependabot.yml └── workflows │ ├── build.yml │ ├── codeql-analysis.yml │ ├── coverage.yml │ └── validate-yaml.yml ├── .gitignore ├── .gitmodules ├── .yamllint.yml ├── AGENTS.md ├── CMakeLists.txt ├── CODE_OF_CONDUCT.md ├── Dockerfile ├── Doxyfile ├── LICENSE-Apache-2.0.txt ├── LICENSE.txt ├── README.md ├── cmake ├── SetupBoostHeaders.cmake └── SetupYAMLCPP.cmake ├── external └── CLI11 │ └── CLI11.hpp ├── scripts ├── .check-license.ignore ├── README.md ├── check-license.sh ├── check_conformance_list.py ├── commit-msg ├── experiment.sh ├── format-code ├── format-code.ps1 ├── hist.py ├── makeplot.py ├── pre-commit ├── rename_classes.py ├── runperf.sh ├── save_outputs.py └── uniq_hash.py ├── src ├── arith │ ├── dsl_syntax.hpp │ ├── linear_constraint.hpp │ ├── linear_expression.hpp │ ├── num_big.hpp │ ├── num_extended.hpp │ ├── num_safeint.hpp │ └── variable.hpp ├── cfg │ ├── cfg.hpp │ ├── label.hpp │ ├── wto.cpp │ └── wto.hpp ├── config.hpp ├── crab │ ├── add_bottom.hpp │ ├── array_domain.cpp │ ├── array_domain.hpp │ ├── bitset_domain.cpp │ ├── bitset_domain.hpp │ ├── ebpf_checker.cpp │ ├── ebpf_domain.cpp │ ├── ebpf_domain.hpp │ ├── ebpf_transformer.cpp │ ├── finite_domain.cpp │ ├── finite_domain.hpp │ ├── interval.cpp │ ├── interval.hpp │ ├── rcp.cpp │ ├── rcp.hpp │ ├── split_dbm.cpp │ ├── split_dbm.hpp │ ├── type_domain.cpp │ ├── type_domain.hpp │ ├── type_encoding.hpp │ ├── var_registry.cpp │ └── var_registry.hpp ├── crab_utils │ ├── adapt_sgraph.hpp │ ├── debug.cpp │ ├── debug.hpp │ ├── graph_ops.hpp │ ├── heap.hpp │ ├── lazy_allocator.hpp │ ├── num_safety.hpp │ ├── stats.cpp │ └── stats.hpp ├── ebpf_base.h ├── ebpf_verifier.hpp ├── elf_loader.cpp ├── elf_loader.hpp ├── fwd_analyzer.cpp ├── ir │ ├── assertions.cpp │ ├── cfg_builder.cpp │ ├── marshal.cpp │ ├── marshal.hpp │ ├── parse.cpp │ ├── parse.hpp │ ├── program.hpp │ ├── syntax.hpp │ ├── unmarshal.cpp │ └── unmarshal.hpp ├── linux │ ├── gpl │ │ ├── spec_prototypes.cpp │ │ └── spec_type_descriptors.hpp │ ├── linux_platform.cpp │ └── linux_platform.hpp ├── main │ ├── check.cpp │ ├── linux_verifier.cpp │ ├── linux_verifier.hpp │ ├── memsize_linux.hpp │ └── memsize_windows.hpp ├── platform.hpp ├── printing.cpp ├── result.cpp ├── result.hpp ├── spec │ ├── ebpf_base.h │ ├── function_prototypes.hpp │ ├── type_descriptors.hpp │ └── vm_isa.hpp ├── string_constraints.hpp ├── test │ ├── conformance_check.cpp │ ├── ebpf_yaml.cpp │ ├── ebpf_yaml.hpp │ ├── run_yaml.cpp │ ├── test_conformance.cpp │ ├── test_join.cpp │ ├── test_marshal.cpp │ ├── test_print.cpp │ ├── test_sign_extension.cpp │ ├── test_subsumption.cpp │ ├── test_verify.cpp │ ├── test_wto.cpp │ └── test_yaml.cpp └── verifier.hpp ├── test-data ├── add.yaml ├── assign.yaml ├── atomic.yaml ├── bitop.yaml ├── call.yaml ├── calllocal.yaml ├── callx.yaml ├── full64.yaml ├── jump.yaml ├── loop.yaml ├── map.yaml ├── movsx.yaml ├── muldiv.yaml ├── packet.yaml ├── parse.yaml ├── pointer.yaml ├── sdivmod.yaml ├── sext.yaml ├── shift.yaml ├── stack.yaml ├── subtract.yaml ├── udivmod.yaml ├── uninit.yaml ├── unop.yaml └── unsigned.yaml └── test-schema.yaml /.clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/.clang-format -------------------------------------------------------------------------------- /.dockerignore: -------------------------------------------------------------------------------- 1 | Dockerfile 2 | build/ 3 | -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/.github/workflows/build.yml -------------------------------------------------------------------------------- /.github/workflows/codeql-analysis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/.github/workflows/codeql-analysis.yml -------------------------------------------------------------------------------- /.github/workflows/coverage.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/.github/workflows/coverage.yml -------------------------------------------------------------------------------- /.github/workflows/validate-yaml.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/.github/workflows/validate-yaml.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/.gitmodules -------------------------------------------------------------------------------- /.yamllint.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/.yamllint.yml -------------------------------------------------------------------------------- /AGENTS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/AGENTS.md -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/Dockerfile -------------------------------------------------------------------------------- /Doxyfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/Doxyfile -------------------------------------------------------------------------------- /LICENSE-Apache-2.0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/LICENSE-Apache-2.0.txt -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/README.md -------------------------------------------------------------------------------- /cmake/SetupBoostHeaders.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/cmake/SetupBoostHeaders.cmake -------------------------------------------------------------------------------- /cmake/SetupYAMLCPP.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/cmake/SetupYAMLCPP.cmake -------------------------------------------------------------------------------- /external/CLI11/CLI11.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/external/CLI11/CLI11.hpp -------------------------------------------------------------------------------- /scripts/.check-license.ignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/scripts/.check-license.ignore -------------------------------------------------------------------------------- /scripts/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/scripts/README.md -------------------------------------------------------------------------------- /scripts/check-license.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/scripts/check-license.sh -------------------------------------------------------------------------------- /scripts/check_conformance_list.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/scripts/check_conformance_list.py -------------------------------------------------------------------------------- /scripts/commit-msg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/scripts/commit-msg -------------------------------------------------------------------------------- /scripts/experiment.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/scripts/experiment.sh -------------------------------------------------------------------------------- /scripts/format-code: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/scripts/format-code -------------------------------------------------------------------------------- /scripts/format-code.ps1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/scripts/format-code.ps1 -------------------------------------------------------------------------------- /scripts/hist.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/scripts/hist.py -------------------------------------------------------------------------------- /scripts/makeplot.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/scripts/makeplot.py -------------------------------------------------------------------------------- /scripts/pre-commit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/scripts/pre-commit -------------------------------------------------------------------------------- /scripts/rename_classes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/scripts/rename_classes.py -------------------------------------------------------------------------------- /scripts/runperf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/scripts/runperf.sh -------------------------------------------------------------------------------- /scripts/save_outputs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/scripts/save_outputs.py -------------------------------------------------------------------------------- /scripts/uniq_hash.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/scripts/uniq_hash.py -------------------------------------------------------------------------------- /src/arith/dsl_syntax.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/arith/dsl_syntax.hpp -------------------------------------------------------------------------------- /src/arith/linear_constraint.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/arith/linear_constraint.hpp -------------------------------------------------------------------------------- /src/arith/linear_expression.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/arith/linear_expression.hpp -------------------------------------------------------------------------------- /src/arith/num_big.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/arith/num_big.hpp -------------------------------------------------------------------------------- /src/arith/num_extended.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/arith/num_extended.hpp -------------------------------------------------------------------------------- /src/arith/num_safeint.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/arith/num_safeint.hpp -------------------------------------------------------------------------------- /src/arith/variable.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/arith/variable.hpp -------------------------------------------------------------------------------- /src/cfg/cfg.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/cfg/cfg.hpp -------------------------------------------------------------------------------- /src/cfg/label.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/cfg/label.hpp -------------------------------------------------------------------------------- /src/cfg/wto.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/cfg/wto.cpp -------------------------------------------------------------------------------- /src/cfg/wto.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/cfg/wto.hpp -------------------------------------------------------------------------------- /src/config.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/config.hpp -------------------------------------------------------------------------------- /src/crab/add_bottom.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab/add_bottom.hpp -------------------------------------------------------------------------------- /src/crab/array_domain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab/array_domain.cpp -------------------------------------------------------------------------------- /src/crab/array_domain.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab/array_domain.hpp -------------------------------------------------------------------------------- /src/crab/bitset_domain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab/bitset_domain.cpp -------------------------------------------------------------------------------- /src/crab/bitset_domain.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab/bitset_domain.hpp -------------------------------------------------------------------------------- /src/crab/ebpf_checker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab/ebpf_checker.cpp -------------------------------------------------------------------------------- /src/crab/ebpf_domain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab/ebpf_domain.cpp -------------------------------------------------------------------------------- /src/crab/ebpf_domain.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab/ebpf_domain.hpp -------------------------------------------------------------------------------- /src/crab/ebpf_transformer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab/ebpf_transformer.cpp -------------------------------------------------------------------------------- /src/crab/finite_domain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab/finite_domain.cpp -------------------------------------------------------------------------------- /src/crab/finite_domain.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab/finite_domain.hpp -------------------------------------------------------------------------------- /src/crab/interval.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab/interval.cpp -------------------------------------------------------------------------------- /src/crab/interval.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab/interval.hpp -------------------------------------------------------------------------------- /src/crab/rcp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab/rcp.cpp -------------------------------------------------------------------------------- /src/crab/rcp.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab/rcp.hpp -------------------------------------------------------------------------------- /src/crab/split_dbm.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab/split_dbm.cpp -------------------------------------------------------------------------------- /src/crab/split_dbm.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab/split_dbm.hpp -------------------------------------------------------------------------------- /src/crab/type_domain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab/type_domain.cpp -------------------------------------------------------------------------------- /src/crab/type_domain.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab/type_domain.hpp -------------------------------------------------------------------------------- /src/crab/type_encoding.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab/type_encoding.hpp -------------------------------------------------------------------------------- /src/crab/var_registry.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab/var_registry.cpp -------------------------------------------------------------------------------- /src/crab/var_registry.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab/var_registry.hpp -------------------------------------------------------------------------------- /src/crab_utils/adapt_sgraph.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab_utils/adapt_sgraph.hpp -------------------------------------------------------------------------------- /src/crab_utils/debug.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab_utils/debug.cpp -------------------------------------------------------------------------------- /src/crab_utils/debug.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab_utils/debug.hpp -------------------------------------------------------------------------------- /src/crab_utils/graph_ops.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab_utils/graph_ops.hpp -------------------------------------------------------------------------------- /src/crab_utils/heap.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab_utils/heap.hpp -------------------------------------------------------------------------------- /src/crab_utils/lazy_allocator.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab_utils/lazy_allocator.hpp -------------------------------------------------------------------------------- /src/crab_utils/num_safety.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab_utils/num_safety.hpp -------------------------------------------------------------------------------- /src/crab_utils/stats.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab_utils/stats.cpp -------------------------------------------------------------------------------- /src/crab_utils/stats.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/crab_utils/stats.hpp -------------------------------------------------------------------------------- /src/ebpf_base.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/ebpf_base.h -------------------------------------------------------------------------------- /src/ebpf_verifier.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/ebpf_verifier.hpp -------------------------------------------------------------------------------- /src/elf_loader.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/elf_loader.cpp -------------------------------------------------------------------------------- /src/elf_loader.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/elf_loader.hpp -------------------------------------------------------------------------------- /src/fwd_analyzer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/fwd_analyzer.cpp -------------------------------------------------------------------------------- /src/ir/assertions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/ir/assertions.cpp -------------------------------------------------------------------------------- /src/ir/cfg_builder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/ir/cfg_builder.cpp -------------------------------------------------------------------------------- /src/ir/marshal.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/ir/marshal.cpp -------------------------------------------------------------------------------- /src/ir/marshal.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/ir/marshal.hpp -------------------------------------------------------------------------------- /src/ir/parse.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/ir/parse.cpp -------------------------------------------------------------------------------- /src/ir/parse.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/ir/parse.hpp -------------------------------------------------------------------------------- /src/ir/program.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/ir/program.hpp -------------------------------------------------------------------------------- /src/ir/syntax.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/ir/syntax.hpp -------------------------------------------------------------------------------- /src/ir/unmarshal.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/ir/unmarshal.cpp -------------------------------------------------------------------------------- /src/ir/unmarshal.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/ir/unmarshal.hpp -------------------------------------------------------------------------------- /src/linux/gpl/spec_prototypes.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/linux/gpl/spec_prototypes.cpp -------------------------------------------------------------------------------- /src/linux/gpl/spec_type_descriptors.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/linux/gpl/spec_type_descriptors.hpp -------------------------------------------------------------------------------- /src/linux/linux_platform.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/linux/linux_platform.cpp -------------------------------------------------------------------------------- /src/linux/linux_platform.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/linux/linux_platform.hpp -------------------------------------------------------------------------------- /src/main/check.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/main/check.cpp -------------------------------------------------------------------------------- /src/main/linux_verifier.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/main/linux_verifier.cpp -------------------------------------------------------------------------------- /src/main/linux_verifier.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/main/linux_verifier.hpp -------------------------------------------------------------------------------- /src/main/memsize_linux.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/main/memsize_linux.hpp -------------------------------------------------------------------------------- /src/main/memsize_windows.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/main/memsize_windows.hpp -------------------------------------------------------------------------------- /src/platform.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/platform.hpp -------------------------------------------------------------------------------- /src/printing.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/printing.cpp -------------------------------------------------------------------------------- /src/result.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/result.cpp -------------------------------------------------------------------------------- /src/result.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/result.hpp -------------------------------------------------------------------------------- /src/spec/ebpf_base.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/spec/ebpf_base.h -------------------------------------------------------------------------------- /src/spec/function_prototypes.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/spec/function_prototypes.hpp -------------------------------------------------------------------------------- /src/spec/type_descriptors.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/spec/type_descriptors.hpp -------------------------------------------------------------------------------- /src/spec/vm_isa.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/spec/vm_isa.hpp -------------------------------------------------------------------------------- /src/string_constraints.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/string_constraints.hpp -------------------------------------------------------------------------------- /src/test/conformance_check.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/test/conformance_check.cpp -------------------------------------------------------------------------------- /src/test/ebpf_yaml.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/test/ebpf_yaml.cpp -------------------------------------------------------------------------------- /src/test/ebpf_yaml.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/test/ebpf_yaml.hpp -------------------------------------------------------------------------------- /src/test/run_yaml.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/test/run_yaml.cpp -------------------------------------------------------------------------------- /src/test/test_conformance.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/test/test_conformance.cpp -------------------------------------------------------------------------------- /src/test/test_join.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/test/test_join.cpp -------------------------------------------------------------------------------- /src/test/test_marshal.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/test/test_marshal.cpp -------------------------------------------------------------------------------- /src/test/test_print.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/test/test_print.cpp -------------------------------------------------------------------------------- /src/test/test_sign_extension.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/test/test_sign_extension.cpp -------------------------------------------------------------------------------- /src/test/test_subsumption.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/test/test_subsumption.cpp -------------------------------------------------------------------------------- /src/test/test_verify.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/test/test_verify.cpp -------------------------------------------------------------------------------- /src/test/test_wto.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/test/test_wto.cpp -------------------------------------------------------------------------------- /src/test/test_yaml.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/test/test_yaml.cpp -------------------------------------------------------------------------------- /src/verifier.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/src/verifier.hpp -------------------------------------------------------------------------------- /test-data/add.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/test-data/add.yaml -------------------------------------------------------------------------------- /test-data/assign.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/test-data/assign.yaml -------------------------------------------------------------------------------- /test-data/atomic.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/test-data/atomic.yaml -------------------------------------------------------------------------------- /test-data/bitop.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/test-data/bitop.yaml -------------------------------------------------------------------------------- /test-data/call.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/test-data/call.yaml -------------------------------------------------------------------------------- /test-data/calllocal.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/test-data/calllocal.yaml -------------------------------------------------------------------------------- /test-data/callx.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/test-data/callx.yaml -------------------------------------------------------------------------------- /test-data/full64.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/test-data/full64.yaml -------------------------------------------------------------------------------- /test-data/jump.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/test-data/jump.yaml -------------------------------------------------------------------------------- /test-data/loop.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/test-data/loop.yaml -------------------------------------------------------------------------------- /test-data/map.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/test-data/map.yaml -------------------------------------------------------------------------------- /test-data/movsx.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/test-data/movsx.yaml -------------------------------------------------------------------------------- /test-data/muldiv.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/test-data/muldiv.yaml -------------------------------------------------------------------------------- /test-data/packet.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/test-data/packet.yaml -------------------------------------------------------------------------------- /test-data/parse.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/test-data/parse.yaml -------------------------------------------------------------------------------- /test-data/pointer.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/test-data/pointer.yaml -------------------------------------------------------------------------------- /test-data/sdivmod.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/test-data/sdivmod.yaml -------------------------------------------------------------------------------- /test-data/sext.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/test-data/sext.yaml -------------------------------------------------------------------------------- /test-data/shift.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/test-data/shift.yaml -------------------------------------------------------------------------------- /test-data/stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/test-data/stack.yaml -------------------------------------------------------------------------------- /test-data/subtract.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/test-data/subtract.yaml -------------------------------------------------------------------------------- /test-data/udivmod.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/test-data/udivmod.yaml -------------------------------------------------------------------------------- /test-data/uninit.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/test-data/uninit.yaml -------------------------------------------------------------------------------- /test-data/unop.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/test-data/unop.yaml -------------------------------------------------------------------------------- /test-data/unsigned.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/test-data/unsigned.yaml -------------------------------------------------------------------------------- /test-schema.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vbpf/prevail/HEAD/test-schema.yaml --------------------------------------------------------------------------------