[IEEE 2016 IEEE 23rd International Conference on Software Analysis, Evolution and Reengineering (SANER) - Suita (2016.3.14-2016.3.18)] 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER) - BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis
David, Robin; Bardin, Sebastien; Ta, Thanh Dinh; Mounier, Laurent; Feist, Josselin; Potet, Marie-Laure; Marion, Jean-Yves
- 作者David, Robin; Bardin, Sebastien; Ta, Thanh Dinh; Mounier, Laurent; Feist, Josselin; Potet, Marie-Laure; Marion, Jean-Yves
- 文件大小333.27KB
- 发表时间2016
- DOI10.1109/SANER.2016.43
- 页码653-656