search

enzymefinance / oyente

An Analysis Tool for Smart Contracts
GNU General Public License v3.0
1.32k stars 309 forks source link

Option -r has issues #413

Open fang19911030 opened 3 years ago

fang19911030 commented 3 years ago

I used the docker to start oyente

When I tried the command: python oyente.py -s xxx.sol -r, there are some errors reported.

Traceback (most recent call last):
  File "/oyente/oyente/oyente.py", line 221, in <module>
    main()
  File "/oyente/oyente/oyente.py", line 216, in main
    exit_code = analyze_solidity()
  File "/oyente/oyente/oyente.py", line 109, in analyze_solidity
    results, exit_code = run_solidity_analysis(inputs)
  File "/oyente/oyente/oyente.py", line 86, in run_solidity_analysis
    result, return_code = symExec.run(disasm_file=inp['disasm_file'], source_map=inp['source_map'], source_file=inp['source'])
  File "/oyente/oyente/symExec.py", line 2458, in run
    ret = detect_vulnerabilities()
  File "/oyente/oyente/symExec.py", line 2290, in detect_vulnerabilities
    rfile.write(str(stop-begin))
NameError: global name 'begin' is not defined