secucheck icon indicating copy to clipboard operation
secucheck copied to clipboard

Published 20 hours ago • verified publisher icon secure-software-engineering

The result of ForwardQuery.

Open dyd1024 opened this issue 3 years ago • 1 comments

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!

dyd1024 avatar Sep 28 '22 14:09 dyd1024

I found the answer in your paper, thanks a lot!

dyd1024 avatar Sep 29 '22 07:09 dyd1024