sv-sanitizers

SV-COMP wrapper for sanitizers

Currently supports:

no-data-race property via ThreadSanitizer (TSan).
valid-memsafety properties:
- valid-deref property via AddressSanitizer (ASan).
- valid-free property via AddressSanitizer (ASan).
- valid-memtrack property via LeakSanitizer (LSan).
valid-memcleanup property via LeakSanitizer (LSan).
no-overflow property via UndefinedBehaviorSanitizer (UBSan).

Name		Name	Last commit message	Last commit date
Latest commit History 50 Commits
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
suppressions.txt		suppressions.txt
sv-comp-archive.sh		sv-comp-archive.sh
sv-comp.c		sv-comp.c
sv-sanitizers.py		sv-sanitizers.py

Provide feedback