https://github.com/google/sanitizers
Tip revision: 9f6ef864d79868996299b9e61d35f8a0848cec47 authored by Florian Mayer on 25 March 2024, 17:15:57 UTC
Explain prove_hwasanwrap can be run with z3
Explain prove_hwasanwrap can be run with z3
Tip revision: 9f6ef86
File | Mode | Size |
---|---|---|
check_registers | ||
Hardware Memory Tagging to make C_C++ memory safe(r) - iSecCon 2018.pdf | -rw-r--r-- | 1.6 MB |
MTE-iSecCon-2018.pdf | -rw-r--r-- | 1.6 MB |
MarkUs-GC.md | -rw-r--r-- | 6.5 KB |
Memory tagging in LLVM and Android - LLVM DevMtg 2020.pdf | -rw-r--r-- | 268.9 KB |
Top-byte-ignore and memory tagging_ Why would RISC-V care.pdf | -rw-r--r-- | 160.7 KB |
create_qemu_image.sh | -rwxr-xr-x | 2.1 KB |
dumptags.cc | -rw-r--r-- | 5.4 KB |
kernel-untag.patch | -rw-r--r-- | 3.9 KB |
login_summer19_03_serebryany.pdf | -rw-r--r-- | 238.6 KB |
outlined_calling_convention.h | -rw-r--r-- | 548.4 KB |
plemm-2019.pdf | -rw-r--r-- | 179.5 KB |
prove_hwasanwrap.smt2 | -rw-r--r-- | 1.7 KB |
run_in_qemu_with_lam.sh | -rwxr-xr-x | 4.3 KB |
scan.cc | -rw-r--r-- | 7.1 KB |
sort_masks.py | -rw-r--r-- | 920 bytes |