Taint Analysis of Security Code in the KLEE Symbolic Execution Engine.

Ricardo Corin, Felipe Andrs Manzano

Browse the full ICICS paper archive.