The source project of this merge request has been removed.
Update dartagnan DOI (now with no-overflow and memsafety support)
This MR adds a new version of dartagnan, now with support for checking overflows and memsafety. The check is performed by instrumenting the verification task with UBSAN, converting the UBSAN-calls into assertions, and performing a reachability analysis using the instrumented code.
Edited by Hernan Ponce de Leon