search

avatartwo / avatar2

Python core of avatar²
Apache License 2.0
516 stars 99 forks source link

where is the angr target? #58

Open jinjing750629 opened 3 years ago

jinjing750629 commented 3 years ago

Dear Sir

I saw there is a angr target inside avatar2's publication. But I can't find it anywhere in the source code. How can I connect angr to get symbolic execution from avatar2?

Thanks

mariusmue commented 3 years ago

We currently don't have an active maintainer for the angr-target. Hence, it is out of date/based off an old version of angr. You can find the code in this branch: https://github.com/avatartwo/avatar2/tree/dev/angr_target

When it comes to the paper, the full examples, including code, are at https://github.com/avatartwo/bar18_avatar2 - which uses avatar2 at the code tag https://github.com/avatartwo/avatar2/tree/bar18_avatar2.

AdamVanScyoc commented 3 years ago

Isn't that what is? https://github.com/angr/angr-targets

mariusmue commented 3 years ago

No, these are the targets of angr, which reimplement the avatar2 target API for interoperability. So, it's the way angr can talk with different software, e.g, avatar2 - and not the other way around.

AlexCasual commented 2 years ago

Hi, what about adopt old version of angr-target for new version of angr?