search

ucsb-seclab / karonte

Karonte is a static analysis tool to detect multi-binary vulnerabilities in embedded firmware
BSD 2-Clause "Simplified" License
384 stars 61 forks source link

please add installation script/support for Python 3 #11

Closed docfate111 closed 1 year ago

docfate111 commented 3 years ago

This looks really cool and enjoyed the Black Hat talk. It is rough to install angr on python2 especially the version this project uses To run on Python3 I ran `2to3 -w . then removed the dot from every dot import from .a import b -> from a import b Looking from the website SimEngineVEX isn't supported for Python 2 or 3 anymore. Is there a specific version of angr I need and how should I install it?

Traceback (most recent call last):
  File "/Users/thelshell/Documents/Code/karonte/tool/karonte.py", line 6, in <module>
    from binary_dependency_graph import BinaryDependencyGraph
  File "/Users/thelshell/Documents/Code/karonte/tool/binary_dependency_graph/__init__.py", line 1, in <module>
    from .binary_dependency_graph import *
  File "/Users/thelshell/Documents/Code/karonte/tool/binary_dependency_graph/binary_dependency_graph.py", line 4, in <module>
    import simuvex
  File "/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/simuvex/__init__.py", line 14, in <module>
    from angr.engines import SimEngine, SimSuccessors, SimEngineVEX, SimEngineProcedure, SimEngineUnicorn
ImportError: cannot import name 'SimEngineVEX' from 'angr.engines' (/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/angr/engines/__init__.py)
BlackIce417 commented 1 year ago

so one year passed , did you find the solution to this problem ?

badnack commented 1 year ago

Hello,

So sorry I never replied to this email, it must've fallen within the cracks :-) We actually put some effort into converting Karonte to python3, @Andrea Continella @.***> is the code available somwhere?

Best, Nilo

On Wed, 28 Sept 2022 at 00:40, BlackIce417 @.***> wrote:

so one year passed , did you find the solution to this problem ?

— Reply to this email directly, view it on GitHub https://github.com/ucsb-seclab/karonte/issues/11#issuecomment-1260511130, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAH5GZGMZWY7YCBBXTZSA7DWAPY5TANCNFSM443V3L7A . You are receiving this because you are subscribed to this thread.Message ID: @.***>

-- Nilo Redini, Ph.D.

Website: www.badnack.it Twitter: badnack

conand commented 1 year ago

Yes, the support for python3 has been merged into master in September 2021.