Working around loops for infeasible path detection in binary programs - Université Toulouse III - Paul Sabatier - Toulouse INP Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Working around loops for infeasible path detection in binary programs

Domaines

Informatique [cs]

Documentation IRIT  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03116310

Soumis le : mercredi 20 janvier 2021-11:26:23

Dernière modification le : lundi 20 novembre 2023-11:44:21

Fichier non déposé

Dates et versions

hal-03116310 , version 1 (20-01-2021)

Identifiants

  • HAL Id : hal-03116310 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS SMS UT1-CAPITOLE IRIT IRIT-TRACES IUT-BLAGNAC IRIT-ASR TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
24 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More