2466 Commits

Author	SHA1	Message	Date
Robert Marsh	f235b991db	Merge pull request #11374 from MathiasVP/indirect-outnodes-are-post-update-nodes ... C++: Field flow through reference-returning functions	2022-12-08 10:46:19 -05:00
Jeroen Ketema	8f9a73ee09	C++: Address review comments	2022-12-08 16:14:12 +01:00
Jeroen Ketema	f35b7f8fe8	C++: Model scanf and fscanf as flow sources	2022-12-08 15:22:41 +01:00
Mathias Vorreiter Pedersen	f814ce7f10	Merge branch 'mathiasvp/replace-ast-with-ir-use-usedataflow' into refactor-isdef-isuse	2022-12-08 13:25:20 +00:00
Mathias Vorreiter Pedersen	4fd6ac5657	Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow	2022-12-08 13:10:18 +00:00
Mathias Vorreiter Pedersen	6897b20722	Merge pull request #11601 from MathiasVP/keep-std-string-iterator	2022-12-08 12:59:33 +00:00
Mathias Vorreiter Pedersen	36d0903733	C++: Simplify 'getSourceVariable'.	2022-12-08 12:29:15 +00:00
Jeroen Ketema	a6bc9fd10f	Merge pull request #11591 from jketema/getenv ... C++: Model `secure_getenv` and `_wgetenv` as local flow sources	2022-12-08 10:44:28 +01:00
Mathias Vorreiter Pedersen	9f85175ee1	C++: Fix blowup in 'stripPointer'.	2022-12-07 22:35:37 +00:00
Mathias Vorreiter Pedersen	5ae3228928	C++: Fix TODO.	2022-12-07 22:34:10 +00:00
Mathias Vorreiter Pedersen	68f0997d87	C++: Generalize loads and stores.	2022-12-07 22:34:10 +00:00
Mathias Vorreiter Pedersen	589f7bdbcc	C++: Introduce BaseSourceVariableInstruction.	2022-12-07 22:34:03 +00:00
Mathias Vorreiter Pedersen	54c12cd715	C++: Reintroduce 'StdBasicStringIterator'.	2022-12-07 18:21:52 +00:00
Jeroen Ketema	01d8ad98f6	C++: Model secure_getenv and _wgetenv as local flow sources	2022-12-07 13:37:12 +01:00
Jeroen Ketema	b5147bbfb0	C++: Deprecate DefaultTaintTracking and TaintTrackingImpl	2022-12-06 17:45:16 +01:00
Mathias Vorreiter Pedersen	e71fbb1def	Merge pull request #11541 from MathiasVP/add-node0 ... C++: Introduce a pre-SSA `DataFlow::Node` class	2022-12-06 13:28:39 +00:00
Tom Hvitved	52f3a48638	Data flow: Sync files	2022-12-05 12:57:27 +01:00
Mathias Vorreiter Pedersen	c563ed3635	Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow	2022-12-05 10:27:55 +00:00
Mathias Vorreiter Pedersen	43adfe8893	C++: Fix QLDoc.	2022-12-02 11:30:46 +00:00
Mathias Vorreiter Pedersen	cef7224739	C++: Make QL-for-QL happy.	2022-12-02 10:12:25 +00:00
Mathias Vorreiter Pedersen	a245977075	C++: Change iterator models.	2022-12-02 10:11:20 +00:00
Mathias Vorreiter Pedersen	145dea0e9b	C++: Introduce a node class that exists before computing SSA.	2022-12-02 10:04:52 +00:00
Owen Mansel-Chan	55c4643b20	Dataflow: Sync.	2022-11-30 11:00:07 +00:00
Jeroen Ketema	2ef13d1df7	Merge remote-tracking branch 'upstream/main' into mathiasvp/replace-ast-with-ir-use-usedataflow	2022-11-29 10:43:01 +01:00
Tom Hvitved	f3dca95958	Merge pull request #11087 from hvitved/dataflow/summary-ctx ... Data flow: Add summary/return context to pruning stages 2-4	2022-11-29 10:36:53 +01:00
Tom Hvitved	cde05e1190	Data flow: Sync files	2022-11-28 12:11:38 +01:00
Jeroen Ketema	223eeb6921	C++: Fix upper bound detection in default taint flow	2022-11-24 14:38:36 +01:00
Erik Krogh Kristensen	1eec067474	Merge pull request #11294 from erik-krogh/fileDoc ... QL: improve the "this block-comment should have been a QLDoc"-query	2022-11-23 22:23:36 +01:00
Mathias Vorreiter Pedersen	349c5cd800	Merge pull request #11254 from MathiasVP/fix-ssa-flow ... C++: Fix spurious reference flow	2022-11-23 09:52:28 +00:00
Mathias Vorreiter Pedersen	623372238d	C++: Better support for flow-through.	2022-11-22 13:54:44 +00:00
Jeroen Ketema	cfb8f282d1	Merge pull request #11369 from jketema/fun-typo ... C++: Fix typo flagged up by QL-for-QL	2022-11-22 12:34:54 +01:00
Jeroen Ketema	6a68e7936f	C++: Fix typo flagged up by QL-for-QL	2022-11-22 11:53:11 +01:00
Mathias Vorreiter Pedersen	98285393fe	Merge pull request #11357 from MathiasVP/ignore-more-instructions ... C++: Ignore more instructions in dataflow	2022-11-22 10:47:51 +00:00
Jeroen Ketema	4731f9222c	Merge remote-tracking branch 'upstream/main' into mathiasvp/replace-ast-with-ir-use-usedataflow	2022-11-22 10:53:24 +01:00
Mathias Vorreiter Pedersen	320b5ca01a	C++: Ignore more instructions for dataflow.	2022-11-21 21:39:19 +00:00
Mathias Vorreiter Pedersen	fc3d6a1847	Merge branch 'replace-ast-with-ir-use-usedataflow' into fix-ssa-flow	2022-11-21 20:57:24 +00:00
Mathias Vorreiter Pedersen	c2ac60fc34	Merge pull request #11311 from MathiasVP/repair-mustflow ... C++: Repair `MustFlow` library for use-use flow	2022-11-21 19:13:10 +00:00
Mathias Vorreiter Pedersen	231e2a8df3	C++: Reduce fan-in for 'readStep'.	2022-11-21 17:07:29 +00:00
Mathias Vorreiter Pedersen	24542ec84a	Merge branch 'main' into replace-ast-with-ir-use-usedataflow	2022-11-21 15:02:28 +00:00
Jeroen Ketema	78ad9ba60f	Merge pull request #11262 from rdmarsh2/rdmarsh2/cpp/deprecate-ast-gvn ... C++: deprecate AST-based GVN	2022-11-21 13:38:54 +01:00
Tom Hvitved	99e70e9a50	Data flow: Sync files	2022-11-20 10:19:23 +01:00
Mathias Vorreiter Pedersen	b748ed8f43	C++: Repair the 'MustFlow' library.	2022-11-18 16:41:32 +00:00
erik-krogh	a5a244fc53	CPP: delete old deprecations	2022-11-17 22:12:50 +01:00
Mathias Vorreiter Pedersen	b12955e220	C++: Fix flow out of const member functions.	2022-11-16 22:46:21 +00:00
Mathias Vorreiter Pedersen	29f4b26280	Merge branch 'replace-ast-with-ir-use-usedataflow' into fix-ssa-flow	2022-11-16 16:09:35 +00:00
Mathias Vorreiter Pedersen	a9173727cf	Merge branch 'replace-ast-with-ir-use-usedataflow' into fix-ssa-flow	2022-11-16 14:22:54 +00:00
Mathias Vorreiter Pedersen	3b1b8cc720	C++: Fix SSA for array writes.	2022-11-16 14:05:54 +00:00
Mathias Vorreiter Pedersen	235a06903e	C++: Fix 'asParameter' to handle references.	2022-11-16 14:05:42 +00:00
erik-krogh	20c4699478	CPP: convert some block-comments that could be QLDoc to QLDoc	2022-11-16 13:39:22 +01:00
Anders Schack-Mulligen	94bca4399a	Merge pull request #11183 from aschackmull/dataflow/groupflow ... Dataflow: Introduce support for src/sink grouping in path results.	2022-11-16 12:59:01 +01:00