13 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	2a514d60d4	C++: Add 'isBarrierIn' to prevent path duplication.	2022-09-29 19:55:58 +01:00
Mathias Vorreiter Pedersen	769ff5c6f3	C++: Add 'isAdditionalFlowStep' predicates for both configurations in the product dataflow library and use them to fix missing results in the 'cpp/overrun-write' query.	2022-09-28 15:17:04 +01:00
Mathias Vorreiter Pedersen	549eca1b17	C++: Fix 'implicit use of this'.	2022-09-27 16:29:30 +01:00
Mathias Vorreiter Pedersen	e4305948ef	C++: Fix FP on CWE-193 by blocking flow through back-edges of phi nodes.	2022-09-27 16:28:03 +01:00
Mathias Vorreiter Pedersen	dc00643ad1	C++: More QLDoc.	2022-09-16 17:14:29 +01:00
Mathias Vorreiter Pedersen	d981f898e4	C++: Add flow states to the product dataflow library.	2022-09-15 15:54:09 +01:00
Mathias Vorreiter Pedersen	e0a5d18d7d	C++: Respond to Schack feedback.	2022-09-07 11:16:35 +01:00
Robert Marsh	b1de54e9aa	C++: rewrite ProductFlow recursion for performance	2022-09-01 10:49:12 -04:00
Robert Marsh	c306ba4d77	C++: one more PR comment	2022-08-16 17:44:50 -04:00
Robert Marsh	66ce9158a3	C++: respond to easy comments on ProducFlow.qll	2022-08-16 17:44:48 -04:00
Robert Marsh	0ebd7d0de5	C++: respond to PR comments	2022-08-16 17:44:47 -04:00
Robert Marsh	e4d0e7431c	C++: some experimental product flow queries	2022-08-16 17:44:46 -04:00
Robert Marsh	d0f4c2f823	C++: product flow prototype	2022-08-16 17:44:45 -04:00