Published October 20, 2025
| Version 0.2.4
Software
Open
SV-sanitizers in SV-COMP 2026
Description
SV-sanitizers verifier submitted to SV-COMP 2026.
Files
sv-sanitizers.zip
Files
(7.9 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:1b3abaafa031f301ec3f11b96f449e77
|
7.9 kB | Preview Download |
Additional details
Software
- Repository URL
- https://github.com/sim642/sv-sanitizers/
- Programming language
- Python
- Development Status
- Active