188 Commits

Author	SHA1	Message	Date
Bhargava Shastry	24f42c5541	Filter false positives due to EVM errors. ... Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>	2021-03-10 17:41:03 +01:00
Bhargava Shastry	34c08ea2c6	EVMHost: Add tracing features needed for fuzzing.	2021-03-10 17:41:03 +01:00
Daniel Kirchner	acd3084076	Fuzzer for stack optimiser/code generator.	2021-03-04 17:35:56 +01:00
Bhargava Shastry	a34308e4cb	Proto yul converter: Provide a flag to filter stateful instructions.	2021-03-04 15:20:19 +01:00
Bhargava Shastry	069ac9c9a9	Merge pull request #10878 from ethereum/refactor-solProtoFuzzer ... Fuzzer: Refactor utility methods shared by proto fuzzers.	2021-03-01 19:56:10 +01:00
Bhargava Shastry	758d159d87	yul proto mutator: Add control flow to block statements.	2021-02-22 15:10:41 +01:00
Bhargava Shastry	febccdd96a	Fuzzer: Refactor utility methods shared by proto fuzzers. ... Co-authored-by: Leonardo <leo@ethereum.org> Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>	2021-02-10 11:43:57 +01:00
Bhargava Shastry	75e7e1bee7	Consistent use of returns documentation tag.	2021-02-09 12:51:36 +01:00
Bhargava Shastry	896de75bcb	Solidity fuzzer: Add test state.	2021-02-09 12:49:35 +01:00
Bhargava Shastry	7e343987fc	Update solidity dictionary with TestReader syntax.	2021-02-08 11:16:11 +01:00
Bhargava Shastry	2f001bb91c	Unify solc fuzzers.	2021-02-08 11:14:38 +01:00
Bhargava Shastry	c7ee2c1f39	Clang tidy fixes in protoToYul.cpp.	2021-02-07 23:27:11 +01:00
Bhargava Shastry	0a59bd825b	Solidity fuzzer: Add simple import statements. ... Co-authored-by: Leonardo <leo@ethereum.org>	2021-02-03 17:03:57 +01:00
Bhargava Shastry	8e691293e4	ossfuzz: Clang tidy suggested fixes in Solidity generator	2021-01-27 14:55:49 +01:00
Bhargava Shastry	be733d5f61	Reorganized code for better readability.	2021-01-26 16:16:03 +01:00
Bhargava Shastry	f5e0faaa37	Add documentation and/or comments. ... Co-authored-by: Leonardo <leo@ethereum.org>	2021-01-26 15:48:42 +01:00
Bhargava Shastry	d7e3d3f75f	Add visitors for automatic test case generation.	2021-01-26 15:48:42 +01:00
Bhargava Shastry	b3dd83a20b	Enable fine grained yul optimizer fuzzing	2021-01-19 18:22:59 +01:00
Bhargava Shastry	a6a2b58e57	ossfuzz: Add option to force SMT pragma and set it in solc fuzzers ... Co-authored-by: Leonardo <leo@ethereum.org>	2020-12-21 11:55:58 +01:00
chriseth	3c270ca7f7	Merge pull request #10608 from ethereum/develop ... Merge develop into breaking.	2020-12-15 15:24:53 +01:00
Bhargava Shastry	b273e52628	Abiv2 fuzzer: Enable differential fuzzing and remove support for string coding ... co-authored-by: Leonardo <leo@ethereum.org>	2020-12-15 11:13:10 +01:00
Bhargava Shastry	39f1893956	Fix integer overflow due to large unsigned cpp_int	2020-12-15 11:12:51 +01:00
chriseth	561280a5cc	Merge remote-tracking branch 'origin/develop' into breaking	2020-12-14 11:33:40 +01:00
Leonardo	adead3072d	Merge pull request #10570 from ethereum/abiv2-isabelle-test-values-fix-bugs ... Ensure empty arrays are not visited and fix formatting issues	2020-12-11 17:38:15 +01:00
Bhargava Shastry	9bd4a1095e	Ensure empty arrays are not visited and fix formatting issues	2020-12-10 22:43:45 +01:00
Alex Beregszaszi	bd641a5206	Enable more C++ compiler warnings	2020-12-10 21:03:58 +00:00
chriseth	d0551b67d7	Merge remote-tracking branch 'origin/develop' into breaking	2020-12-10 17:07:56 +01:00
Bhargava Shastry	dc1c0e9d4e	Abiv2 fuzzer: Retrieve values to be encoded from the fuzzer	2020-12-10 16:33:14 +01:00
Bhargava Shastry	3c8caabf2e	Remove unused code	2020-12-10 12:56:04 +01:00
Bhargava Shastry	693548b787	Abiv2 fuzzer: Make integer value generation consistent with range for that integer type	2020-12-10 12:34:14 +01:00
chriseth	482bda6887	Merge remote-tracking branch 'origin/develop' into breaking	2020-12-10 12:15:52 +01:00
Bhargava Shastry	2e3cba996a	Isabelle abiv2 fuzzer: Add type string	2020-12-09 18:10:10 +01:00
chriseth	806453aca9	Merge remote-tracking branch 'origin/develop' into breaking	2020-12-08 21:00:09 +01:00
Alex Beregszaszi	7e88ba8da0	Enable the -Wconversion warning	2020-12-08 16:45:24 +00:00
chriseth	b045195c1e	Merge remote-tracking branch 'origin/develop' into breaking	2020-12-08 17:42:31 +01:00
Bhargava Shastry	fe6543a7c8	Abiv2 isabelle: Add fuzzer test harness skeleton and update CMake	2020-12-08 13:05:23 +01:00
chriseth	329b8f2a60	Merge remote-tracking branch 'origin/develop' into breaking	2020-12-07 13:04:14 +01:00
Bhargava Shastry	32fd692c51	Yul interpreter: Introduce expression evaluation maximum nesting depth	2020-12-04 17:27:03 +01:00
Bhargava Shastry	0d6cae304b	abiv2 proto fuzzer: Move anon namespace utility functions to common source	2020-12-04 15:33:41 +01:00
chriseth	d56a7bb89e	Merge pull request #10489 from ethereum/develop ... Merge develop into breaking.	2020-12-03 18:11:12 +01:00
Bhargava Shastry	e1b44500dd	Yul interpreter: Smaller execution timeout for tests and additional test cases	2020-12-03 10:08:41 +01:00
chriseth	9a5902f9d7	Merge remote-tracking branch 'origin/develop' into breaking	2020-12-02 12:28:02 +01:00
chriseth	c193ce6c07	Rename SourceReferenceFormatterHuman.	2020-12-01 16:09:46 +01:00
Alex Beregszaszi	1dedba8538	Only use SourceReferenceFormatterHuman	2020-12-01 16:09:46 +01:00
Bhargava Shastry	864458922a	Add solidity generator ... Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>	2020-11-23 22:27:40 +01:00
Bhargava Shastry	5023d3decb	ossfuzz: Remove antlr4 build deps	2020-10-15 12:59:18 +02:00
Bhargava Shastry	6101590d93	ossfuzz: Generate antlr4 runtime deps	2020-08-27 17:33:29 +02:00
chriseth	845c1ae91f	Merge pull request #9469 from ethereum/fix-9468 ... Yul fuzzer: Enable nested object references	2020-07-23 13:26:42 +02:00
chriseth	6bb6783d39	Merge remote-tracking branch 'origin/develop' into breaking	2020-07-22 15:26:44 +02:00
Bhargava Shastry	115380ca76	Yul fuzzer: Enable nested object references ... Co-authored-by: Đorđe Mijović <djordje.mijovic@gmail.com>	2020-07-22 14:02:41 +02:00