https://github.com/sim642/sv-sanitizers

SV-COMP wrapper for sanitizers
https://github.com/sim642/sv-sanitizers

sanitizer sanitizers sv-comp svcomp thread-sanitizer threadsanitizer

Last synced: 6 months ago
JSON representation

SV-COMP wrapper for sanitizers

• Host: GitHub
• URL: https://github.com/sim642/sv-sanitizers
• Owner: sim642
• License: mit
• Created: 2023-10-25T15:55:57.000Z (almost 2 years ago)
• Default Branch: master
• Last Pushed: 2024-11-16T08:17:42.000Z (11 months ago)
• Last Synced: 2025-02-09T23:49:46.978Z (8 months ago)
• Topics: sanitizer, sanitizers, sv-comp, svcomp, thread-sanitizer, threadsanitizer
• Language: Python
• Homepage: https://github.com/google/sanitizers
• Size: 55.7 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 4
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

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