Exceptional Interprocedural Control Flow Graphs for x86-64 Binaries.

Joshua A. Bockenek Freek Verbeek Binoy Ravindran

Published in: DIMVA (2024)

Keyphrases

control flow
data flow
process model
software testing
graph matching
transition systems
modeling language
directed graph
graph theory
reactive systems
memory hierarchy
databases
information technology
weighted graph
business process models