103 Commits

Author	SHA1	Message	Date
Daniel Marjamäki	3d0d3ec4c5	ExprEngine: handling array initialization with string literal	2019-09-21 11:36:34 +02:00
Daniel Marjamäki	6c59957109	ExprEngine: Better handling of conditions	2019-09-20 21:27:51 +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