yxliang
@xf97 Right. My understanding is that you are surveying different smart contract vulnerability detection tools. There are multiple papers have sort of surveyed the famous tools at the time they...
@xf97 Just my 2 cents, I haven't seen any open-source detection tool covers all known vulnerabilities. While it's possible, there is also some constraints of the techniques they are based...
The master branch Oyente can run under Python 3 without issue. Although you can see Python 2 syntax, but they are translated when running under Python 3. Can you paste...
The version on Pypi (installed by pip) is very outdated. You should install from this GitHub Repo and it has been working fine for me and my team members.
#320 has been merged. Is this issue still relevant? @vietlq
@oldgoubi Then have you add the `cmd` folder to your `PATH`?
@goyalvartul Is this issue still relevant? If not, maybe can close.
Please see https://github.com/melonproject/oyente/pull/341
@renardbebe Could you paste the Oyente terminal output here as code block?