From 1a906d720506be8c34f930fd377e0146fa53c129 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dejan=20Jovanovi=C4=87?= Date: Fri, 19 Jul 2019 14:01:26 -0400 Subject: [PATCH] Adding solc-verify Solc-verify is a new modular verifier built on top of the solidity compiler: - paper: https://arxiv.org/abs/1907.04262 - description: https://github.com/SRI-CSL/solidity/blob/boogie/SOLC-VERIFY-README.md --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 008b138..909772b 100644 --- a/README.md +++ b/README.md @@ -140,6 +140,7 @@ A curated list of awesome Ethereum security references, guidance, tools, and mor * [KEVM](https://github.com/kframework/evm-semantics) - K Semantics of the Ethereum Virtual Machine (EVM) * [Manticore](https://github.com/trailofbits/manticore) - Symbolic execution tool for EVM +* [solc-verify](https://github.com/SRI-CSL/solidity) - A Modular Verifier for Solidity Smart Contracts ### Reversing tools