Owen Mansel-Chan
|
92a719092a
|
Update models in test output
|
2026-03-05 13:32:52 +00:00 |
|
Owen Mansel-Chan
|
579c871b69
|
Fix incorrect constructor summary models
|
2026-03-05 12:03:21 +00:00 |
|
Owen Mansel-Chan
|
63c71b418c
|
Add model validation for constructor summary models
|
2026-03-05 12:02:37 +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 |
|
yoff
|
600f585a31
|
Merge pull request #21296 from yoff/python/bool-comparison-guards
Python: Handle guards being compared to boolean literals
|
2026-02-26 21:13:51 +01:00 |
|