33 Commits

Author	SHA1	Message	Date
wechman	fbe1181517	CFGNode: For function calls store a pointer to a resolved function definition rather than the FunctionCall AST node	2022-11-09 17:51:32 +01:00
Daniel Kirchner	16245f7b9b	Warn about multiple assignments to storage byte pushes and fix warnings about multiple storage to storage copies. ... Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>	2022-06-15 13:53:05 +02:00
Daniel Kirchner	d30b04674e	Add resolveUnaryTuples helper.	2022-06-15 13:15:26 +02:00
chriseth	28593839d9	Add helper to see if a switch has a default case.	2022-03-15 14:29:54 +01:00
Marenz	e969aed780	Properly resolve virtual modifiers	2022-01-06 12:52:06 +01:00
chriseth	9417d6775f	Control flow side-effects for user-defined functions.	2021-10-14 17:46:07 +02:00
Kamil Śliwak	7f7107405f	Try out the new assertion macro variants with less arguments	2021-10-04 12:05:00 +02:00
Kamil Śliwak	fc7e8c56dc	Fill out originLocation with nativeLocation when importing Yul AST	2021-09-22 13:17:18 +02:00
Kamil Śliwak	ce4420f857	Separate DebugData fields for Solidity and Yul source locations	2021-09-22 13:11:39 +02:00
chriseth	1f8f1a3db9	Merge pull request #11484 from ethereum/fix-unreachable-code-anaysis ... Fix revert pruner modifying function flows wrong	2021-06-04 12:44:35 +02:00
Mathias Baumann	d8ffdf11c8	Fix revert pruner modifying function flows wrong	2021-06-03 17:37:50 +02:00
chriseth	2e3ee4c156	Fix control-flow handling of modifiers without body.	2021-06-03 13:31:15 +02:00
Mathias Baumann	56ebea8b2f	ControlFlowAnalyser: Also consider called functions in a flow	2021-06-01 15:54:37 +02:00
Djordje Mijovic	e404b6e7a6	Refactoring yul source locations.	2021-05-04 16:05:23 +02:00
chriseth	1057fd5355	Take revert statement into account in control flow graph.	2021-03-30 21:15:46 +02:00
chriseth	9a5902f9d7	Merge remote-tracking branch 'origin/develop' into breaking	2020-12-02 12:28:02 +01:00
Alex Beregszaszi	a22077f736	Rename AsmData -> AST ... Also attempt to only include ASTForward where appropriate.	2020-11-25 17:58:02 +00:00
Mathias Baumann	006e5f2e1f	Allow path syntax for super constructor calls	2020-10-13 14:32:11 +02:00
Sachin Grover	b7adb2aa42	Add SPDX license identifier if not present already in source file ... Fixes: #9220	2020-07-17 20:24:12 +05:30
hrkrshnn	4760b8589d	Replaced all instances of lValueRequested to willBeWrittenTo	2020-04-20 12:33:30 +05:30
Daniel Kirchner	809e3503ba	Control flow analysis for inline assembly.	2020-03-09 16:23:10 +01:00
Christian Parpart	6b23412fae	C++ namespace cleanup (except tests).	2020-01-07 15:51:50 +01:00
chriseth	1ebcc757e1	Merge remote-tracking branch 'origin/develop' into develop_060	2019-11-27 19:14:08 +01:00
chriseth	0bb88dabb7	Restrict usage of plain "new".	2019-11-27 17:55:11 +01:00
Daniel Kirchner	8148619d5b	Merge branch 'develop' into develop_060	2019-11-12 10:32:41 +01:00
Mathias Baumann	e35a23bbcc	Add `switch (..) to style checker	2019-11-11 17:44:21 +01:00
chriseth	8e736a9f49	Type Checker for try/catch.	2019-09-23 17:22:56 +02:00
chriseth	b5bc52f2a7	Control flow for try statements.	2019-09-23 17:22:56 +02:00
Christian Parpart	bf43eebea9	libsolidity: Introducing TypeProvider API, for clear type system ownership.	2019-04-16 18:26:45 +02:00
Daniel Kirchner	0dfd4a726e	Warn about unreachable code.	2019-01-10 10:36:50 +01:00
Daniel Kirchner	788612d2ef	Refactoring of the ControlFlowGraph and use for detecting all uninitialized storage accesses.	2018-12-12 04:20:53 +01:00
Daniel Kirchner	1cbc037a45	Update control flow graph.	2018-05-16 18:32:48 +02:00
Daniel Kirchner	995623f0fa	Add control flow graph.	2018-05-14 20:23:40 +02:00