19 Commits

Author	SHA1	Message	Date
Jeroen Ketema	12702b59d3	C++: Fix deprecation warning	2023-04-06 17:13:15 +02:00
Jeroen Ketema	9123657fd2	C++: Update product flow to match data flow naming	2023-04-06 17:13:12 +02:00
Jeroen Ketema	a38c3171dd	C++: Use Unit instead of string in product flow	2023-04-06 17:11:56 +02:00
Jeroen Ketema	9b89a303ef	C++: Simplify the flow-state-less product flow module	2023-04-06 17:11:32 +02:00
Jeroen Ketema	4e12924521	C++: Refactor ProductFlow to have a DataFlow::ConfigSig-like interface	2023-04-06 17:10:40 +02:00
Jeroen Ketema	b023c6bb23	C++: Remove experimental copy of the use-use IR dataflow library	2023-02-10 16:20:33 +01:00
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