oyente
oyente copied to clipboard
enzymefinance
An Analysis Tool for Smart Contracts
Running latest Oyente on contract: https://etherscan.io/address/0xae98b0e0c112b6d85ba32ff521b051f3fb2bafab#code extracted binary via etherscan API: [0xae98b0e0c112b6d85ba32ff521b051f3fb2bafab.txt](https://github.com/enzymefinance/oyente/files/8008155/0xae98b0e0c112b6d85ba32ff521b051f3fb2bafab.txt) Many other contracts pass this way. cmd `docker start oyente_cont && docker exec -i oyente_cont python /oyente/oyente/oyente.py --compilation-error...
I noticed while trying to install oyente that it only seems to work for Python 2 which has been deprecated for a few years. Would it be possible to update...
Error: Expected identifier, got 'LParen' constructor(address _strategist) ERC20("Nuggies AlcxVault", "nALCX") { I get this error when using oyente from docker.
Bumps [cached-path-relative](https://github.com/ashaffer/cached-path-relative) from 1.0.1 to 1.1.0. Commits See full diff in compare view [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) Dependabot will resolve any conflicts with this PR as long as you don't alter...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
From this line https://github.com/enzymefinance/oyente/blob/69dc0a905d37ae27e9055ccae930e30752b398fb/oyente/oyente.py#L63 we can see that the latest supported solc version is 0.4.19, and `ast_walker.py` apparently doesn't support the AST structure generated by solc 0.8.x. Is there any...
While starting the docker container i am getting the below error. ``` root@testing:/home/ubuntu/oyente/oyente# docker run -it -p 3000:3000 -e "OYENTE=/oyente/oyente" oyente:latest Traceback (most recent call last): File "/oyente/oyente/oyente.py", line 14,...
When leaving the block, the counter of the current edge should decrease by 1. For example: Executing ```1-5-2-7-Terminal``` and ```1-6-2-7-Terminal```. Before this commit: The ``visit_edges["2-7"]`` is 1 and 2. After...
Bumps [path-parse](https://github.com/jbgutierrez/path-parse) from 1.0.5 to 1.0.7. Commits See full diff in compare view [](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) Dependabot will resolve any conflicts with this PR as long as you don't alter...
Bumps [addressable](https://github.com/sporkmonger/addressable) from 2.5.2 to 2.8.0. Changelog Sourced from addressable's changelog. Addressable 2.8.0 fixes ReDoS vulnerability in Addressable::Template#match no longer replaces + with spaces in queries for non-http(s) schemes fixed...
Hello Group, I am researching on various tools for detecting smart contract vulnerabilities and came across Oyente. Through certain documents along with running some tests ran locally on my system,...
