Closed behnamben closed 4 years ago
Hi,
The ddg feature of angr wasn’t mature when we were developing jn-saf. You can refactor the code to adapt the latest angr.
On Wednesday, March 25, 2020, behnam notifications@github.com wrote:
I was wondering why we should use Annotation based Dataflow Analysis in JN-SAF when we can simply use Data Dependence Graph in angr? Its easier and more percise...
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/arguslab/Argus-SAF/issues/72, or unsubscribe https://github.com/notifications/unsubscribe-auth/ADX6JZTGAZINL7PNLIHFND3RJID2NANCNFSM4LTO2MXA .
-- Best regards, Xingwei Lin
I was wondering why we should use Annotation based Dataflow Analysis in JN-SAF gen_summery when we can simply use Data Dependence Graph in angr? Its easier and more percise...