Skip to content

Update dartagnan DOI (now with no-overflow and memsafety support)

Hernan Ponce de Leon requested to merge (removed):main into main

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

Merge request reports