oyente
oyente copied to clipboard
enzymefinance
An Analysis Tool for Smart Contracts
Hi, I've been working on a bounded model checker (I've been calling it OBMC) based on Oyente (it's in my fork, branch master). The approach is different from Oyente's, in...
Hello, I am interested in this tool and played a bit with it. So far Oyente told me that the following contract is vulnerable regarding `reentrancy` bug: https://etherscan.io/address/0xd4fa166d5ffe8f78230fc05e6850881dc08b2da2#code However, it...
I was able to reproduce on nearly any contract. Using an older version (in my case `4.5.1.0`) solved the issue. Maybe consider providing constraints in a `requirement.txt` or in `setup.py`?...
https://github.com/ethereum/go-ethereum/releases/tag/v1.8.17 > Use hex addresses in EVM assembly dumps (#17870). This is causing errors in `symExec.py` as the hex values are sneaking into the tokenized output. I have verified that...
Hi @luongnt95 we are trying to fix false positive results in Augur project for * Assertion Failures * Re-Entrancy Vulnerability See https://github.com/AugurProject/augur-core/issues/689 Is there a feasible way to achieve this...
I have been write a test contract,the code is ``` pragma solidity ^0.4.23; contract Test{ function t() returns (uint8){ uint8 a = 255; uint8 b = 1; return a+b; }...
WARNING:root:You are using evm version 1.8.2. The supported version is 1.7.3 WARNING:root:You are using solc version 0.4.21, The latest supported version is 0.4.19 CRITICAL:root:Solidity compilation failed. Please use -ce flag...
``` solidity@mastermind:~/Documents/Code/RTradeLtd/RT-Contracts$ pip2 install oyente Collecting oyente Downloading https://files.pythonhosted.org/packages/13/3c/52b8dee604cbdf35c1d65a141b779d9c14c8d313251c697b40a93f58d3d5/oyente-0.2.7-py2-none-any.whl (43kB) 100% |████████████████████████████████| 51kB 85kB/s Collecting web3 (from oyente) Downloading https://files.pythonhosted.org/packages/4b/6e/9d1a04dfd17b20ccf7c768eaf3d4c4e1840e511be8d97ba1ccc9ca70af42/web3-4.4.1.tar.gz (93kB) 100% |████████████████████████████████| 102kB 87kB/s web3 requires Python '>=3.5,
The latest solidity version is 0.2.24. compilation error will be thrown if i am using 0.2.24
What's the quickest/easiest way to run Oyente on a file containing multiple contracts, and viewing reports for every contract that appears in the file. Currently, Oyente produces just one consolidated...
