SMT-Constrained Symbolic Execution Engine for Integer Overflow Detection in C Code presented at ISSA 2015

by Claudia Eckert, Paul Muntean, Mustafizur Rahman, Andreas Ibing,

Summary : N/A