├── .gitignore ├── Cargo.toml ├── LICENSE ├── README.md ├── refresh-docs.sh ├── rustfmt.toml ├── src ├── alloc.rs ├── alloc_utils.rs ├── backend.rs ├── callbacks.rs ├── cell_memory.rs ├── config.rs ├── demangling.rs ├── double_keyed_map.rs ├── error.rs ├── function_hooks.rs ├── global_allocations.rs ├── hook_utils.rs ├── hooks.rs ├── hooks │ ├── allocation.rs │ ├── exceptions.rs │ └── intrinsics.rs ├── lib.rs ├── parameter_val.rs ├── project.rs ├── return_value.rs ├── simple_memory.rs ├── solver_utils.rs ├── state.rs ├── symex.rs ├── test_utils.rs ├── varmap.rs └── watchpoints.rs └── tests ├── basic_tests.rs ├── bcfiles ├── 32bit │ ├── issue_4.bc │ └── issue_4.ll ├── Makefile ├── abort.bc ├── abort.c ├── abort.ll ├── atomicrmw.bc ├── atomicrmw.ll ├── basic.bc ├── basic.c ├── basic.ll ├── call.bc ├── call.c ├── call.ll ├── crossmod.bc ├── crossmod.c ├── crossmod.ll ├── functionptr.bc ├── functionptr.c ├── functionptr.ll ├── globals.bc ├── globals.c ├── globals.ll ├── globals_initialization.h ├── globals_initialization_1.bc ├── globals_initialization_1.c ├── globals_initialization_1.ll ├── globals_initialization_2.bc ├── globals_initialization_2.c ├── globals_initialization_2.ll ├── issue_10.bc ├── issue_10.ll ├── issue_10.rs ├── issue_4.bc ├── issue_4.ll ├── issue_4.rs ├── issue_9.bc ├── issue_9.ll ├── issue_9.rs ├── linkedlist.bc ├── linkedlist.c ├── linkedlist.ll ├── loop.bc ├── loop.c ├── loop.ll ├── memory.bc ├── memory.c ├── memory.ll ├── panic.bc ├── panic.ll ├── panic.rs ├── simd.bc ├── simd.c ├── simd.ll ├── simd_cl.bc ├── simd_cl.cl ├── simd_cl.ll ├── struct-O3.bc ├── struct-O3.c ├── struct-O3.ll ├── struct.bc ├── struct.c ├── struct.ll ├── throwcatch.bc ├── throwcatch.cpp └── throwcatch.ll ├── call_tests.rs ├── functionptr_tests.rs ├── global_tests.rs ├── hook_tests.rs ├── linkedlist_tests.rs ├── loop_tests.rs ├── may_abort_tests.rs ├── memory_tests.rs ├── rmw_tests.rs ├── simd_tests.rs ├── struct_tests.rs └── throwcatch_tests.rs /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/.gitignore -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/README.md -------------------------------------------------------------------------------- /refresh-docs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/refresh-docs.sh -------------------------------------------------------------------------------- /rustfmt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/rustfmt.toml -------------------------------------------------------------------------------- /src/alloc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/src/alloc.rs -------------------------------------------------------------------------------- /src/alloc_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/src/alloc_utils.rs -------------------------------------------------------------------------------- /src/backend.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/src/backend.rs -------------------------------------------------------------------------------- /src/callbacks.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/src/callbacks.rs -------------------------------------------------------------------------------- /src/cell_memory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/src/cell_memory.rs -------------------------------------------------------------------------------- /src/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/src/config.rs -------------------------------------------------------------------------------- /src/demangling.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/src/demangling.rs -------------------------------------------------------------------------------- /src/double_keyed_map.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/src/double_keyed_map.rs -------------------------------------------------------------------------------- /src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/src/error.rs -------------------------------------------------------------------------------- /src/function_hooks.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/src/function_hooks.rs -------------------------------------------------------------------------------- /src/global_allocations.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/src/global_allocations.rs -------------------------------------------------------------------------------- /src/hook_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/src/hook_utils.rs -------------------------------------------------------------------------------- /src/hooks.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/src/hooks.rs -------------------------------------------------------------------------------- /src/hooks/allocation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/src/hooks/allocation.rs -------------------------------------------------------------------------------- /src/hooks/exceptions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/src/hooks/exceptions.rs -------------------------------------------------------------------------------- /src/hooks/intrinsics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/src/hooks/intrinsics.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/parameter_val.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/src/parameter_val.rs -------------------------------------------------------------------------------- /src/project.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/src/project.rs -------------------------------------------------------------------------------- /src/return_value.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/src/return_value.rs -------------------------------------------------------------------------------- /src/simple_memory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/src/simple_memory.rs -------------------------------------------------------------------------------- /src/solver_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/src/solver_utils.rs -------------------------------------------------------------------------------- /src/state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/src/state.rs -------------------------------------------------------------------------------- /src/symex.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/src/symex.rs -------------------------------------------------------------------------------- /src/test_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/src/test_utils.rs -------------------------------------------------------------------------------- /src/varmap.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/src/varmap.rs -------------------------------------------------------------------------------- /src/watchpoints.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/src/watchpoints.rs -------------------------------------------------------------------------------- /tests/basic_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/basic_tests.rs -------------------------------------------------------------------------------- /tests/bcfiles/32bit/issue_4.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/32bit/issue_4.bc -------------------------------------------------------------------------------- /tests/bcfiles/32bit/issue_4.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/32bit/issue_4.ll -------------------------------------------------------------------------------- /tests/bcfiles/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/Makefile -------------------------------------------------------------------------------- /tests/bcfiles/abort.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/abort.bc -------------------------------------------------------------------------------- /tests/bcfiles/abort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/abort.c -------------------------------------------------------------------------------- /tests/bcfiles/abort.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/abort.ll -------------------------------------------------------------------------------- /tests/bcfiles/atomicrmw.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/atomicrmw.bc -------------------------------------------------------------------------------- /tests/bcfiles/atomicrmw.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/atomicrmw.ll -------------------------------------------------------------------------------- /tests/bcfiles/basic.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/basic.bc -------------------------------------------------------------------------------- /tests/bcfiles/basic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/basic.c -------------------------------------------------------------------------------- /tests/bcfiles/basic.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/basic.ll -------------------------------------------------------------------------------- /tests/bcfiles/call.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/call.bc -------------------------------------------------------------------------------- /tests/bcfiles/call.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/call.c -------------------------------------------------------------------------------- /tests/bcfiles/call.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/call.ll -------------------------------------------------------------------------------- /tests/bcfiles/crossmod.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/crossmod.bc -------------------------------------------------------------------------------- /tests/bcfiles/crossmod.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/crossmod.c -------------------------------------------------------------------------------- /tests/bcfiles/crossmod.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/crossmod.ll -------------------------------------------------------------------------------- /tests/bcfiles/functionptr.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/functionptr.bc -------------------------------------------------------------------------------- /tests/bcfiles/functionptr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/functionptr.c -------------------------------------------------------------------------------- /tests/bcfiles/functionptr.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/functionptr.ll -------------------------------------------------------------------------------- /tests/bcfiles/globals.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/globals.bc -------------------------------------------------------------------------------- /tests/bcfiles/globals.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/globals.c -------------------------------------------------------------------------------- /tests/bcfiles/globals.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/globals.ll -------------------------------------------------------------------------------- /tests/bcfiles/globals_initialization.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/globals_initialization.h -------------------------------------------------------------------------------- /tests/bcfiles/globals_initialization_1.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/globals_initialization_1.bc -------------------------------------------------------------------------------- /tests/bcfiles/globals_initialization_1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/globals_initialization_1.c -------------------------------------------------------------------------------- /tests/bcfiles/globals_initialization_1.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/globals_initialization_1.ll -------------------------------------------------------------------------------- /tests/bcfiles/globals_initialization_2.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/globals_initialization_2.bc -------------------------------------------------------------------------------- /tests/bcfiles/globals_initialization_2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/globals_initialization_2.c -------------------------------------------------------------------------------- /tests/bcfiles/globals_initialization_2.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/globals_initialization_2.ll -------------------------------------------------------------------------------- /tests/bcfiles/issue_10.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/issue_10.bc -------------------------------------------------------------------------------- /tests/bcfiles/issue_10.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/issue_10.ll -------------------------------------------------------------------------------- /tests/bcfiles/issue_10.rs: -------------------------------------------------------------------------------- 1 | pub fn panic_if_not_zero(x: u32) { 2 | assert_eq!(x, 0); 3 | } 4 | -------------------------------------------------------------------------------- /tests/bcfiles/issue_4.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/issue_4.bc -------------------------------------------------------------------------------- /tests/bcfiles/issue_4.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/issue_4.ll -------------------------------------------------------------------------------- /tests/bcfiles/issue_4.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/issue_4.rs -------------------------------------------------------------------------------- /tests/bcfiles/issue_9.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/issue_9.bc -------------------------------------------------------------------------------- /tests/bcfiles/issue_9.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/issue_9.ll -------------------------------------------------------------------------------- /tests/bcfiles/issue_9.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/issue_9.rs -------------------------------------------------------------------------------- /tests/bcfiles/linkedlist.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/linkedlist.bc -------------------------------------------------------------------------------- /tests/bcfiles/linkedlist.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/linkedlist.c -------------------------------------------------------------------------------- /tests/bcfiles/linkedlist.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/linkedlist.ll -------------------------------------------------------------------------------- /tests/bcfiles/loop.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/loop.bc -------------------------------------------------------------------------------- /tests/bcfiles/loop.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/loop.c -------------------------------------------------------------------------------- /tests/bcfiles/loop.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/loop.ll -------------------------------------------------------------------------------- /tests/bcfiles/memory.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/memory.bc -------------------------------------------------------------------------------- /tests/bcfiles/memory.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/memory.c -------------------------------------------------------------------------------- /tests/bcfiles/memory.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/memory.ll -------------------------------------------------------------------------------- /tests/bcfiles/panic.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/panic.bc -------------------------------------------------------------------------------- /tests/bcfiles/panic.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/panic.ll -------------------------------------------------------------------------------- /tests/bcfiles/panic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/panic.rs -------------------------------------------------------------------------------- /tests/bcfiles/simd.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/simd.bc -------------------------------------------------------------------------------- /tests/bcfiles/simd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/simd.c -------------------------------------------------------------------------------- /tests/bcfiles/simd.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/simd.ll -------------------------------------------------------------------------------- /tests/bcfiles/simd_cl.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/simd_cl.bc -------------------------------------------------------------------------------- /tests/bcfiles/simd_cl.cl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/simd_cl.cl -------------------------------------------------------------------------------- /tests/bcfiles/simd_cl.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/simd_cl.ll -------------------------------------------------------------------------------- /tests/bcfiles/struct-O3.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/struct-O3.bc -------------------------------------------------------------------------------- /tests/bcfiles/struct-O3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/struct-O3.c -------------------------------------------------------------------------------- /tests/bcfiles/struct-O3.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/struct-O3.ll -------------------------------------------------------------------------------- /tests/bcfiles/struct.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/struct.bc -------------------------------------------------------------------------------- /tests/bcfiles/struct.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/struct.c -------------------------------------------------------------------------------- /tests/bcfiles/struct.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/struct.ll -------------------------------------------------------------------------------- /tests/bcfiles/throwcatch.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/throwcatch.bc -------------------------------------------------------------------------------- /tests/bcfiles/throwcatch.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/throwcatch.cpp -------------------------------------------------------------------------------- /tests/bcfiles/throwcatch.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/bcfiles/throwcatch.ll -------------------------------------------------------------------------------- /tests/call_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/call_tests.rs -------------------------------------------------------------------------------- /tests/functionptr_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/functionptr_tests.rs -------------------------------------------------------------------------------- /tests/global_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/global_tests.rs -------------------------------------------------------------------------------- /tests/hook_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/hook_tests.rs -------------------------------------------------------------------------------- /tests/linkedlist_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/linkedlist_tests.rs -------------------------------------------------------------------------------- /tests/loop_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/loop_tests.rs -------------------------------------------------------------------------------- /tests/may_abort_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/may_abort_tests.rs -------------------------------------------------------------------------------- /tests/memory_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/memory_tests.rs -------------------------------------------------------------------------------- /tests/rmw_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/rmw_tests.rs -------------------------------------------------------------------------------- /tests/simd_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/simd_tests.rs -------------------------------------------------------------------------------- /tests/struct_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/struct_tests.rs -------------------------------------------------------------------------------- /tests/throwcatch_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PLSysSec/haybale/HEAD/tests/throwcatch_tests.rs --------------------------------------------------------------------------------