BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis
David, Robin, Bardin, Sebastien, Thanh Dinh Ta, Mounier, Laurent, Feist, Josselin, Potet, Marie-Laure, Marion, Jean-Yves
Published in 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER) (01.03.2016)
Published in 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER) (01.03.2016)
Get full text
Conference Proceeding