Git-Mirrors/blockchains-security-toolkit
1
0
Fork 0
mirror of https://github.com/autistic-symposium/blockchains-security-toolkit.git synced 2025-05-17 14:10:32 -04:00
Code Issues Projects Releases Packages Wiki Activity

Add some blockchain security tools

Browse source
This commit is contained in:
bt3gl 2022-09-17 11:14:22 -07:00 • committed by GitHub
parent 4a25a44fbf
commit a020d40799
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 13 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

28
README.md
View file

@ -146,26 +146,24 @@
#### Analysis tools #### Analysis tools
* [Symbolic execution tool](https://github.com/trailofbits/manticore) * [Manticor, symbolic execution tool](https://github.com/trailofbits/manticore)
* [Echidna, smart contract fuzzer](https://github.com/crytic/echidna) * [Echidna, smart contract fuzzer](https://github.com/crytic/echidna)
* [Security analysis tool for EVM bytecode](https://github.com/ConsenSys/mythril) * [Mythril, security analysis tool for EVM bytecode](https://github.com/ConsenSys/mythril)
* [Analysis Tool for Smart Contracts](https://github.com/enzymefinance/oyente) * [Oyente, analysis Tool for Smart Contracts](https://github.com/enzymefinance/oyente)
* [Ethereum Security Toolbox](https://github.com/trailofbits/eth-security-toolbox) * [Trail of Bits' Ethereum Security Toolbox](https://github.com/trailofbits/eth-security-toolbox)
* [EVM binary static analysis](https://github.com/crytic/rattle) * [Rattler, EVM binary static analysis](https://github.com/crytic/rattle)
* [Static Analyzer for Solidity](https://github.com/crytic/slither) * [Slither, Static Analyzer for Solidity](https://github.com/crytic/slither)
* [Security scanner for Ethereum smart contracts](https://github.com/eth-sri/securify2) * [Securify, Security scanner for Ethereum smart contracts](https://github.com/eth-sri/securify2)
* [Ethereum security analysis and testing](https://github.com/crytic/etheno) * [Etheno, Ethereum security analysis and testing](https://github.com/crytic/etheno)
* [Ethereum smart contract fuzzer](https://github.com/crytic/echidna) * [Surya, A Solidity Inspector](https://github.com/ConsenSys/surya)
* [A Solidity Inspector](https://github.com/ConsenSys/surya) * [Octopus, Security Analysis tool for WebAssembly](https://github.com/pventuzelo/octopus)
* [Security Analysis tool for WebAssembly](https://github.com/pventuzelo/octopus) * [ETK, EVM toolkit](https://github.com/quilt/etk)
* [EVM toolkit](https://github.com/quilt/etk) * [Pyevmasm, EVM disassembler and assembler](https://github.com/crytic/pyevmasm)
* [EVM disassembler and assembler](https://github.com/crytic/pyevmasm)
* [Smart contract code analyzer](https://github.com/crytic/slither)
* [Verx, smart contract verifier](http://verx.ch/) * [Verx, smart contract verifier](http://verx.ch/)
* [Semgrep rules for smart contracts](https://github.com/Raz0r/semgrep-smart-contracts) * [Semgrep rules for smart contracts](https://github.com/Raz0r/semgrep-smart-contracts)
* [ETH detective](https://www.ethtective.com/address/) * [ETH detective](https://www.ethtective.com/address/)
* [Tornado Cash Pool Anonymity Auditor](https://tutela.xyz/) * [Tornado Cash Pool Anonymity Auditor](https://tutela.xyz/)
* [Ethereum Virtual Machine transaction tracing tool](https://github.com/ApeWorX/evm-trace) * [EVM-trace, Ethereum Virtual Machine transaction tracing tool](https://github.com/ApeWorX/evm-trace)
<br> <br>