Closed lzhfromustc closed 3 years ago
Bridges package checkers/bmoc and syncgraph Added the largest functions for syncgraph: how to go through each instruction in CFG and callgraph, and record what we need into SyncGraph
Bridges package checkers/bmoc and syncgraph Added the largest functions for syncgraph: how to go through each instruction in CFG and callgraph, and record what we need into SyncGraph