4 Commits

Author	SHA1	Message	Date
Sebastian	bf55e835aa	Windows testrunner: Add testexprengine.cpp (#2184) ... Add export of executeAllFunctions() in exprengine.h	2019-09-19 19:40:00 +02:00
amai2012	5a6084fbec	Map #warning to #pragma message for VisualStudio	2019-09-18 21:50:23 +02:00
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