scat: Learning from a Single Execution of a Binary

Franck de Goër (1) , Christopher Ferreira , Laurent Mounier (2)

1 VASCO - Validation de Systèmes, Composants et Objets logiciels
2 VERIMAG - IMAG - VERIMAG

Retrieving information from a binary code is required in several application domains such as system integration or security analysis. Providing tools to help engineers in this task is therefore an important need. We present in this paper scat, an open-source toolbox, relying on lightweight runtime instru-mentation to infer source-level and behavioral information from a binary code, like function prototypes or data-flow relations. We explain the functioning principle of this toolbox, and we give some results obtained on real examples to show its effectiveness.

Mots clés: Reverse-engineering; data-flow; binary code; dynamic analysis; memory allocation

Domaines: Génie logiciel [cs.SE]

Franck de Goër, Christopher Ferreira, Laurent Mounier. scat: Learning from a Single Execution of a Binary. IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER), 2017, Klagenfurt, Austria. ⟨hal-02062344⟩