diff --git a/README.md b/README.md
index fe60d08..a558e68 100644
--- a/README.md
+++ b/README.md
@@ -146,26 +146,24 @@
 
 #### 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)
-* [Security analysis tool for EVM bytecode](https://github.com/ConsenSys/mythril)
-* [Analysis Tool for Smart Contracts](https://github.com/enzymefinance/oyente)
-* [Ethereum Security Toolbox](https://github.com/trailofbits/eth-security-toolbox)
-* [EVM binary static analysis](https://github.com/crytic/rattle)
-* [Static Analyzer for Solidity](https://github.com/crytic/slither)
-* [Security scanner for Ethereum smart contracts](https://github.com/eth-sri/securify2)
-* [Ethereum security analysis and testing](https://github.com/crytic/etheno)
-* [Ethereum smart contract fuzzer](https://github.com/crytic/echidna)
-* [A Solidity Inspector](https://github.com/ConsenSys/surya)
-* [Security Analysis tool for WebAssembly](https://github.com/pventuzelo/octopus)
-* [EVM toolkit](https://github.com/quilt/etk)
-* [EVM disassembler and assembler](https://github.com/crytic/pyevmasm)
-* [Smart contract code analyzer](https://github.com/crytic/slither)
+* [Mythril, security analysis tool for EVM bytecode](https://github.com/ConsenSys/mythril)
+* [Oyente, analysis Tool for Smart Contracts](https://github.com/enzymefinance/oyente)
+* [Trail of Bits' Ethereum Security Toolbox](https://github.com/trailofbits/eth-security-toolbox)
+* [Rattler, EVM binary static analysis](https://github.com/crytic/rattle)
+* [Slither, Static Analyzer for Solidity](https://github.com/crytic/slither)
+* [Securify, Security scanner for Ethereum smart contracts](https://github.com/eth-sri/securify2)
+* [Etheno, Ethereum security analysis and testing](https://github.com/crytic/etheno)
+* [Surya, A Solidity Inspector](https://github.com/ConsenSys/surya)
+* [Octopus, Security Analysis tool for WebAssembly](https://github.com/pventuzelo/octopus)
+* [ETK, EVM toolkit](https://github.com/quilt/etk)
+* [Pyevmasm, EVM disassembler and assembler](https://github.com/crytic/pyevmasm)
 * [Verx, smart contract verifier](http://verx.ch/)
 * [Semgrep rules for smart contracts](https://github.com/Raz0r/semgrep-smart-contracts)
 * [ETH detective](https://www.ethtective.com/address/)
 * [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>