/sv-sanitizers

SV-COMP wrapper for sanitizers

Primary LanguagePythonMIT LicenseMIT

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).