Binary-level data dependence analysis of hot execution regions using abstract interpretation at runtime

• Rasha Omar ,

  Roles Conceptualization, Data curation, Formal analysis, Investigation, Methodology, Resources, Software, Validation, Visualization, Writing – original draft, Writing – review & editing

  * E-mail: rasha.omar@ejust.edu.eg

  Affiliations Department of Computer Science and Engineering, Egypt-Japan University of Science and Technology, Alexandria, Egypt, Faculty of Computers and Artificial Intelligence, Benha University, Qalyubia, Egypt

  http://orcid.org/0000-0003-0000-4311

  ⨯
• Mostafa Abbas,

  Roles Conceptualization, Data curation, Formal analysis, Investigation, Methodology, Resources, Software, Validation, Visualization, Writing – original draft

  Affiliation Department of Computer Science and Engineering, Egypt-Japan University of Science and Technology, Alexandria, Egypt

  ⨯
• Ahmed El-Mahdy,

  Roles Formal analysis, Funding acquisition, Investigation, Methodology, Project administration, Resources, Software, Supervision, Writing – review & editing

  Affiliations Department of Computer Science and Engineering, Egypt-Japan University of Science and Technology, Alexandria, Egypt, Alexandria University, Alexandria, Egypt

  http://orcid.org/0000-0001-9736-1352

  ⨯
• Erven Rohou

  Roles Conceptualization, Investigation, Methodology, Resources, Software, Supervision, Writing – review & editing

  Affiliation Univ Rennes, Inria, CNRS, IRISA, Rennes, France

  ⨯