52 Commits

Author	SHA1	Message	Date
Daniel Marjamäki	b66d701599	Fix Cppcheck warnings	2019-09-17 22:28:36 +02:00
Daniel Marjamäki	2d651b09fc	ExprEngine: Add new experimental path-sensitive data flow analysis. Initially used for 'verification' but could possibly later be used as a complement in the normal analysis. The code is work-in-progress and hacky!	2019-09-17 21:00:59 +02:00