SMT-Constrained Symbolic Execution Engine for Integer Overflow Detection in C Code

No ratings

Presented at ISSA 2015 by

Claudia Eckert

Paul Muntean

Mustafizur Rahman

Andreas Ibing

N/A