GitHub - hardenedlinux/memory-safety-coverage-test: Memory safety coverage test upon sanitizers and Fil-C

Meory safety coverage tests

Bug type	Sanitizers	Fil-C	Clang bounds-safety
0-out-of-bounds-access.c	YES (ASAN)	NO	NO
2-out-of-bounds-access.c	YES (ASAN)	YES	NO
3-out-of-bounds-in-bounds.c	YES (ASAN)	YES	NO
1-overflowing-out-of-bounds.c	NO (ASAN)	YES	N/A
4-bad-syscall.c	NO (ASAN)	YES	N/A
5-type-confusion.c	NO (ASAN)	YES	N/A
6-use-after-free.c	YES (ASAN)	YES	N/A
7-pointer-races.c	YES (ASAN/TSAN)	Partially	N/A
8-data-races.c	YES (TSAN)	NO	N/A
9-stack-use-after-return.c	YES (ASAN)	NO	N/A

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
0-out-of-bounds-access.c		0-out-of-bounds-access.c
1-overflowing-out-of-bounds.c		1-overflowing-out-of-bounds.c
2-out-of-bounds-access.c		2-out-of-bounds-access.c
3-out-of-bounds-in-bounds.c		3-out-of-bounds-in-bounds.c
4-bad-syscall.c		4-bad-syscall.c
5-type-confusion.c		5-type-confusion.c
6-use-after-free.c		6-use-after-free.c
7-pointer-races.c		7-pointer-races.c
8-data-races.c		8-data-races.c
9-stack-use-after-return.c		9-stack-use-after-return.c
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md