11 Commits

Author	SHA1	Message	Date
Jonas Jensen	f1d7fde49d	C++: Use localExprFlow in existing queries ... This shortens the queries a bit and ensures test coverage of the new predicate.	2019-09-02 09:29:12 +02:00
Geoffrey White	e395f5215f	CPP: Autoformat 'Critical'.	2019-04-23 14:45:27 +01:00
Geoffrey White	faeb326bf8	CPP: Use newer dataflow for the fix.	2019-03-20 15:47:48 +00:00
Geoffrey White	7d8886e30c	CPP: Fix over-enthusiastic dataflow in allocExprOrIndirect.	2019-03-20 15:40:02 +00:00
Geoffrey White	249f350cc8	Fix NewDelete.qll performance.	2019-03-12 11:32:24 +00:00
Geoffrey White	56fe91d774	CPP: cached -> pragma[nomagic].	2019-03-05 08:59:16 +00:00
Geoffrey White	a9ce2f7a62	CPP: Simplify out some old optimizations (that make little difference now).	2019-03-04 13:13:04 +00:00
Geoffrey White	df73bb3468	CPP: Fix performance issue. Also has a small positive effect on correctness.	2019-03-04 12:47:55 +00:00
Geoffrey White	cd13e5877f	CPP: Performance improvement.	2019-02-21 11:31:44 +00:00
Geoffrey White	d30bcb6fcf	CPP: Widen allocReachedVariable slightly.	2019-02-20 10:19:57 +00:00
Pavel Avgustinov	b55526aa58	QL code and tests for C#/C++/JavaScript.	2018-08-02 17:53:23 +01:00