文件名称：etheno：简化以太坊安全性分析和测试
文件大小：187KB
文件格式：ZIP
更新时间：2024-02-25 23:00:45
ethereum truffle symbolic-execution solidity differential-testing
乙醚 以太坊是以太坊测试的瑞士军刀。 它是一个JSON RPC多路复用器，分析工具包装器和测试集成工具。 它消除了在大型，多合同项目上设置分析工具（如和的复杂性。 特别是，定制的Manticore分析脚本需要更少的代码，更易于编写，并与Truffle集成。 如果您是精明的合同开发者，则应使用Etheno来测试您的合同。 如果您是以太坊客户端开发人员，则应使用Etheno对实现进行差异测试。 例如，Etheno君士坦丁堡用气共识错误，该错误在Ropsten上引起了分歧。 Etheno以美杜莎的姐妹，Echidna的母亲希腊女神名字命名-这恰好也是。 产品特点 JSON RPC复用：Ethe
【文件预览】：
etheno-master
----Dockerfile(2KB)
----.gitignore(20B)
----README.md(11KB)
----logo()
--------etheno.png(92KB)
--------etheno.svg(41KB)
----CHANGELOG.md(3KB)
----.github()
--------workflows()
----examples()
--------ConstantinopleGasUsage()
--------BrokenMetaCoin()
----LICENSE(34KB)
----.gitattributes(33B)
----docker()
--------install-libff.sh(762B)
----setup.py(1KB)
----etheno()
--------ascii_escapes.py(3KB)
--------signals.py(478B)
--------manticoreutils.py(5KB)
--------contracts.py(481B)
--------threadwrapper.py(4KB)
--------logger.py(13KB)
--------manticorelogger.py(886B)
--------etheno.py(13KB)
--------differentials.py(8KB)
--------synchronization.py(12KB)
--------utils.py(3KB)
--------genesis.py(4KB)
--------geth.py(4KB)
--------parity.py(5KB)
--------truffle.py(2KB)
--------jsonrpc.py(6KB)
--------echidna.py(7KB)
--------__init__.py(125B)
--------jsonrpcclient.py(4KB)
--------__main__.py(20KB)
--------ganache.py(2KB)
--------manticoreclient.py(8KB)
--------client.py(9KB)
--------keyfile.py(8KB)