Creates functions prev_blocks_global, next_blocks_global which, given a basic block of new CFG, give the previous, next blocks in the old global CFG. These helpers are used in detectors to enumerate paths similar to the old CFG.
While reading the transaction context information and while returning the output, the new basic blocks are converted to old basic blocks to reuse the tests.
S3v3ru5
commented
1 year ago
Creates functions prev_blocks_global, next_blocks_global which, given a basic block of new CFG, give the previous, next blocks in the old global CFG. These helpers are used in detectors to enumerate paths similar to the old CFG.
While reading the transaction context information and while returning the output, the new basic blocks are converted to old basic blocks to reuse the tests.