Linking pages
- Secure from scratch: our new smart contract development processes | Parity Technologies https://paritytech.io/new-smart-contract-development-processes/ 40 comments
- Use our suite of Ethereum security tools | Trail of Bits Blog https://blog.trailofbits.com/2018/03/23/use-our-suite-of-ethereum-security-tools/ 31 comments
- GitHub - mbasso/awesome-wasm: 😎 Curated list of awesome things regarding WebAssembly (wasm) ecosystem. https://github.com/mbasso/awesome-wasm 25 comments
- Magic with Manticore | Trail of Bits Blog https://blog.trailofbits.com/2017/05/15/magic-with-manticore/ 18 comments
- The Smart Fuzzer Revolution | Trail of Bits Blog https://blog.trailofbits.com/2017/02/16/the-smart-fuzzer-revolution/ 15 comments
- GitHub - pirapira/awesome-ethereum-virtual-machine: Ethereum Virtual Machine Awesome List https://github.com/pirapira/awesome-ethereum-virtual-machine 10 comments
- A Definitive List of Ethereum Developer Tools | by ConsenSys | ConsenSys Media https://media.consensys.net/an-definitive-list-of-ethereum-developer-tools-2159ce865974 9 comments
- MATE: Interactive Program Analysis with Code Property Graphs - Galois, Inc. https://galois.com/blog/2022/08/mate-interactive-program-analysis-with-code-property-graphs/ 6 comments
- Fuzzing an API with DeepState (Part 1) | Trail of Bits Blog https://blog.trailofbits.com/2019/01/22/fuzzing-an-api-with-deepstate-part-1/ 6 comments
- The Good, the Bad, and the Weird | Trail of Bits Blog https://blog.trailofbits.com/2018/10/26/the-good-the-bad-and-the-weird/ 5 comments
- Vulnerability Modeling with Binary Ninja | Trail of Bits Blog https://blog.trailofbits.com/2018/04/04/vulnerability-modeling-with-binary-ninja/ 5 comments
- GitHub - vshymanskyy/awesome-wasm-tools: 😎 A curated list of awesome, language-agnostic WebAssembly tools https://github.com/vshymanskyy/awesome-wasm-tools 5 comments
- How to Secure Your Smart Contracts: 6 Solidity Vulnerabilities and how to avoid them (Part 2) | by Georgios Konstantopoulos | Loom Network | Medium https://medium.com/loom-network/how-to-secure-your-smart-contracts-6-solidity-vulnerabilities-and-how-to-avoid-them-part-2-730db0aa4834 5 comments
- GitHub - crytic/awesome-ethereum-security: A curated list of awesome Ethereum security references https://github.com/trailofbits/awesome-ethereum-security 3 comments
- GitHub - OffcierCia/DeFi-Developer-Road-Map: DeFi Developer roadmap is a curated Developer handbook which includes a list of the best tools for DApps development, resources and references! https://github.com/OffcierCia/DeFi-Developer-Road-Map 3 comments
- Manticore: Symbolic execution for humans | Trail of Bits Blog https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/ 2 comments
- GitHub - bkrem/awesome-solidity: ⟠ A curated list of awesome Solidity resources, libraries, tools and more https://github.com/bkrem/awesome-solidity 1 comment
- MUI: Visualizing symbolic execution with Manticore and Binary Ninja | Trail of Bits Blog https://blog.trailofbits.com/2021/11/17/mui-visualizing-symbolic-execution-with-manticore-and-binary-ninja/ 0 comments
- Announcing the Crytic $10k Research Prize | Trail of Bits Blog https://blog.trailofbits.com/2019/11/13/announcing-the-crytic-10k-research-prize/ 0 comments
- Smart Contract Tools For Pythonistas https://blog.octachart.com/smart-contract-tools-for-pythonistas 0 comments
Linked pages
- [1907.03890] Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts https://arxiv.org/abs/1907.03890 17 comments
- GitHub - ethereum/solidity: Solidity, the Smart Contract Programming Language https://github.com/ethereum/solidity 0 comments
- Announcing the Crytic $10k Research Prize | Trail of Bits Blog https://blog.trailofbits.com/2019/11/13/announcing-the-crytic-10k-research-prize/ 0 comments
- The Yices SMT Solver http://yices.csl.sri.com/ 0 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - trailofbits/manticore: Symbolic execution tool
See how to search.