A pre-constructed call graph is a prerequisite for interprocedural analysis. However, the exhaustive call graph construction, i.e., analyzing the target program as a whole and constructing from ...

The directed fuzzer AFLGo utilizes abstract representations, such as call graphs and control-flow graphs, of the SUT to accomplish directedness. These representations however do not consider indirect ...