Commit Graph

13 Commits

Author SHA1 Message Date
Bhargava Shastry 0bf59456ec
solidity: Disable Z3 build in dockerfile (#3831) 2020-05-18 08:54:30 -07:00
Bhargava Shastry df5a80bf97 [solidity] Upgrade to evmone v0.4.0 (#3100) 2019-12-09 09:58:39 -08:00
Bhargava Shastry 91d0e07860 solidity: Upgrade to z3 4.8.7 (#3086) 2019-12-04 12:02:08 -05:00
Bhargava Shastry efade0f8c5 solidity: Upgrade evmone to v0.3.0 to fix build failure (#3048) 2019-11-20 06:59:23 -08:00
Bhargava Shastry 7aa1d7b9a3 solidity: Use cmake toolchain file (#2841) 2019-09-17 14:15:03 -07:00
Bhargava Shastry 9e6a3ca660 solidity: Add and link solc against z3 (#2835) 2019-09-16 07:04:26 -07:00
Bhargava Shastry e5a5454ce9 [solidity] Do not instrument solidity dependencies except jsoncpp (#2699) 2019-08-15 11:35:11 -07:00
Bhargava Shastry 09e316afef [Solidity] Enable abiv2 proto fuzzer (#2614) 2019-07-17 09:34:07 -07:00
Bhargava Shastry ca11c5128c Install protobuf-mutator toolchain before building solidity (#2611) 2019-07-16 06:10:45 -07:00
Bhargava Shastry 80634bf24d [solidity] Update solidity fuzzing corpus for solc and const_opt fuzzers. (#2212) 2019-03-06 06:12:39 -08:00
Bhargava Shastry 371929f997 [solidity] Add new fuzzers (including two LPM proto fuzzers) and minimal fuzzing corpora. (#2208) 2019-03-05 12:42:06 -08:00
Bhargava Shastry 1708eceb2b [solidity] Add fuzzing dictionary (#2132) 2019-02-05 06:45:39 -08:00
Bhargava Shastry e43f9e186f [solidity] Add the solidity compiler to oss-fuzz (#2108) 2019-01-24 07:52:29 -08:00