oyente
oyente copied to clipboard
enzymefinance
An Analysis Tool for Smart Contracts
Hi, We are about to change `CryticCompile` to add the support for multiple compilation units (https://github.com/crytic/crytic-compile/pull/167). The reason is that it's a feature that we are seeing more and more...
How can we figure out the cause the contract is detected with the reentracny bug?Out of gas or condition still hold?
Bumps [elliptic](https://github.com/indutny/elliptic) from 6.4.0 to 6.5.4. Commits 43ac7f2 6.5.4 f4bc72b package: bump deps 441b742 ec: validate that a point before deriving keys e71b2d9 lib: relint using eslint 8421a01 build(deps): bump...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
I installed the docker container and build it. I transferred my `Contract.sol` file into the directory. But the `docker` container is configured with an older version with the command `solc`....
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",...
Hi, just wondering if there is any plan to support solidity 0.6.x? I received a compilation fail as the solidity compiler seems to remain at 0.4.19 ``` WARNING:root:You are using...
This pr introduces support for new opcodes : - SHR - SHL - SAR - EXTCODEHASH - CREATE2
Hi, is the last solidity supported 0.4.24? (I tried to compile contract using 0.5.x release and I receive an error). Is there a way to overcome these limitations?
Oyente has been using the root logger of the logging library. This can be problematic when using external libraries that also use the logging library. We should create the corresponding...
