├── .gitattributes ├── .github └── workflows │ ├── bpf-verification.yaml │ ├── end-to-end.yaml │ └── llvm-to-smt.yml ├── .gitignore ├── LICENSE ├── README.md ├── bpf-encodings ├── 5.10 │ ├── BPF_ADD.smt2 │ ├── BPF_ADD_32.smt2 │ ├── BPF_AND.smt2 │ ├── BPF_AND_32.smt2 │ ├── BPF_ARSH.smt2 │ ├── BPF_ARSH_32.smt2 │ ├── BPF_JEQ.smt2 │ ├── BPF_JEQ_32.smt2 │ ├── BPF_JGE.smt2 │ ├── BPF_JGE_32.smt2 │ ├── BPF_JGT.smt2 │ ├── BPF_JGT_32.smt2 │ ├── BPF_JLE.smt2 │ ├── BPF_JLE_32.smt2 │ ├── BPF_JLT.smt2 │ ├── BPF_JLT_32.smt2 │ ├── BPF_JNE.smt2 │ ├── BPF_JNE_32.smt2 │ ├── BPF_JSET.smt2 │ ├── BPF_JSET_32.smt2 │ ├── BPF_JSGE.smt2 │ ├── BPF_JSGE_32.smt2 │ ├── BPF_JSGT.smt2 │ ├── BPF_JSGT_32.smt2 │ ├── BPF_JSLE.smt2 │ ├── BPF_JSLE_32.smt2 │ ├── BPF_JSLT.smt2 │ ├── BPF_JSLT_32.smt2 │ ├── BPF_LSH.smt2 │ ├── BPF_LSH_32.smt2 │ ├── BPF_OR.smt2 │ ├── BPF_OR_32.smt2 │ ├── BPF_RSH.smt2 │ ├── BPF_RSH_32.smt2 │ ├── BPF_SUB.smt2 │ ├── BPF_SUB_32.smt2 │ ├── BPF_SYNC.smt2 │ ├── BPF_XOR.smt2 │ └── BPF_XOR_32.smt2 ├── 5.15 │ ├── BPF_ADD.smt2 │ ├── BPF_ADD_32.smt2 │ ├── BPF_AND.smt2 │ ├── BPF_AND_32.smt2 │ ├── BPF_ARSH.smt2 │ ├── BPF_ARSH_32.smt2 │ ├── BPF_JEQ.smt2 │ ├── BPF_JEQ_32.smt2 │ ├── BPF_JGE.smt2 │ ├── BPF_JGE_32.smt2 │ ├── BPF_JGT.smt2 │ ├── BPF_JGT_32.smt2 │ ├── BPF_JLE.smt2 │ ├── BPF_JLE_32.smt2 │ ├── BPF_JLT.smt2 │ ├── BPF_JLT_32.smt2 │ ├── BPF_JNE.smt2 │ ├── BPF_JNE_32.smt2 │ ├── BPF_JSET.smt2 │ ├── BPF_JSET_32.smt2 │ ├── BPF_JSGE.smt2 │ ├── BPF_JSGE_32.smt2 │ ├── BPF_JSGT.smt2 │ ├── BPF_JSGT_32.smt2 │ ├── BPF_JSLE.smt2 │ ├── BPF_JSLE_32.smt2 │ ├── BPF_JSLT.smt2 │ ├── BPF_JSLT_32.smt2 │ ├── BPF_LSH.smt2 │ ├── BPF_LSH_32.smt2 │ ├── BPF_OR.smt2 │ ├── BPF_OR_32.smt2 │ ├── BPF_RSH.smt2 │ ├── BPF_RSH_32.smt2 │ ├── BPF_SUB.smt2 │ ├── BPF_SUB_32.smt2 │ ├── BPF_SYNC.smt2 │ ├── BPF_XOR.smt2 │ └── BPF_XOR_32.smt2 ├── 5.4.210 │ ├── BPF_ADD.smt2 │ ├── BPF_ADD_32.smt2 │ ├── BPF_AND.smt2 │ ├── BPF_AND_32.smt2 │ ├── BPF_ARSH.smt2 │ ├── BPF_ARSH_32.smt2 │ ├── BPF_JEQ.smt2 │ ├── BPF_JEQ_32.smt2 │ ├── BPF_JGE.smt2 │ ├── BPF_JGE_32.smt2 │ ├── BPF_JGT.smt2 │ ├── BPF_JGT_32.smt2 │ ├── BPF_JLE.smt2 │ ├── BPF_JLE_32.smt2 │ ├── BPF_JLT.smt2 │ ├── BPF_JLT_32.smt2 │ ├── BPF_JNE.smt2 │ ├── BPF_JNE_32.smt2 │ ├── BPF_JSET.smt2 │ ├── BPF_JSET_32.smt2 │ ├── BPF_JSGE.smt2 │ ├── BPF_JSGE_32.smt2 │ ├── BPF_JSGT.smt2 │ ├── BPF_JSGT_32.smt2 │ ├── BPF_JSLE.smt2 │ ├── BPF_JSLE_32.smt2 │ ├── BPF_JSLT.smt2 │ ├── BPF_JSLT_32.smt2 │ ├── BPF_LSH.smt2 │ ├── BPF_LSH_32.smt2 │ ├── BPF_OR.smt2 │ ├── BPF_OR_32.smt2 │ ├── BPF_RSH.smt2 │ ├── BPF_RSH_32.smt2 │ ├── BPF_SUB.smt2 │ ├── BPF_SUB_32.smt2 │ ├── BPF_SYNC.smt2 │ ├── BPF_SYNC1.smt2 │ ├── BPF_SYNC2.smt2 │ ├── BPF_SYNC3.smt2 │ ├── BPF_XOR.smt2 │ └── BPF_XOR_32.smt2 ├── 5.9 │ ├── BPF_ADD.smt2 │ ├── BPF_ADD_32.smt2 │ ├── BPF_AND.smt2 │ ├── BPF_AND_32.smt2 │ ├── BPF_ARSH.smt2 │ ├── BPF_ARSH_32.smt2 │ ├── BPF_JEQ.smt2 │ ├── BPF_JEQ_32.smt2 │ ├── BPF_JGE.smt2 │ ├── BPF_JGE_32.smt2 │ ├── BPF_JGT.smt2 │ ├── BPF_JGT_32.smt2 │ ├── BPF_JLE.smt2 │ ├── BPF_JLE_32.smt2 │ ├── BPF_JLT.smt2 │ ├── BPF_JLT_32.smt2 │ ├── BPF_JNE.smt2 │ ├── BPF_JNE_32.smt2 │ ├── BPF_JSGE.smt2 │ ├── BPF_JSGE_32.smt2 │ ├── BPF_JSGT.smt2 │ ├── BPF_JSGT_32.smt2 │ ├── BPF_JSLE.smt2 │ ├── BPF_JSLE_32.smt2 │ ├── BPF_JSLT.smt2 │ ├── BPF_JSLT_32.smt2 │ ├── BPF_LSH.smt2 │ ├── BPF_LSH_32.smt2 │ ├── BPF_OR.smt2 │ ├── BPF_OR_32.smt2 │ ├── BPF_RSH.smt2 │ ├── BPF_RSH_32.smt2 │ ├── BPF_SUB.smt2 │ ├── BPF_SUB_32.smt2 │ ├── BPF_SYNC.smt2 │ ├── BPF_XOR.smt2 │ ├── BPF_XOR_32.smt2 │ ├── tnum.ll │ ├── verifier.ll │ └── verifier_tnum.ll ├── 6.1 │ ├── BPF_ADD.smt2 │ ├── BPF_ADD_32.smt2 │ ├── BPF_AND.smt2 │ ├── BPF_AND_32.smt2 │ ├── BPF_ARSH.smt2 │ ├── BPF_ARSH_32.smt2 │ ├── BPF_JEQ.smt2 │ ├── BPF_JEQ_32.smt2 │ ├── BPF_JGE.smt2 │ ├── BPF_JGE_32.smt2 │ ├── BPF_JGT.smt2 │ ├── BPF_JGT_32.smt2 │ ├── BPF_JLE.smt2 │ ├── BPF_JLE_32.smt2 │ ├── BPF_JLT.smt2 │ ├── BPF_JLT_32.smt2 │ ├── BPF_JNE.smt2 │ ├── BPF_JNE_32.smt2 │ ├── BPF_JSET.smt2 │ ├── BPF_JSET_32.smt2 │ ├── BPF_JSGE.smt2 │ ├── BPF_JSGE_32.smt2 │ ├── BPF_JSGT.smt2 │ ├── BPF_JSGT_32.smt2 │ ├── BPF_JSLE.smt2 │ ├── BPF_JSLE_32.smt2 │ ├── BPF_JSLT.smt2 │ ├── BPF_JSLT_32.smt2 │ ├── BPF_LSH.smt2 │ ├── BPF_LSH_32.smt2 │ ├── BPF_OR.smt2 │ ├── BPF_OR_32.smt2 │ ├── BPF_RSH.smt2 │ ├── BPF_RSH_32.smt2 │ ├── BPF_SUB.smt2 │ ├── BPF_SUB_32.smt2 │ ├── BPF_SYNC.smt2 │ ├── BPF_XOR.smt2 │ └── BPF_XOR_32.smt2 ├── 6.12 │ ├── BPF_ADD.smt2 │ ├── BPF_ADD_32.smt2 │ ├── BPF_AND.smt2 │ ├── BPF_AND_32.smt2 │ ├── BPF_ARSH.smt2 │ ├── BPF_ARSH_32.smt2 │ ├── BPF_JEQ.smt2 │ ├── BPF_JEQ_32.smt2 │ ├── BPF_JGE.smt2 │ ├── BPF_JGE_32.smt2 │ ├── BPF_JGT.smt2 │ ├── BPF_JLT.smt2 │ ├── BPF_JNE.smt2 │ ├── BPF_JNE_32.smt2 │ ├── BPF_JSET.smt2 │ ├── BPF_JSET_32.smt2 │ ├── BPF_JSGE.smt2 │ ├── BPF_JSGE_32.smt2 │ ├── BPF_JSGT.smt2 │ ├── BPF_JSGT_32.smt2 │ ├── BPF_JSLE.smt2 │ ├── BPF_JSLE_32.smt2 │ ├── BPF_JSLT.smt2 │ ├── BPF_JSLT_32.smt2 │ ├── BPF_LSH.smt2 │ ├── BPF_LSH_32.smt2 │ ├── BPF_OR.smt2 │ ├── BPF_OR_32.smt2 │ ├── BPF_RSH.smt2 │ ├── BPF_RSH_32.smt2 │ ├── BPF_SUB.smt2 │ ├── BPF_SUB_32.smt2 │ ├── BPF_SYNC.smt2 │ ├── BPF_XOR.smt2 │ └── BPF_XOR_32.smt2 └── 6.6 │ ├── BPF_ADD.smt2 │ ├── BPF_ADD_32.smt2 │ ├── BPF_AND.smt2 │ ├── BPF_AND_32.smt2 │ ├── BPF_ARSH.smt2 │ ├── BPF_ARSH_32.smt2 │ ├── BPF_JEQ.smt2 │ ├── BPF_JEQ_32.smt2 │ ├── BPF_JGE.smt2 │ ├── BPF_JGE_32.smt2 │ ├── BPF_JGT.smt2 │ ├── BPF_JGT_32.smt2 │ ├── BPF_JLE.smt2 │ ├── BPF_JLE_32.smt2 │ ├── BPF_JLT.smt2 │ ├── BPF_JLT_32.smt2 │ ├── BPF_JNE.smt2 │ ├── BPF_JNE_32.smt2 │ ├── BPF_JSET.smt2 │ ├── BPF_JSET_32.smt2 │ ├── BPF_JSGE.smt2 │ ├── BPF_JSGE_32.smt2 │ ├── BPF_JSGT.smt2 │ ├── BPF_JSGT_32.smt2 │ ├── BPF_JSLE.smt2 │ ├── BPF_JSLE_32.smt2 │ ├── BPF_JSLT.smt2 │ ├── BPF_JSLT_32.smt2 │ ├── BPF_LSH.smt2 │ ├── BPF_LSH_32.smt2 │ ├── BPF_OR.smt2 │ ├── BPF_OR_32.smt2 │ ├── BPF_RSH.smt2 │ ├── BPF_RSH_32.smt2 │ ├── BPF_SUB.smt2 │ ├── BPF_SUB_32.smt2 │ ├── BPF_SYNC.smt2 │ ├── BPF_XOR.smt2 │ └── BPF_XOR_32.smt2 ├── bpf-verification ├── bpf_prog_from_poc.py ├── lib_reg_bounds_tracking │ ├── .gitignore │ ├── __init__.py │ └── lib_reg_bounds_tracking.py ├── setup.py └── src │ ├── bpf_alu_jmp_synthesis.py │ ├── sync_soundness.py │ ├── synthesize_bug_types.py │ └── wf_soundness.py ├── images ├── or_s32.jpg └── sub_s64.jpg ├── llvm-to-smt ├── cocci │ ├── remove_same_reg_comparison.cocci │ └── remove_sync.cocci ├── generate_encodings.py ├── llvm-passes │ ├── ForceFunctionEarlyExit │ │ ├── CMakeLists.txt │ │ ├── ForceFunctionEarlyExit.cpp │ │ ├── ForceFunctionEarlyExit.hpp │ │ ├── config.json │ │ └── function_earlyretvalue_map.txt │ ├── InlineFunctionCalls │ │ ├── CMakeLists.txt │ │ ├── InlineFunctionCalls.cpp │ │ ├── InlineFunctionCalls.hpp │ │ └── build │ │ │ └── .keep │ ├── LLVMToSMT │ │ ├── BVTree.cpp │ │ ├── BVTree.hpp │ │ ├── BVTreeTests.cpp │ │ ├── BitvecHelper.cpp │ │ ├── BitvecHelper.hpp │ │ ├── CMakeLists.txt │ │ ├── FunctionEncoder.cpp │ │ ├── FunctionEncoder.hpp │ │ ├── LLVMToSMT.cpp │ │ ├── LLVMToSMT.h │ │ ├── ModuleEncoder.cpp │ │ └── ModuleEncoder.hpp │ ├── LowerFunnelShifts │ │ ├── CMakeLists.txt │ │ ├── LowerFunnelShifts.cpp │ │ └── LowerFunnelShifts.hpp │ ├── PromoteMemcpy │ │ ├── CMakeLists.txt │ │ ├── PromoteMemcpy.cpp │ │ └── PromoteMemcpy.hpp │ ├── RemoveFunctionCalls │ │ ├── CMakeLists.txt │ │ ├── RemoveFunctionCalls.cpp │ │ ├── RemoveFunctionCalls.hpp │ │ ├── config.json │ │ └── functionsToRemove.txt │ ├── force_functions_early_exit.sh │ ├── inline_verifier_func.sh │ ├── llvm_to_smt.sh │ ├── lower_funnel_shifts.sh │ ├── promote_memcpy.sh │ └── remove_func_calls.sh ├── run_llvm_passes.py ├── tests │ └── select_on_pointers.ll └── wrappers.py ├── reproduce-results └── reproduce_results.py └── requirements.txt /.gitattributes: -------------------------------------------------------------------------------- 1 | bpf-encodings/** linguist-generated 2 | -------------------------------------------------------------------------------- /.github/workflows/bpf-verification.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/.github/workflows/bpf-verification.yaml -------------------------------------------------------------------------------- /.github/workflows/end-to-end.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/.github/workflows/end-to-end.yaml -------------------------------------------------------------------------------- /.github/workflows/llvm-to-smt.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/.github/workflows/llvm-to-smt.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/README.md -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_ADD.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_ADD.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_ADD_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_ADD_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_AND.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_AND.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_AND_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_AND_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_ARSH.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_ARSH.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_ARSH_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_ARSH_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_JEQ.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_JEQ.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_JEQ_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_JEQ_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_JGE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_JGE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_JGE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_JGE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_JGT.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_JGT.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_JGT_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_JGT_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_JLE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_JLE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_JLE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_JLE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_JLT.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_JLT.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_JLT_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_JLT_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_JNE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_JNE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_JNE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_JNE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_JSET.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_JSET.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_JSET_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_JSET_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_JSGE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_JSGE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_JSGE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_JSGE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_JSGT.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_JSGT.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_JSGT_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_JSGT_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_JSLE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_JSLE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_JSLE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_JSLE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_JSLT.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_JSLT.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_JSLT_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_JSLT_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_LSH.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_LSH.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_LSH_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_LSH_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_OR.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_OR.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_OR_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_OR_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_RSH.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_RSH.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_RSH_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_RSH_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_SUB.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_SUB.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_SUB_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_SUB_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_SYNC.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_SYNC.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_XOR.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_XOR.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.10/BPF_XOR_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.10/BPF_XOR_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_ADD.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_ADD.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_ADD_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_ADD_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_AND.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_AND.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_AND_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_AND_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_ARSH.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_ARSH.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_ARSH_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_ARSH_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_JEQ.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_JEQ.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_JEQ_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_JEQ_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_JGE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_JGE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_JGE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_JGE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_JGT.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_JGT.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_JGT_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_JGT_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_JLE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_JLE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_JLE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_JLE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_JLT.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_JLT.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_JLT_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_JLT_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_JNE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_JNE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_JNE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_JNE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_JSET.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_JSET.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_JSET_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_JSET_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_JSGE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_JSGE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_JSGE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_JSGE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_JSGT.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_JSGT.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_JSGT_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_JSGT_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_JSLE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_JSLE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_JSLE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_JSLE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_JSLT.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_JSLT.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_JSLT_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_JSLT_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_LSH.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_LSH.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_LSH_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_LSH_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_OR.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_OR.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_OR_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_OR_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_RSH.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_RSH.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_RSH_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_RSH_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_SUB.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_SUB.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_SUB_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_SUB_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_SYNC.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_SYNC.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_XOR.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_XOR.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.15/BPF_XOR_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.15/BPF_XOR_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_ADD.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_ADD.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_ADD_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_ADD_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_AND.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_AND.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_AND_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_AND_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_ARSH.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_ARSH.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_ARSH_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_ARSH_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_JEQ.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_JEQ.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_JEQ_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_JEQ_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_JGE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_JGE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_JGE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_JGE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_JGT.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_JGT.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_JGT_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_JGT_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_JLE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_JLE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_JLE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_JLE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_JLT.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_JLT.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_JLT_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_JLT_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_JNE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_JNE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_JNE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_JNE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_JSET.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_JSET.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_JSET_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_JSET_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_JSGE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_JSGE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_JSGE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_JSGE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_JSGT.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_JSGT.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_JSGT_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_JSGT_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_JSLE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_JSLE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_JSLE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_JSLE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_JSLT.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_JSLT.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_JSLT_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_JSLT_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_LSH.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_LSH.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_LSH_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_LSH_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_OR.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_OR.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_OR_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_OR_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_RSH.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_RSH.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_RSH_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_RSH_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_SUB.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_SUB.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_SUB_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_SUB_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_SYNC.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_SYNC.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_SYNC1.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_SYNC1.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_SYNC2.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_SYNC2.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_SYNC3.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_SYNC3.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_XOR.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_XOR.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.4.210/BPF_XOR_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.4.210/BPF_XOR_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_ADD.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_ADD.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_ADD_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_ADD_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_AND.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_AND.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_AND_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_AND_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_ARSH.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_ARSH.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_ARSH_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_ARSH_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_JEQ.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_JEQ.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_JEQ_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_JEQ_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_JGE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_JGE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_JGE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_JGE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_JGT.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_JGT.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_JGT_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_JGT_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_JLE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_JLE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_JLE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_JLE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_JLT.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_JLT.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_JLT_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_JLT_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_JNE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_JNE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_JNE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_JNE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_JSGE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_JSGE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_JSGE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_JSGE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_JSGT.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_JSGT.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_JSGT_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_JSGT_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_JSLE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_JSLE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_JSLE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_JSLE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_JSLT.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_JSLT.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_JSLT_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_JSLT_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_LSH.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_LSH.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_LSH_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_LSH_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_OR.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_OR.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_OR_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_OR_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_RSH.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_RSH.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_RSH_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_RSH_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_SUB.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_SUB.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_SUB_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_SUB_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_SYNC.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_SYNC.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_XOR.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_XOR.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/BPF_XOR_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/BPF_XOR_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/5.9/tnum.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/tnum.ll -------------------------------------------------------------------------------- /bpf-encodings/5.9/verifier.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/verifier.ll -------------------------------------------------------------------------------- /bpf-encodings/5.9/verifier_tnum.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/5.9/verifier_tnum.ll -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_ADD.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_ADD.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_ADD_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_ADD_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_AND.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_AND.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_AND_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_AND_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_ARSH.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_ARSH.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_ARSH_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_ARSH_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_JEQ.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_JEQ.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_JEQ_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_JEQ_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_JGE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_JGE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_JGE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_JGE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_JGT.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_JGT.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_JGT_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_JGT_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_JLE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_JLE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_JLE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_JLE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_JLT.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_JLT.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_JLT_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_JLT_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_JNE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_JNE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_JNE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_JNE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_JSET.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_JSET.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_JSET_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_JSET_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_JSGE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_JSGE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_JSGE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_JSGE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_JSGT.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_JSGT.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_JSGT_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_JSGT_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_JSLE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_JSLE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_JSLE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_JSLE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_JSLT.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_JSLT.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_JSLT_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_JSLT_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_LSH.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_LSH.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_LSH_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_LSH_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_OR.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_OR.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_OR_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_OR_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_RSH.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_RSH.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_RSH_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_RSH_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_SUB.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_SUB.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_SUB_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_SUB_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_SYNC.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_SYNC.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_XOR.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_XOR.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.1/BPF_XOR_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.1/BPF_XOR_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_ADD.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_ADD.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_ADD_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_ADD_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_AND.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_AND.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_AND_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_AND_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_ARSH.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_ARSH.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_ARSH_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_ARSH_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_JEQ.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_JEQ.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_JEQ_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_JEQ_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_JGE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_JGE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_JGE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_JGE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_JGT.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_JGT.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_JLT.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_JLT.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_JNE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_JNE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_JNE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_JNE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_JSET.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_JSET.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_JSET_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_JSET_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_JSGE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_JSGE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_JSGE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_JSGE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_JSGT.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_JSGT.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_JSGT_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_JSGT_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_JSLE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_JSLE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_JSLE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_JSLE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_JSLT.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_JSLT.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_JSLT_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_JSLT_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_LSH.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_LSH.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_LSH_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_LSH_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_OR.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_OR.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_OR_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_OR_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_RSH.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_RSH.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_RSH_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_RSH_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_SUB.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_SUB.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_SUB_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_SUB_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_SYNC.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_SYNC.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_XOR.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_XOR.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.12/BPF_XOR_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.12/BPF_XOR_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_ADD.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_ADD.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_ADD_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_ADD_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_AND.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_AND.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_AND_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_AND_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_ARSH.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_ARSH.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_ARSH_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_ARSH_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_JEQ.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_JEQ.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_JEQ_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_JEQ_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_JGE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_JGE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_JGE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_JGE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_JGT.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_JGT.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_JGT_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_JGT_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_JLE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_JLE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_JLE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_JLE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_JLT.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_JLT.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_JLT_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_JLT_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_JNE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_JNE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_JNE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_JNE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_JSET.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_JSET.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_JSET_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_JSET_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_JSGE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_JSGE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_JSGE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_JSGE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_JSGT.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_JSGT.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_JSGT_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_JSGT_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_JSLE.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_JSLE.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_JSLE_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_JSLE_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_JSLT.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_JSLT.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_JSLT_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_JSLT_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_LSH.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_LSH.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_LSH_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_LSH_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_OR.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_OR.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_OR_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_OR_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_RSH.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_RSH.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_RSH_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_RSH_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_SUB.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_SUB.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_SUB_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_SUB_32.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_SYNC.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_SYNC.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_XOR.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_XOR.smt2 -------------------------------------------------------------------------------- /bpf-encodings/6.6/BPF_XOR_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-encodings/6.6/BPF_XOR_32.smt2 -------------------------------------------------------------------------------- /bpf-verification/bpf_prog_from_poc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-verification/bpf_prog_from_poc.py -------------------------------------------------------------------------------- /bpf-verification/lib_reg_bounds_tracking/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-verification/lib_reg_bounds_tracking/.gitignore -------------------------------------------------------------------------------- /bpf-verification/lib_reg_bounds_tracking/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /bpf-verification/lib_reg_bounds_tracking/lib_reg_bounds_tracking.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-verification/lib_reg_bounds_tracking/lib_reg_bounds_tracking.py -------------------------------------------------------------------------------- /bpf-verification/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-verification/setup.py -------------------------------------------------------------------------------- /bpf-verification/src/bpf_alu_jmp_synthesis.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-verification/src/bpf_alu_jmp_synthesis.py -------------------------------------------------------------------------------- /bpf-verification/src/sync_soundness.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-verification/src/sync_soundness.py -------------------------------------------------------------------------------- /bpf-verification/src/synthesize_bug_types.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-verification/src/synthesize_bug_types.py -------------------------------------------------------------------------------- /bpf-verification/src/wf_soundness.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/bpf-verification/src/wf_soundness.py -------------------------------------------------------------------------------- /images/or_s32.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/images/or_s32.jpg -------------------------------------------------------------------------------- /images/sub_s64.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/images/sub_s64.jpg -------------------------------------------------------------------------------- /llvm-to-smt/cocci/remove_same_reg_comparison.cocci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/cocci/remove_same_reg_comparison.cocci -------------------------------------------------------------------------------- /llvm-to-smt/cocci/remove_sync.cocci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/cocci/remove_sync.cocci -------------------------------------------------------------------------------- /llvm-to-smt/generate_encodings.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/generate_encodings.py -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/ForceFunctionEarlyExit/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/ForceFunctionEarlyExit/CMakeLists.txt -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/ForceFunctionEarlyExit/ForceFunctionEarlyExit.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/ForceFunctionEarlyExit/ForceFunctionEarlyExit.cpp -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/ForceFunctionEarlyExit/ForceFunctionEarlyExit.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/ForceFunctionEarlyExit/ForceFunctionEarlyExit.hpp -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/ForceFunctionEarlyExit/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/ForceFunctionEarlyExit/config.json -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/ForceFunctionEarlyExit/function_earlyretvalue_map.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/ForceFunctionEarlyExit/function_earlyretvalue_map.txt -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/InlineFunctionCalls/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/InlineFunctionCalls/CMakeLists.txt -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/InlineFunctionCalls/InlineFunctionCalls.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/InlineFunctionCalls/InlineFunctionCalls.cpp -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/InlineFunctionCalls/InlineFunctionCalls.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/InlineFunctionCalls/InlineFunctionCalls.hpp -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/InlineFunctionCalls/build/.keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/LLVMToSMT/BVTree.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/LLVMToSMT/BVTree.cpp -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/LLVMToSMT/BVTree.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/LLVMToSMT/BVTree.hpp -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/LLVMToSMT/BVTreeTests.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/LLVMToSMT/BVTreeTests.cpp -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/LLVMToSMT/BitvecHelper.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/LLVMToSMT/BitvecHelper.cpp -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/LLVMToSMT/BitvecHelper.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/LLVMToSMT/BitvecHelper.hpp -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/LLVMToSMT/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/LLVMToSMT/CMakeLists.txt -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/LLVMToSMT/FunctionEncoder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/LLVMToSMT/FunctionEncoder.cpp -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/LLVMToSMT/FunctionEncoder.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/LLVMToSMT/FunctionEncoder.hpp -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/LLVMToSMT/LLVMToSMT.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/LLVMToSMT/LLVMToSMT.cpp -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/LLVMToSMT/LLVMToSMT.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/LLVMToSMT/LLVMToSMT.h -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/LLVMToSMT/ModuleEncoder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/LLVMToSMT/ModuleEncoder.cpp -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/LLVMToSMT/ModuleEncoder.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/LLVMToSMT/ModuleEncoder.hpp -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/LowerFunnelShifts/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/LowerFunnelShifts/CMakeLists.txt -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/LowerFunnelShifts/LowerFunnelShifts.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/LowerFunnelShifts/LowerFunnelShifts.cpp -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/LowerFunnelShifts/LowerFunnelShifts.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/LowerFunnelShifts/LowerFunnelShifts.hpp -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/PromoteMemcpy/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/PromoteMemcpy/CMakeLists.txt -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/PromoteMemcpy/PromoteMemcpy.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/PromoteMemcpy/PromoteMemcpy.cpp -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/PromoteMemcpy/PromoteMemcpy.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/PromoteMemcpy/PromoteMemcpy.hpp -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/RemoveFunctionCalls/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/RemoveFunctionCalls/CMakeLists.txt -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/RemoveFunctionCalls/RemoveFunctionCalls.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/RemoveFunctionCalls/RemoveFunctionCalls.cpp -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/RemoveFunctionCalls/RemoveFunctionCalls.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/RemoveFunctionCalls/RemoveFunctionCalls.hpp -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/RemoveFunctionCalls/config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/RemoveFunctionCalls/config.json -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/RemoveFunctionCalls/functionsToRemove.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/RemoveFunctionCalls/functionsToRemove.txt -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/force_functions_early_exit.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/force_functions_early_exit.sh -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/inline_verifier_func.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/inline_verifier_func.sh -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/llvm_to_smt.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/llvm_to_smt.sh -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/lower_funnel_shifts.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/lower_funnel_shifts.sh -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/promote_memcpy.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/promote_memcpy.sh -------------------------------------------------------------------------------- /llvm-to-smt/llvm-passes/remove_func_calls.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/llvm-passes/remove_func_calls.sh -------------------------------------------------------------------------------- /llvm-to-smt/run_llvm_passes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/run_llvm_passes.py -------------------------------------------------------------------------------- /llvm-to-smt/tests/select_on_pointers.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/tests/select_on_pointers.ll -------------------------------------------------------------------------------- /llvm-to-smt/wrappers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/llvm-to-smt/wrappers.py -------------------------------------------------------------------------------- /reproduce-results/reproduce_results.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/bpfverif/agni/HEAD/reproduce-results/reproduce_results.py -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- 1 | packaging 2 | prettytable 3 | termcolor 4 | toml 5 | z3-solver 6 | --------------------------------------------------------------------------------