54 Commits

Author	SHA1	Message	Date
orbitcowboy	b37b0c0f78	Running astyle [ci skip]	2019-09-19 08:03:29 +02:00
amai2012	d97c826319	Compile fix for VisualStudio	2019-09-18 22:07:42 +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