3 Einträge gefunden

1. BDD-based value analysis for X86 executables

   1. Mattsen, Sven

   2017 - TUHH Open Research - frei zugänglich
2. A non-convex abstract domain for the value analysis of binaries

   1. Mattsen, Sven
   2. Wichmann, Arne
   3. Schupp, Sibylle

   2015 - TUHH Open Research
3. Driving a sound static software analyzer with branch-and-bound

   1. Mattsen, Sven
   2. Cuoq, Pascal
   3. Schupp, Sibylle

   2013 - TUHH Open Research