Open AccessBINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-level Analysis
Author(s) -
Robin David,
Sébastien Bardin,
Ta, Thanh,,
Josselin Feist,
Laurent Mounier,
Marie-Laure Potet,
Marion, Jean-Yves
Publication year - 2016
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , symbolic execution , programming language , binary number , parallel computing , symbolic data analysis , theoretical computer science , arithmetic , software , mathematics