ethereum-analyzer
ethereum-analyzer copied to clipboard
zchn
An Ethereum contract analyzer.
Hi Kevin, The program did not run for me. I get a message " Progress: 124/137 -- While building package zlib-0.6.1.2 using: /home/ubuntu/.stack/setup …. library: * Missing (or bad) header...
The analysis should detect vulnerabilities not discoverable by the solc compiler. The vulnerability should exist in real solidity contracts. [Optional] the solidity contract should be used by more than X...
The analysis should detect vulnerabilities not discoverable by the solc compiler. The vulnerability should exist in real solidity contracts. [Optional] the solidity contract should be used by more than X...
The following warning is given from the GitHub UI ``` As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash). ``` Please update all...
This pull request fixes #11. The issue has been successfully resolved based on the following changes and their impact: 1. The GitHub Actions workflow files (.github/workflows/examples-test.yml and stack-build.yml) have been...
There are example commands for `Solidity Control Flow Graph (CFG) Generation`, `Solidity Linter (WIP)` and `EVM CFG Generation` in the `./README.md` file. We should create GitHub Action workflows based on...