Accès ouvert

XEGMAP: Adaptive Symbolic Execution for Race Condition Detection in Binary Programs

Article scientifique 2026 Autre

Résumé

Citer ce document

Makan, K., Ghaziasgar, M. (2026). XEGMAP: Adaptive Symbolic Execution for Race Condition Detection in Binary Programs. https://doi.org/10.21203/rs.3.rs-9969464/v1

Accès au document

Texte intégral en lecture en ligne, réservé aux abonnés SPHAERO et aux membres de l'institution. Se connecter

Voir l'article sur le site de la revue

Auteur(s)

Keith Makan Mehrdad Ghaziasgar

Statistiques

Consultations : 1

Téléchargements : 0