crytic/etheno
Simplify Ethereum security analysis and testing
9 Releases
Latest: 3y ago
Etheno v0.3.2v0.3.2Latest
๐ Fixed
- Dropped `rusty-rlp` dependency so that ARM Docker builds work as expected during QEMU emulation
Etheno v0.3.1v0.3.1
๐ Changed
- We are now using `ganache@7.3.2` and greater instead of `ganache-cli@6.x` for running Ganache
- Using the latest `Flask@v2.1.0` version
๐ Fixed
- Fixed [#101](https://github.com/crytic/etheno/issues/101)
- Fixed a bug that occurred when a `JSONRPCError` was being logged
- Fixed a bug that prevented Ganache from being used from within a Docker container
๐๏ธ Removed
- Removed Manticore integration and all associated command-line parameters
- Removed Echidna integration and all associated command-line parameters
- Removed `examples/` folder since it is outdated and uses deprecated features
Etheno v0.3a1v0.3a1
๐ Changed
- We are now using `ganache@7.3.2` and greater instead of `ganache-cli@6.x` for running Ganache
- Using the latest `Flask@v2.1.0` version
๐ Fixed
- Fixed [#101](https://github.com/crytic/etheno/issues/101)
- Fixed a bug that occurred when a `JSONRPCError` was being logged
- Fixed a bug that prevented Ganache from being used from within a Docker container
๐๏ธ Removed
- Removed Manticore integration and all associated command-line parameters
- Removed Echidna integration and all associated command-line parameters
- Removed `examples/` folder since it is outdated and uses deprecated features
Etheno v0.2.4v0.2.4
๐ Changes
- Adds the ability for plugins to rewrite RPC calls
- Compatibility improvements with Ganache and Node 14
- Support for additional RPC calls (`evm_mine`, `evm_increaseTime`, `eth_getTransactionByHash`, _etc._)
- New command line argument to support custom Ganache binaries
Etheno v0.2.3v0.2.3
โจ Added
- Support for the latest version of Manticore (v0.3.0)
๐ Fixed
- Fixes a bug due to a change in the way the latest version of Truffle handles its config files
- Fixes a bug that would erroneously print a warning that the version of Manticore is too old
Etheno v0.2.2v0.2.2
โจ Added
- Updated to support a [newer version of Echidna](https://github.com/crytic/echidna/tree/dev-etheno)
- We are almost at feature parity with Echidna master, which we expect to happen at the next release
- Two new commandline options to export raw transactions as a JSON file
- New `--truffle-cmd` argument to specify the build command
๐ Changed
- The [`BrokenMetaCoin` example](examples/BrokenMetaCoin) was updated to a newer version of Solidity
๐ Fixed
- Fixes a bug in honoring the `--ganache-args` option
Etheno v0.2.1v0.2.1
๐ฆ 2019-02-07
- Bugfix release.
- Manticore is now an optional requirement
- Improvements and bugfixes to the logger integration with Manticore
- Added a workaround to the examples for a bug in Truffle
Etheno v0.2.0v0.2.0
๐ฆ 2018-11-02
- First formal release of Etheno.
โจ Added
- An [example](examples/ConstantinopleGasUsage) that can automatically reproduce [the Constantinople gas usage discrepancy](https://github.com/paritytech/parity-ethereum/pull/9746) that caused a hard-fork on Ropsten in October of 2018
- More client integrations and support
- Support for JSON RPC clients that have no local accounts and only accept signed raw transactions
- Support for saving and loading genesis files
- Support for Geth with either an autogenerated or user-provided genesis
- Support for Parity with either an autogenerated or user-provided genesis
- Automated transaction synchronization between chains (_e.g._, if clients are running with different genesis blocks)
- Improved automated testing
- + 6 more
๐ Changed
- The [`BrokenMetaCoin` example](examples/BrokenMetaCoin) was improved by adding various utilities for interacting with Manticore
TruffleCon 2018 Pre-Releasev0.0.1Pre-release
๐ Changes
- Manticore Integration
- Truffle Integration
- Ganache Integration
- JSON RPC Multiplexing
