├── .devcontainer └── devcontainer.json ├── .gitignore ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── cargo-symex ├── Cargo.toml └── src │ ├── args.rs │ ├── build.rs │ ├── build_c.rs │ └── main.rs ├── crates ├── llvm-ir │ ├── Cargo.toml │ └── src │ │ ├── constant.rs │ │ ├── global.rs │ │ ├── instruction.rs │ │ ├── lib.rs │ │ ├── module.rs │ │ ├── types.rs │ │ ├── util.rs │ │ └── value.rs ├── symex_lib │ ├── Cargo.toml │ ├── README.md │ ├── examples │ │ └── valid.rs │ └── src │ │ ├── any.rs │ │ └── lib.rs └── valid_derive │ ├── Cargo.toml │ ├── README.md │ ├── examples │ └── valid.rs │ └── src │ └── lib.rs ├── examples ├── Cargo.toml ├── README.md ├── examples │ ├── allocations.rs │ ├── bubble_sort.rs │ ├── callstack.rs │ ├── enum.rs │ ├── generics.rs │ ├── get_sign.rs │ ├── initial.rs │ ├── output.rs │ ├── simple.rs │ ├── sort.rs │ ├── structs.rs │ ├── structured.rs │ └── traits.rs └── src │ └── lib.rs ├── scripts ├── c.sh ├── cargo_rs.sh └── rs.sh ├── symex-llvm-14-legacy ├── Cargo.toml ├── compile_tests.sh ├── compile_tests_dc.sh ├── src │ ├── core │ │ ├── executor.rs │ │ ├── memory.rs │ │ ├── mod.rs │ │ ├── path_selection.rs │ │ └── smt.rs │ ├── lib.rs │ ├── llvm │ │ ├── common │ │ │ ├── mod.rs │ │ │ ├── ops.rs │ │ │ ├── size.rs │ │ │ └── to_expr.rs │ │ ├── environment │ │ │ ├── custom_modules.rs │ │ │ ├── hooks.rs │ │ │ └── mod.rs │ │ ├── error.rs │ │ ├── executor │ │ │ ├── instruction.rs │ │ │ ├── intrinsics.rs │ │ │ └── mod.rs │ │ ├── mod.rs │ │ ├── path_selection.rs │ │ ├── project.rs │ │ ├── state │ │ │ ├── globals.rs │ │ │ ├── location.rs │ │ │ └── mod.rs │ │ └── vm.rs │ ├── memory │ │ ├── array_memory.rs │ │ ├── linear_allocator.rs │ │ ├── mod.rs │ │ └── object_memory.rs │ ├── run.rs │ ├── smt │ │ ├── mod.rs │ │ ├── smt_boolector │ │ │ ├── expr.rs │ │ │ ├── mod.rs │ │ │ └── solver.rs │ │ └── smt_z3 │ │ │ ├── expr.rs │ │ │ ├── mod.rs │ │ │ └── solver.rs │ └── util │ │ └── mod.rs └── tests │ ├── doc_tests │ └── test.rs │ ├── main.rs │ ├── samples │ ├── array_index.rs │ ├── call.c │ ├── fn_refs.rs │ ├── ifs.c │ ├── loop.rs │ ├── match.rs │ ├── multiple_paths.c │ ├── simple.c │ ├── structs.rs │ └── traits.rs │ ├── test_runner.rs │ └── unit_tests │ ├── instructions.ll │ └── intrinsics.ll └── symex ├── Cargo.toml ├── compile_tests_dc.sh ├── src ├── lib.rs ├── memory │ ├── linear_allocator.rs │ ├── mod.rs │ └── object_memory.rs ├── run.rs ├── runner │ └── mod.rs ├── smt │ ├── mod.rs │ └── smt_boolector │ │ ├── expr.rs │ │ ├── mod.rs │ │ └── solver.rs ├── util.rs └── vm │ ├── executor.rs │ ├── hooks.rs │ ├── intrinsic.rs │ ├── mod.rs │ ├── path_selection.rs │ ├── project.rs │ ├── state.rs │ └── vm.rs └── tests ├── main.rs ├── samples ├── array_index.rs ├── call.c ├── fn_refs.rs ├── ifs.c ├── loop.rs ├── match.rs ├── multiple_paths.c ├── simple.c ├── structs.rs └── traits.rs ├── test_runner.rs └── unit_tests ├── instructions.ll └── intrinsics.ll /.devcontainer/devcontainer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/.devcontainer/devcontainer.json -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/.gitignore -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/README.md -------------------------------------------------------------------------------- /cargo-symex/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/cargo-symex/Cargo.toml -------------------------------------------------------------------------------- /cargo-symex/src/args.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/cargo-symex/src/args.rs -------------------------------------------------------------------------------- /cargo-symex/src/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/cargo-symex/src/build.rs -------------------------------------------------------------------------------- /cargo-symex/src/build_c.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/cargo-symex/src/build_c.rs -------------------------------------------------------------------------------- /cargo-symex/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/cargo-symex/src/main.rs -------------------------------------------------------------------------------- /crates/llvm-ir/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/crates/llvm-ir/Cargo.toml -------------------------------------------------------------------------------- /crates/llvm-ir/src/constant.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/crates/llvm-ir/src/constant.rs -------------------------------------------------------------------------------- /crates/llvm-ir/src/global.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/crates/llvm-ir/src/global.rs -------------------------------------------------------------------------------- /crates/llvm-ir/src/instruction.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/crates/llvm-ir/src/instruction.rs -------------------------------------------------------------------------------- /crates/llvm-ir/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/crates/llvm-ir/src/lib.rs -------------------------------------------------------------------------------- /crates/llvm-ir/src/module.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/crates/llvm-ir/src/module.rs -------------------------------------------------------------------------------- /crates/llvm-ir/src/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/crates/llvm-ir/src/types.rs -------------------------------------------------------------------------------- /crates/llvm-ir/src/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/crates/llvm-ir/src/util.rs -------------------------------------------------------------------------------- /crates/llvm-ir/src/value.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/crates/llvm-ir/src/value.rs -------------------------------------------------------------------------------- /crates/symex_lib/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/crates/symex_lib/Cargo.toml -------------------------------------------------------------------------------- /crates/symex_lib/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/symex_lib/examples/valid.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/crates/symex_lib/examples/valid.rs -------------------------------------------------------------------------------- /crates/symex_lib/src/any.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/crates/symex_lib/src/any.rs -------------------------------------------------------------------------------- /crates/symex_lib/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/crates/symex_lib/src/lib.rs -------------------------------------------------------------------------------- /crates/valid_derive/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/crates/valid_derive/Cargo.toml -------------------------------------------------------------------------------- /crates/valid_derive/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/valid_derive/examples/valid.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/crates/valid_derive/examples/valid.rs -------------------------------------------------------------------------------- /crates/valid_derive/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/crates/valid_derive/src/lib.rs -------------------------------------------------------------------------------- /examples/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/examples/Cargo.toml -------------------------------------------------------------------------------- /examples/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/examples/allocations.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/examples/examples/allocations.rs -------------------------------------------------------------------------------- /examples/examples/bubble_sort.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/examples/examples/bubble_sort.rs -------------------------------------------------------------------------------- /examples/examples/callstack.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/examples/examples/callstack.rs -------------------------------------------------------------------------------- /examples/examples/enum.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/examples/examples/enum.rs -------------------------------------------------------------------------------- /examples/examples/generics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/examples/examples/generics.rs -------------------------------------------------------------------------------- /examples/examples/get_sign.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/examples/examples/get_sign.rs -------------------------------------------------------------------------------- /examples/examples/initial.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/examples/examples/initial.rs -------------------------------------------------------------------------------- /examples/examples/output.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/examples/examples/output.rs -------------------------------------------------------------------------------- /examples/examples/simple.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/examples/examples/simple.rs -------------------------------------------------------------------------------- /examples/examples/sort.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/examples/examples/sort.rs -------------------------------------------------------------------------------- /examples/examples/structs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/examples/examples/structs.rs -------------------------------------------------------------------------------- /examples/examples/structured.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/examples/examples/structured.rs -------------------------------------------------------------------------------- /examples/examples/traits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/examples/examples/traits.rs -------------------------------------------------------------------------------- /examples/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/examples/src/lib.rs -------------------------------------------------------------------------------- /scripts/c.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/scripts/c.sh -------------------------------------------------------------------------------- /scripts/cargo_rs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/scripts/cargo_rs.sh -------------------------------------------------------------------------------- /scripts/rs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/scripts/rs.sh -------------------------------------------------------------------------------- /symex-llvm-14-legacy/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/Cargo.toml -------------------------------------------------------------------------------- /symex-llvm-14-legacy/compile_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/compile_tests.sh -------------------------------------------------------------------------------- /symex-llvm-14-legacy/compile_tests_dc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/compile_tests_dc.sh -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/core/executor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/core/executor.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/core/memory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/core/memory.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/core/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/core/mod.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/core/path_selection.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/core/path_selection.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/core/smt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/core/smt.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/lib.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/llvm/common/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/llvm/common/mod.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/llvm/common/ops.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/llvm/common/ops.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/llvm/common/size.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/llvm/common/size.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/llvm/common/to_expr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/llvm/common/to_expr.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/llvm/environment/custom_modules.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/llvm/environment/custom_modules.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/llvm/environment/hooks.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/llvm/environment/hooks.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/llvm/environment/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/llvm/environment/mod.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/llvm/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/llvm/error.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/llvm/executor/instruction.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/llvm/executor/instruction.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/llvm/executor/intrinsics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/llvm/executor/intrinsics.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/llvm/executor/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/llvm/executor/mod.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/llvm/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/llvm/mod.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/llvm/path_selection.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/llvm/path_selection.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/llvm/project.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/llvm/project.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/llvm/state/globals.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/llvm/state/globals.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/llvm/state/location.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/llvm/state/location.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/llvm/state/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/llvm/state/mod.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/llvm/vm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/llvm/vm.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/memory/array_memory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/memory/array_memory.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/memory/linear_allocator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/memory/linear_allocator.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/memory/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/memory/mod.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/memory/object_memory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/memory/object_memory.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/run.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/run.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/smt/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/smt/mod.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/smt/smt_boolector/expr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/smt/smt_boolector/expr.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/smt/smt_boolector/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/smt/smt_boolector/mod.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/smt/smt_boolector/solver.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/smt/smt_boolector/solver.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/smt/smt_z3/expr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/smt/smt_z3/expr.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/smt/smt_z3/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/smt/smt_z3/mod.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/smt/smt_z3/solver.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/smt/smt_z3/solver.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/src/util/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/src/util/mod.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/tests/doc_tests/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/tests/doc_tests/test.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/tests/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/tests/main.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/tests/samples/array_index.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/tests/samples/array_index.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/tests/samples/call.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/tests/samples/call.c -------------------------------------------------------------------------------- /symex-llvm-14-legacy/tests/samples/fn_refs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/tests/samples/fn_refs.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/tests/samples/ifs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/tests/samples/ifs.c -------------------------------------------------------------------------------- /symex-llvm-14-legacy/tests/samples/loop.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/tests/samples/loop.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/tests/samples/match.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/tests/samples/match.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/tests/samples/multiple_paths.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/tests/samples/multiple_paths.c -------------------------------------------------------------------------------- /symex-llvm-14-legacy/tests/samples/simple.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/tests/samples/simple.c -------------------------------------------------------------------------------- /symex-llvm-14-legacy/tests/samples/structs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/tests/samples/structs.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/tests/samples/traits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/tests/samples/traits.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/tests/test_runner.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/tests/test_runner.rs -------------------------------------------------------------------------------- /symex-llvm-14-legacy/tests/unit_tests/instructions.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/tests/unit_tests/instructions.ll -------------------------------------------------------------------------------- /symex-llvm-14-legacy/tests/unit_tests/intrinsics.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex-llvm-14-legacy/tests/unit_tests/intrinsics.ll -------------------------------------------------------------------------------- /symex/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/Cargo.toml -------------------------------------------------------------------------------- /symex/compile_tests_dc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/compile_tests_dc.sh -------------------------------------------------------------------------------- /symex/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/src/lib.rs -------------------------------------------------------------------------------- /symex/src/memory/linear_allocator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/src/memory/linear_allocator.rs -------------------------------------------------------------------------------- /symex/src/memory/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/src/memory/mod.rs -------------------------------------------------------------------------------- /symex/src/memory/object_memory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/src/memory/object_memory.rs -------------------------------------------------------------------------------- /symex/src/run.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/src/run.rs -------------------------------------------------------------------------------- /symex/src/runner/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/src/runner/mod.rs -------------------------------------------------------------------------------- /symex/src/smt/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/src/smt/mod.rs -------------------------------------------------------------------------------- /symex/src/smt/smt_boolector/expr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/src/smt/smt_boolector/expr.rs -------------------------------------------------------------------------------- /symex/src/smt/smt_boolector/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/src/smt/smt_boolector/mod.rs -------------------------------------------------------------------------------- /symex/src/smt/smt_boolector/solver.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/src/smt/smt_boolector/solver.rs -------------------------------------------------------------------------------- /symex/src/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/src/util.rs -------------------------------------------------------------------------------- /symex/src/vm/executor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/src/vm/executor.rs -------------------------------------------------------------------------------- /symex/src/vm/hooks.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/src/vm/hooks.rs -------------------------------------------------------------------------------- /symex/src/vm/intrinsic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/src/vm/intrinsic.rs -------------------------------------------------------------------------------- /symex/src/vm/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/src/vm/mod.rs -------------------------------------------------------------------------------- /symex/src/vm/path_selection.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/src/vm/path_selection.rs -------------------------------------------------------------------------------- /symex/src/vm/project.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/src/vm/project.rs -------------------------------------------------------------------------------- /symex/src/vm/state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/src/vm/state.rs -------------------------------------------------------------------------------- /symex/src/vm/vm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/src/vm/vm.rs -------------------------------------------------------------------------------- /symex/tests/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/tests/main.rs -------------------------------------------------------------------------------- /symex/tests/samples/array_index.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/tests/samples/array_index.rs -------------------------------------------------------------------------------- /symex/tests/samples/call.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/tests/samples/call.c -------------------------------------------------------------------------------- /symex/tests/samples/fn_refs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/tests/samples/fn_refs.rs -------------------------------------------------------------------------------- /symex/tests/samples/ifs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/tests/samples/ifs.c -------------------------------------------------------------------------------- /symex/tests/samples/loop.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/tests/samples/loop.rs -------------------------------------------------------------------------------- /symex/tests/samples/match.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/tests/samples/match.rs -------------------------------------------------------------------------------- /symex/tests/samples/multiple_paths.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/tests/samples/multiple_paths.c -------------------------------------------------------------------------------- /symex/tests/samples/simple.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/tests/samples/simple.c -------------------------------------------------------------------------------- /symex/tests/samples/structs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/tests/samples/structs.rs -------------------------------------------------------------------------------- /symex/tests/samples/traits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/tests/samples/traits.rs -------------------------------------------------------------------------------- /symex/tests/test_runner.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/tests/test_runner.rs -------------------------------------------------------------------------------- /symex/tests/unit_tests/instructions.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/tests/unit_tests/instructions.ll -------------------------------------------------------------------------------- /symex/tests/unit_tests/intrinsics.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/norlen/symex/HEAD/symex/tests/unit_tests/intrinsics.ll --------------------------------------------------------------------------------