Hello, I found that the seeds are of type ForwardQuery, and after solving it with Boomerang, the result seems to be all the edges reachable from the seed on the control flow graph, and then the result is filtered. My understanding of the query result of ForwardQuery seems to be wrong, can you help me, thanks a lot!
Hello, I found that the seeds are of type ForwardQuery, and after solving it with Boomerang, the result seems to be all the edges reachable from the seed on the control flow graph, and then the result is filtered. My understanding of the query result of ForwardQuery seems to be wrong, can you help me, thanks a lot!