Abstract: Preprocessor-aware static analysis tools are needed for C Code to gain sound knowledge about the interference among all conditionally compiled program parts. We provide formal descriptions ...

I am working on a project for my compilers class and I am trying to wrap my head around the concept of an immediate dominator. I can find the strict dominators of basic blocks in a control flow graph, ...

Graphs are a model of many real world phenomena, e.g., social networks, road networks, electricity networks, control flow graphs of computer programs. We study efficient algorithms to solve research ...

Abstract: In recent years, control flow graphs (CFGs) have gained increasing prominence in binary vulnerability detection due to their comprehensive representation of a program's execution paths.