oyente
oyente copied to clipboard
An Analysis Tool for Smart Contracts
In a complex project like [Augur](https://github.com/AugurProject/augur-core), the contracts don't compile by just passing them to `solc` because the system is made up of dozens of contracts that have intertwining references...
_From @loiluu on September 21, 2016 5:4_ One way to improve the performance of the symbolic execution is to consider the existing blockchain state in the execution environment. For example,...
Bumps [addressable](https://github.com/sporkmonger/addressable) from 2.5.2 to 2.8.1. Changelog Sourced from addressable's changelog. Addressable 2.8.1 refactor Addressable::URI.normalize_path to address linter offenses (#430) remove redundant colon in Addressable::URI::CharacterClasses::AUTHORITY regex (#438) update gemspec to...
error: 
I'm using python3 to install oyente and `pip3 install oyente` throws the error below: ``` Collecting oyente Using cached oyente-0.2.7.tar.gz (35 kB) Preparing metadata (setup.py) ... error error: subprocess-exited-with-error ×...
Bumps [globalid](https://github.com/rails/globalid) from 0.4.1 to 1.0.1. Release notes Sourced from globalid's releases. v1.0.1 Possible ReDoS based DoS vulnerability in GlobalID There is a ReDoS based DoS vulnerability in the GlobalID...
Bumps [rails-html-sanitizer](https://github.com/rails/rails-html-sanitizer) from 1.0.4 to 1.4.4. Release notes Sourced from rails-html-sanitizer's releases. 1.4.4 / 2022-12-13 Address inefficient regular expression complexity with certain configurations of Rails::Html::Sanitizer. Fixes CVE-2022-23517. See GHSA-5x79-w82f-gw8w for...
Bumps [loofah](https://github.com/flavorjones/loofah) from 2.2.2 to 2.19.1. Release notes Sourced from loofah's releases. 2.19.1 / 2022-12-13 Security Address CVE-2022-23514, inefficient regular expression complexity. See GHSA-486f-hjj9-9vhh for more information. Address CVE-2022-23515, improper...