Taint Analysis of Security Code in the KLEE symbolic execution engine

Ricardo Corin and Felipe Manzano, UNC FAMAF

To be presented at ICICS 2012

Supporting files:

  • PDF of the Paper
  • Shell script for downloading KLEE and applying patch (use at your own risk!)
  • PATCH of KLEE
    •