├── .gitignore ├── .gitmodules ├── LICENSE ├── README.md ├── config ├── __init__.py ├── instances.py ├── packages.py └── targets.py ├── deltatags-test ├── .gitignore ├── Makefile ├── deltatags.h ├── fault_handler.h ├── runtests.sh ├── test_arith_geps.c ├── test_arith_neg.c ├── test_exec.c ├── test_fork.c ├── test_global_string_free.cpp ├── test_implicitcast.c ├── test_iovec.c ├── test_libptr_copyfromarg.c ├── test_libptr_copyfromarg_cpp.cpp ├── test_libptr_ptrdiff.c ├── test_libptr_retsize.c ├── test_libptr_strlen.c ├── test_libptr_strtok.c ├── test_mask.c ├── test_memintrinsics.c ├── test_nullptr.c ├── test_old.c ├── test_oob.c └── test_simple.c ├── llvm-passes ├── AddressSpace.cpp ├── AddressSpace.h ├── CheckAddressSpace.cpp ├── DebugNegArith.cpp ├── DeltaTagAlloc.cpp ├── DeltaTagProp.cpp ├── GlobalOpt.cpp ├── GlobalOpt.h ├── LibPtrRet.h ├── MagicTags.cpp ├── Makefile ├── MaskPointers.cpp ├── ReinterpretedPointers.cpp ├── ReinterpretedPointers.h ├── ReplaceAddressTakenMalloc.cpp ├── RuntimeStats.cpp ├── SafeAllocs.cpp ├── SafeAllocs.h ├── SafeAllocsOld.cpp ├── SafeAllocsOld.h ├── TagGlobals.cpp ├── TagGlobalsConst.cpp ├── TagGlobalsConst.h └── UboundBranch.cpp ├── patches ├── spec2006-gcc.patch ├── spec2006-h264ref-sizetagprop-BCBP.patch ├── spec2006-perlbench.patch └── spec2006-soplex.patch ├── runtime ├── Makefile ├── addrspace.h ├── debug.c ├── libptrret.c ├── mask-wrappers.c ├── mask.c ├── runtimestats.c └── source-instrumentation.h └── setup.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/.gitmodules -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/README.md -------------------------------------------------------------------------------- /config/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /config/instances.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/config/instances.py -------------------------------------------------------------------------------- /config/packages.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/config/packages.py -------------------------------------------------------------------------------- /config/targets.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/config/targets.py -------------------------------------------------------------------------------- /deltatags-test/.gitignore: -------------------------------------------------------------------------------- 1 | prelink-* 2 | build* 3 | rts_* 4 | debugnegarith.out 5 | *.ll 6 | -------------------------------------------------------------------------------- /deltatags-test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/deltatags-test/Makefile -------------------------------------------------------------------------------- /deltatags-test/deltatags.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/deltatags-test/deltatags.h -------------------------------------------------------------------------------- /deltatags-test/fault_handler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/deltatags-test/fault_handler.h -------------------------------------------------------------------------------- /deltatags-test/runtests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/deltatags-test/runtests.sh -------------------------------------------------------------------------------- /deltatags-test/test_arith_geps.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/deltatags-test/test_arith_geps.c -------------------------------------------------------------------------------- /deltatags-test/test_arith_neg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/deltatags-test/test_arith_neg.c -------------------------------------------------------------------------------- /deltatags-test/test_exec.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/deltatags-test/test_exec.c -------------------------------------------------------------------------------- /deltatags-test/test_fork.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/deltatags-test/test_fork.c -------------------------------------------------------------------------------- /deltatags-test/test_global_string_free.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/deltatags-test/test_global_string_free.cpp -------------------------------------------------------------------------------- /deltatags-test/test_implicitcast.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/deltatags-test/test_implicitcast.c -------------------------------------------------------------------------------- /deltatags-test/test_iovec.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/deltatags-test/test_iovec.c -------------------------------------------------------------------------------- /deltatags-test/test_libptr_copyfromarg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/deltatags-test/test_libptr_copyfromarg.c -------------------------------------------------------------------------------- /deltatags-test/test_libptr_copyfromarg_cpp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/deltatags-test/test_libptr_copyfromarg_cpp.cpp -------------------------------------------------------------------------------- /deltatags-test/test_libptr_ptrdiff.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/deltatags-test/test_libptr_ptrdiff.c -------------------------------------------------------------------------------- /deltatags-test/test_libptr_retsize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/deltatags-test/test_libptr_retsize.c -------------------------------------------------------------------------------- /deltatags-test/test_libptr_strlen.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/deltatags-test/test_libptr_strlen.c -------------------------------------------------------------------------------- /deltatags-test/test_libptr_strtok.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/deltatags-test/test_libptr_strtok.c -------------------------------------------------------------------------------- /deltatags-test/test_mask.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/deltatags-test/test_mask.c -------------------------------------------------------------------------------- /deltatags-test/test_memintrinsics.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/deltatags-test/test_memintrinsics.c -------------------------------------------------------------------------------- /deltatags-test/test_nullptr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/deltatags-test/test_nullptr.c -------------------------------------------------------------------------------- /deltatags-test/test_old.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/deltatags-test/test_old.c -------------------------------------------------------------------------------- /deltatags-test/test_oob.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/deltatags-test/test_oob.c -------------------------------------------------------------------------------- /deltatags-test/test_simple.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/deltatags-test/test_simple.c -------------------------------------------------------------------------------- /llvm-passes/AddressSpace.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/llvm-passes/AddressSpace.cpp -------------------------------------------------------------------------------- /llvm-passes/AddressSpace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/llvm-passes/AddressSpace.h -------------------------------------------------------------------------------- /llvm-passes/CheckAddressSpace.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/llvm-passes/CheckAddressSpace.cpp -------------------------------------------------------------------------------- /llvm-passes/DebugNegArith.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/llvm-passes/DebugNegArith.cpp -------------------------------------------------------------------------------- /llvm-passes/DeltaTagAlloc.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/llvm-passes/DeltaTagAlloc.cpp -------------------------------------------------------------------------------- /llvm-passes/DeltaTagProp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/llvm-passes/DeltaTagProp.cpp -------------------------------------------------------------------------------- /llvm-passes/GlobalOpt.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/llvm-passes/GlobalOpt.cpp -------------------------------------------------------------------------------- /llvm-passes/GlobalOpt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/llvm-passes/GlobalOpt.h -------------------------------------------------------------------------------- /llvm-passes/LibPtrRet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/llvm-passes/LibPtrRet.h -------------------------------------------------------------------------------- /llvm-passes/MagicTags.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/llvm-passes/MagicTags.cpp -------------------------------------------------------------------------------- /llvm-passes/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/llvm-passes/Makefile -------------------------------------------------------------------------------- /llvm-passes/MaskPointers.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/llvm-passes/MaskPointers.cpp -------------------------------------------------------------------------------- /llvm-passes/ReinterpretedPointers.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/llvm-passes/ReinterpretedPointers.cpp -------------------------------------------------------------------------------- /llvm-passes/ReinterpretedPointers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/llvm-passes/ReinterpretedPointers.h -------------------------------------------------------------------------------- /llvm-passes/ReplaceAddressTakenMalloc.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/llvm-passes/ReplaceAddressTakenMalloc.cpp -------------------------------------------------------------------------------- /llvm-passes/RuntimeStats.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/llvm-passes/RuntimeStats.cpp -------------------------------------------------------------------------------- /llvm-passes/SafeAllocs.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/llvm-passes/SafeAllocs.cpp -------------------------------------------------------------------------------- /llvm-passes/SafeAllocs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/llvm-passes/SafeAllocs.h -------------------------------------------------------------------------------- /llvm-passes/SafeAllocsOld.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/llvm-passes/SafeAllocsOld.cpp -------------------------------------------------------------------------------- /llvm-passes/SafeAllocsOld.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/llvm-passes/SafeAllocsOld.h -------------------------------------------------------------------------------- /llvm-passes/TagGlobals.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/llvm-passes/TagGlobals.cpp -------------------------------------------------------------------------------- /llvm-passes/TagGlobalsConst.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/llvm-passes/TagGlobalsConst.cpp -------------------------------------------------------------------------------- /llvm-passes/TagGlobalsConst.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/llvm-passes/TagGlobalsConst.h -------------------------------------------------------------------------------- /llvm-passes/UboundBranch.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/llvm-passes/UboundBranch.cpp -------------------------------------------------------------------------------- /patches/spec2006-gcc.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/patches/spec2006-gcc.patch -------------------------------------------------------------------------------- /patches/spec2006-h264ref-sizetagprop-BCBP.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/patches/spec2006-h264ref-sizetagprop-BCBP.patch -------------------------------------------------------------------------------- /patches/spec2006-perlbench.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/patches/spec2006-perlbench.patch -------------------------------------------------------------------------------- /patches/spec2006-soplex.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/patches/spec2006-soplex.patch -------------------------------------------------------------------------------- /runtime/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/runtime/Makefile -------------------------------------------------------------------------------- /runtime/addrspace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/runtime/addrspace.h -------------------------------------------------------------------------------- /runtime/debug.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/runtime/debug.c -------------------------------------------------------------------------------- /runtime/libptrret.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/runtime/libptrret.c -------------------------------------------------------------------------------- /runtime/mask-wrappers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/runtime/mask-wrappers.c -------------------------------------------------------------------------------- /runtime/mask.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/runtime/mask.c -------------------------------------------------------------------------------- /runtime/runtimestats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/runtime/runtimestats.c -------------------------------------------------------------------------------- /runtime/source-instrumentation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/runtime/source-instrumentation.h -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/vusec/deltapointers/HEAD/setup.py --------------------------------------------------------------------------------