86245 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Owen Mansel-Chan	b475f14575	Replace // $:tag with // $ tag in 2 tests	2026-03-04 12:44:59 +00:00
Owen Mansel-Chan	d4ba2d68f9	Go: Inline expectation should have space after $ ... This was a regex-find-replace from `// \$(?! )` (using a negative lookahead) to `// $ `.	2026-03-04 12:44:57 +00:00
Owen Mansel-Chan	05a77a2005	Java: Update test expectations	2026-03-04 12:44:56 +00:00
Owen Mansel-Chan	ef345a3279	Java: Inline expectation should have space after $ ... This was a regex-find-replace from `// \$(?! )` (using a negative lookahead) to `// $ `.	2026-03-04 12:44:54 +00:00
Michael Nebel	219ea28217	Merge pull request #21400 from michaelnebel/csharp/implicitconversionreverseflowtaint ... C#: Add default taint step from an implicit operator call to its argument.	2026-03-04 12:40:59 +01:00
Michael Nebel	fbf40ef02a	Update csharp/ql/lib/semmle/code/csharp/dataflow/internal/TaintTrackingPrivate.qll ... Co-authored-by: Tom Hvitved <hvitved@github.com>	2026-03-04 12:28:07 +01:00
Anders Schack-Mulligen	2782d90d0f	Merge pull request #21403 from aschackmull/cfg/tweaks ... Cfg: Small tweaks.	2026-03-04 11:17:15 +01:00
Michael Nebel	a604a68fe9	C#: Add change-note.	2026-03-04 08:03:32 +01:00
Michael Nebel	4e2a93df55	C#: Remove comment.	2026-03-04 07:58:55 +01:00
Mathias Vorreiter Pedersen	6a904eddd4	Merge pull request #21390 from MathiasVP/less-reevaluation-4 ... C++: Reduce re-evaluation	2026-03-03 15:09:55 +00:00
Michael Nebel	cfd4be6b4e	C#: Update test expected output.	2026-03-03 14:39:57 +01:00
Michael Nebel	93a28cbfaf	C#: Add default (reverse update) taint step from implicit operator calls to their arguments.	2026-03-03 14:39:52 +01:00
Michael Nebel	8807217e49	C#: Add implicit conversion operator taint example.	2026-03-03 14:26:46 +01:00
Anders Schack-Mulligen	daefd5988e	Java: Accept CFG diff.	2026-03-03 14:18:10 +01:00
Anders Schack-Mulligen	d9ea78bfb8	Cfg: Step directly from a failed case guard to the next case.	2026-03-03 13:42:13 +01:00
Anders Schack-Mulligen	f02abb3e93	Cfg: Handle ExprStmt and BlockStmt in defaultStep.	2026-03-03 13:34:27 +01:00
Michael Nebel	a2f45f1b5b	Merge pull request #21383 from michaelnebel/csharp/postupdatenoderestriction ... C#: Add post-update nodes for `struct` type argument nodes.	2026-03-03 12:34:06 +01:00
Ian Lynagh	16cd3a8bc0	Merge pull request #21399 from igfoo/igfoo/star_ids_trap_tags_ql ... C++ overlay: Tweak dbsheme	2026-03-02 17:50:04 +00:00
Michael Nebel	319e3d1ba4	C#: Add change-note.	2026-03-02 15:34:20 +01:00
Michael Nebel	8380474acd	C#: Update other test expected output.	2026-03-02 15:32:37 +01:00
Michael Nebel	a3d15dbaa3	C#: Update test expected output for new tests.	2026-03-02 15:25:31 +01:00
Michael Nebel	ec7e6e8e03	C#: Add post-update nodes for arguments of struct type.	2026-03-02 15:25:27 +01:00
Michael Nebel	4e63b83fd3	C#: Add struct source model example.	2026-03-02 14:50:04 +01:00
Michael Nebel	ea1fc43732	C#: Add data flow test for struct.	2026-03-02 14:50:01 +01:00
Michael Nebel	13959ab91e	Merge pull request #21335 from michaelnebel/csharp14/partialconstrucstors ... C# 14: Support for partial constructor declarations.	2026-03-02 14:47:56 +01:00
Anders Schack-Mulligen	e695477f4f	Merge pull request #21290 from aschackmull/cfg/new-shared ... Java/Cfg: Introduce new shared CFG library and replace the Java CFG.	2026-03-02 13:56:59 +01:00
Anders Schack-Mulligen	627654cff9	Cfg: A few more review tweaks.	2026-03-02 13:08:23 +01:00
Ian Lynagh	bd0d69ffca	C++: Add up/downgrade scripts	2026-02-27 22:00:01 +00:00
Ian Lynagh	97ed67e284	C++ overlay: Update stats	2026-02-27 21:40:01 +00:00
Mathias Vorreiter Pedersen	db33dadb8e	C++: Add QLDoc. Also actually implement 'uninitializedNode' since there's no reason not to do so.	2026-02-27 17:36:57 +00:00
Mathias Vorreiter Pedersen	1139059d77	C++: Fix imports.	2026-02-27 17:12:00 +00:00
Mathias Vorreiter Pedersen	92f26027e1	C++: Remove outdated comment.	2026-02-27 16:32:04 +00:00
Mathias Vorreiter Pedersen	85875c2879	C++: Remove unnecessary recursion through Node.toString.	2026-02-27 16:32:01 +00:00
Mathias Vorreiter Pedersen	17e6fd2fe9	C++: Disable magic to prevent re-evaluation.	2026-02-27 16:31:58 +00:00
Mathias Vorreiter Pedersen	5d75b255a8	C++: Remove IR re-evaluation.	2026-02-27 16:31:56 +00:00
Mathias Vorreiter Pedersen	26e8701ae3	C++: Fix a few qualifiers.	2026-02-27 16:22:51 +00:00
Mathias Vorreiter Pedersen	cdb41588a9	C++: Fix some imports.	2026-02-27 16:22:49 +00:00
Mathias Vorreiter Pedersen	1eccb8ea93	C++: Add a cache module to taint-tracking and ensure they happen in the same stage as the dataflow stage.	2026-02-27 16:22:47 +00:00
Mathias Vorreiter Pedersen	66611323e2	C++: No need to keep this in its own module now.	2026-02-27 16:22:44 +00:00
Mathias Vorreiter Pedersen	d804fc5168	C++: Remove the 'ExprFlowCached' module. Instead we have a single cached module.	2026-02-27 16:22:42 +00:00
Mathias Vorreiter Pedersen	f223c957ba	C++: Cache 'toString' and 'getLocation'.	2026-02-27 16:22:39 +00:00
Mathias Vorreiter Pedersen	86bd0c0dc3	C++: Move a bunch of newtypes and predicates into a cached module.	2026-02-27 16:22:36 +00:00
Mathias Vorreiter Pedersen	6e0c5615fe	C++: Move a bunch non-public dataflow node subtypes.	2026-02-27 16:22:33 +00:00
Mathias Vorreiter Pedersen	edde4149aa	C++: Move 'Node' into the public module.	2026-02-27 16:22:29 +00:00
Mathias Vorreiter Pedersen	87478d016a	C++: Move 'FieldAddress' and 'conversionFlow'.	2026-02-27 16:22:26 +00:00
Mathias Vorreiter Pedersen	09d74a3b3e	C++: Move 'CanonicalField' stuff.	2026-02-27 16:22:23 +00:00
Mathias Vorreiter Pedersen	271a759490	C++: Move 'TIRDataFlowNode'.	2026-02-27 16:22:21 +00:00
Mathias Vorreiter Pedersen	b9595d985e	C++: Create a new file.	2026-02-27 16:22:19 +00:00
Anders Schack-Mulligen	ab94524328	Cfg: Address review comments.	2026-02-27 16:35:25 +01:00
Ian Lynagh	155e21e729	C++ overlays: Tweak dbscheme	2026-02-27 15:28:15 +00:00