10 Commits

Author	SHA1	Message	Date
chriseth	eab4ca906c	Refactor data flow analyzer state access.	2022-03-14 19:32:33 +01:00
chriseth	1531863835	Split Common.h into Numeric.h.	2021-09-23 15:27:29 +02:00
chriseth	8926274000	Fix recursion protection.	2021-08-19 12:51:54 +02:00
chriseth	4b038e3f02	Extend knowledge base.	2021-08-18 12:42:46 +02:00
Alex Beregszaszi	a22077f736	Rename AsmData -> AST ... Also attempt to only include ASTForward where appropriate.	2020-11-25 17:58:02 +00: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
chriseth	b8488597da	Combine value and loop depth.	2020-01-08 12:25:46 +01:00
Christian Parpart	6b23412fae	C++ namespace cleanup (except tests).	2020-01-07 15:51:50 +01:00
chriseth	8572600401	Implement knowledge base.	2019-06-20 18:43:37 +02:00
chriseth	1f9d11c644	Knowledge about storage.	2019-06-20 18:43:37 +02:00