[angr] VSA_DDG not working

Xi Liang xiliang at uchicago.edu
Mon Mar 12 09:22:44 PDT 2018


Hi Fish,

Thanks for the reply, somehow the email was sent to my spam folder.
I will create an issue on GitHub.

Thanks,
Leo

On Thu, Jan 25, 2018 at 11:03 AM, Fish Wang <fish at cs.ucsb.edu> wrote:

> Sorry for the late reply.
>
>
>
> VSA_DDG is more accurate if it works :-)
>
>
>
> I’m a bit busy recently, but I will take a look at VSA_DDG whenever I have
> a chance (most likely, one of the upcoming weekends).
>
>
>
> Can you please create an issue on GitHub so I can track it? Thank you!
>
>
>
> Best,
>
> Fish
>
>
>
> *From:* angr [mailto:angr-bounces at lists.cs.ucsb.edu] *On Behalf Of *Xi
> Liang
> *Sent:* Saturday, January 20, 2018 4:29 AM
> *To:* angr at lists.cs.ucsb.edu
> *Subject:* [angr] VSA_DDG not working
>
>
>
> Hi everyone,
>
>
>
> I'm trying to get vsa_ddg working by
>
>
>
> cfg = proj.analyses.CFGAccurate(context_sensitivity_level=2,
> keep_state=True,
>                                     normalize=True,
>                                     state_add_options=angr.sim_options.refs
>
>                                     )
>
> vfg = proj.analyses.VFG(cfg, function_start=cfg.functions['main'].addr,
>                             context_sensitivity_level=2,
> interfunction_level=0,
>                             #remove_options={ angr.options.OPTIMIZE_IR }
>                             )
> vddg = proj.analyses.VSA_DDG(vfg, start_addr=cfg.functions['main'].addr)
>
>
>
> The same binary works with DDG, but vddg.graph.nodes is empty, any idea
> why?
>
>
>
> And I'm trying VSA_DDG because the doc string says it is more accurate, is
> it still the case?
>
>
>
> Thanks,
>
> Leo
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cs.ucsb.edu/pipermail/angr/attachments/20180312/30459a01/attachment-0001.html>


More information about the angr mailing list