10 Commits

Author	SHA1	Message	Date
chriseth	1057fd5355	Take revert statement into account in control flow graph.	2021-03-30 21:15:46 +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
a3d4	437ab3d24c	Fixed ControlFlowBuilder compilation error.	2020-03-10 14:02:16 +01:00
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	b5bc52f2a7	Control flow for try statements.	2019-09-23 17:22:56 +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
mordax	ea8b7d803e	Removing redundant virtual from override function declaration ... Remove trailing whitespace Remove changelog change	2018-11-21 14:37:32 +00:00
Daniel Kirchner	995623f0fa	Add control flow graph.	2018-05-14 20:23:40 +02:00