4473 Commits

Author	SHA1	Message	Date
Martin Blicha	deb90d84a6	[SMTChecker] added missing type constraints for Address	2021-01-27 20:39:24 +01:00
Martin Blicha	484e67815a	[SMTChecker] Basic support for inline assembly using over-approximating analysis	2021-01-26 16:20:50 +01:00
chriseth	e9dc9c5baf	Fix merge conflict.	2021-01-26 13:53:22 +01:00
chriseth	4697beeab2	Merge pull request #10769 from ethereum/allocationCleanup ... Cleanup allocation.	2021-01-26 11:58:11 +01:00
hrkrshnn	526ceec152	Implement IR shortcut for <address>.code.length	2021-01-26 11:07:04 +01:00
hrkrshnn	d6d880dc53	Old codegen: implemented shortcut for <address>.code.length	2021-01-26 11:07:04 +01:00
hrkrshnn	ec57c791ef	Fix infinite loop when accessing circular constants from inline assembly.	2021-01-26 09:22:05 +01:00
Mathias Baumann	07a1d230cd	Fix missing error when accessing unintialized variables.	2021-01-25 14:44:15 +01:00
chriseth	ccdf57c9b1	Merge pull request #10700 from ethereum/whiskers_check_template_contains_tag ... [whiskers] Add check that template contain tags.	2021-01-25 14:17:05 +01:00
Leonardo Alt	a612daa783	Add msgvalue to cex	2021-01-21 19:05:44 +01:00
Alexander Arlt	061fecbc90	[whiskers] Add check that template contain tags.	2021-01-20 15:26:34 -05:00
Leonardo	a75b87c80e	Merge pull request #10813 from ethereum/smt_targets_option ... Add CLI and JSON option to select SMTChecker targets	2021-01-20 18:37:08 +01:00
chriseth	3cc07694ed	Cleanup allocation.	2021-01-20 18:25:27 +01:00
Leonardo Alt	3b23cadbdc	Add CLI and JSON option to select SMTChecker targets	2021-01-20 17:35:37 +01:00
chriseth	1fcc76a562	Fix empty packed encoder.	2021-01-19 15:50:04 +01:00
Leonardo	9bde92ca20	Merge pull request #10807 from ethereum/fixIRReasonStrings ... Properly omit require revert strings in IR code generator if requested.	2021-01-19 10:31:15 +01:00
Leonardo	957e9995a0	Merge pull request #10801 from blishko/issue-10793 ... [SMTChecker] Gather local variables also from nested try/catch clauses	2021-01-18 22:37:16 +01:00
chriseth	185e129657	Merge pull request #10776 from ethereum/fixABIEncoderWithSignature ... Fix abi encode with signature shortcut.	2021-01-18 19:07:56 +01:00
chriseth	a3ee334b42	Omit require revert strings in IR code generator.	2021-01-18 18:47:55 +01:00
Martin Blicha	35d228d9b6	[SMTChecker] Gather local variables also from nested try/catch clauses	2021-01-18 18:30:18 +01:00
Leonardo Alt	c7ca87c012	Fix static virtual resolution	2021-01-18 16:23:38 +01:00
chriseth	4f3839e4ba	Fix abi encode with signature shortcut.	2021-01-18 13:44:52 +01:00
Djordje Mijovic	a0c80c2bdb	[Sol->Yul] Enabling copying_bytes_multiassign test via ir.	2021-01-18 12:40:51 +01:00
Martin Blicha	18214d1ccc	[SMTChecker] Reset checked/unchecked flag to the default value when inlining function in BMC	2021-01-15 15:36:26 +01:00
Leonardo Alt	007d39871b	[SMTChecker] Synthesize untrusted functions called externally	2021-01-15 11:56:26 +01:00
chriseth	db4b39e09e	Round up allocations to multiples of 32.	2021-01-14 21:52:17 +00:00
chriseth	7d6331e26f	Use round up function.	2021-01-14 21:01:43 +00:00
Alex Beregszaszi	6ad0ea9f23	Merge pull request #10773 from ethereum/useArrayAllocationFunction ... Fix array allocation.	2021-01-14 20:25:31 +00:00
chriseth	f4479fd7ed	Fix array allocation.	2021-01-14 19:56:37 +01:00
Alex Beregszaszi	7c7fd22062	Include revert strings in IR	2021-01-14 18:45:12 +01:00
Leonardo	110e0e1f25	Merge pull request #10763 from blishko/smt-abi-fixes ... [SMTChecker] Small fixes in handling ABI functions	2021-01-14 16:00:49 +01:00
chriseth	7d036dcb81	Merge pull request #10762 from ethereum/packedStorageOverflowSol2Yul ... [Sol->Yul] Fixing uncheked increment/decrement.	2021-01-14 15:32:55 +01:00
Martin Blicha	504e4c22b2	[SMTChecker] Fix in abi handling - tuple expression of size 1 has the type of the member and not TupleType	2021-01-14 14:53:56 +01:00
Martin Blicha	b4d2a71eec	[SMTChecker] Fix in abi handling - fixed missing type conversion	2021-01-14 14:53:44 +01:00
Martin Blicha	32a923c7ef	[SMTChecker] Fix in abi handling - abstracting expressions of type Function inside ABI functions when translating to SMT	2021-01-14 14:53:22 +01:00
chriseth	a65415cdad	Fix accessing libraries inside modules.	2021-01-14 14:07:08 +01:00
Djordje Mijovic	dc3e76bc2c	[Sol->Yul] Fixing uncheked increment/decrement.	2021-01-14 13:46:04 +01:00
chriseth	170cd5d2ae	Merge pull request #10760 from ethereum/asmConstantsFileLevel ... Fix accessing constants at file level from inline assembly.	2021-01-14 11:33:47 +01:00
chriseth	8905af28c3	Merge pull request #10759 from ethereum/nestedBytesArraySol2Yul ... [Sol->Yul] Fixing nested bytes array push.	2021-01-14 11:33:06 +01:00
chriseth	45be47fc6b	Merge pull request #10756 from ethereum/fixModifierLookup ... Fix modifier lookup	2021-01-14 11:28:26 +01:00
chriseth	8ad9290086	Fix modifier lookup.	2021-01-14 11:01:14 +01:00
chriseth	30305ebbd9	Fix accessing constants at file level from inline assembly.	2021-01-14 10:51:47 +01:00
chriseth	afbf68f79c	Merge pull request #10753 from ethereum/ir-negate ... Fix YulUtilFunctions::negateNumberWrappingFunction	2021-01-14 10:48:15 +01:00
Djordje Mijovic	7c45509a77	[Sol->Yul] Fixing nested bytes array push.	2021-01-14 10:32:31 +01:00
Alex Beregszaszi	c15c6d26b7	Fix YulUtilFunctions::negateNumberWrappingFunction	2021-01-13 21:29:37 +00:00
Martin Blicha	5e13744423	[SMTChecker] Fixed pushing string literal to bytes array	2021-01-13 16:30:50 +01:00
chriseth	6eea2f5c08	Merge pull request #9959 from a3d4/fix-ice-struct-with-mapping-assignment ... Fix ICE caused by const structs with mappings	2021-01-13 15:19:02 +01:00
Leonardo	fe344ed6e5	Merge pull request #10748 from blishko/smt-refactoring ... [SMTChecker] Refactoring common functionality	2021-01-13 14:23:19 +01:00
a3d4	35a25b107f	Fix ICE caused by const structs with mappings	2021-01-12 18:39:54 +01:00
Martin Blicha	7c6340fe4f	[SMTChecker] Refactoring expression to tuple assignment	2021-01-12 17:15:14 +01:00