Posted on July 5, 2016 by Marko Dimjašević My first bug in a Debian package that I found with KLEE got confirmed and fixed, bug report #829010! Tags: Debian, dynamic symbolic execution, Google Summer of Code, hostname, KLEE, ephemera, free software