Skip to Main content Skip to Navigation
Conference papers

Working around loops for infeasible path detection in binary programs

Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03116310
Contributor : Françoise Grélaud Connect in order to contact the contributor
Submitted on : Wednesday, January 20, 2021 - 11:26:23 AM
Last modification on : Tuesday, October 19, 2021 - 11:59:01 AM

Identifiers

  • HAL Id : hal-03116310, version 1

Citation

Jordy Ruiz, Hugues Cassé, Marianne de Michiel. Working around loops for infeasible path detection in binary programs. IEEE International Working Conference on Source Code Analysis and Manipulation, Sep 2017, Shanghai, China. pp.1--10. ⟨hal-03116310⟩

Share

Metrics

Record views

24