Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
Mossberg, Mark, Manzano, Felipe, Hennenfent, Eric, Groce, Alex, Grieco, Gustavo, Feist, Josselin, Brunson, Trent, Dinaburg, Artem
Published in 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.11.2019)
Published in 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.11.2019)
Get full text
Conference Proceeding
Statically detecting use after free on binary code
Feist, Josselin, Mounier, Laurent, Potet, Marie-Laure
Published in Journal of computer virology and hacking techniques (01.08.2014)
Published in Journal of computer virology and hacking techniques (01.08.2014)
Get full text
Journal Article
Evaluating and Improving Static Analysis Tools Via Differential Mutation Analysis
Groce, Alex, Ahmed, Iftekhar, Feist, Josselin, Grieco, Gustavo, Gesi, Jiri, Meidani, Mehran, Chen, Qihong
Published in 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS) (01.12.2021)
Published in 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS) (01.12.2021)
Get full text
Conference Proceeding
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
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
Mossberg, Mark, Manzano, Felipe, Hennenfent, Eric, Groce, Alex, Grieco, Gustavo, Feist, Josselin, Brunson, Trent, Dinaburg, Artem
Year of Publication 08.07.2019
Year of Publication 08.07.2019
Get full text
Journal Article