oyente
oyente copied to clipboard
enzymefinance
An Analysis Tool for Smart Contracts
**disasm is missing. Please install go-ethereum and make sure that disasm is in path.** This is above error message that I am getting when running oyente file. Please suggest what...
What are 'sat_stats.json' and /..../contract*.json files in generate-graphs.py?
Scope: * Test cases * pip dependencies * Support for various Python versions * Pylint * Style guide
Bumps [rake](https://github.com/ruby/rake) from 12.3.1 to 13.0.1. Changelog *Sourced from [rake's changelog](https://github.com/ruby/rake/blob/master/History.rdoc).* > === 13.0.1 > > ==== Bug fixes > > * Fixed bug: Reenabled task raises previous exception on...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
Bumps [loofah](https://github.com/flavorjones/loofah) from 2.2.2 to 2.3.1. Release notes *Sourced from [loofah's releases](https://github.com/flavorjones/loofah/releases).* > ## 2.3.1 / 2019-10-22 > > ### Security > > Address CVE-2019-15587: Unsanitized JavaScript may occur in...
Hello, I am a graduate student from Hohai University. I just read the paper Making smart contract smarter, and I also used Oyente, I found that the existing Oyente can...
## Description It doesn't detect `ecrecover` failing upon invalid input ## How to Reproduce See the following piece of code: https://gist.github.com/HarryR/cce52596ffebdff2744c5d790888015a This was caused by a compiler bug in Solidity...
The JSON results show an entry for money concurrency bug. Can anyone explain what the bug is?
When solc output is like below, oyente recoginizes it is library. // example ======= /root/work/tagomaru/truffle_project/MetaCoin/node_modules/zeppelin-solidity/contracts/ownership/Ownable.sol:Ownable ======= Binary: 6080604052348015610... In this case, libs in liine 118 is '[u'project/MetaCoin/node']'. Then, incorrectly steps...
Fixes https://github.com/melonproject/oyente/issues/290
