A project that aims to confirm true positives from off-the-shelf static analysers by following their traces with KLEE.

Overview

Coming soon!

Artefact

The artefact page is available here.