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
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
Tom Hvitved
4280d35bf3
Merge pull request #21366 from hvitved/rust/type-inference-unify-method-resolution
...
Rust: Unify logic in `MethodResolution`; remove `TypeQualifierIsInstantiationOfImplSelf` logic
2026-02-26 14:38:35 +01:00
Tom Hvitved
11a726d1b4
Address review comments
2026-02-26 14:23:41 +01:00
yoff
89e5a9bd72
Update python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPublic.qll
...
Co-authored-by: Taus <tausbn@github.com >
2026-02-26 13:14:26 +01:00
yoff
cfbae50845
Python: convert barrier guard to MaD
2026-02-26 13:12:34 +01:00
yoff
9b9c9304c7
Python: simplify logic, suggested in review
2026-02-25 18:16:38 +01:00
yoff
c4f8748a42
Python: simplify barrier guard
2026-02-25 18:03:40 +01:00
Geoffrey White
5523b5e25f
Merge pull request #21271 from geoffw0/neutralmodels
...
Rust: Add support for neutral models.
2026-02-25 16:15:55 +00:00
Paolo Tranquilli
4e4d0555c0
Merge pull request #21373 from github/redsun82/load-cc-explicitly
...
Bazel: load `rules_cc` and `rules_shell` explicitly
2026-02-25 16:10:16 +01:00
Geoffrey White
ccc318106e
Rust: Add an empty.model.yml similar to the one in CPP, to avoid errors about missing extensionals.
2026-02-25 14:25:12 +00:00
Paolo Tranquilli
4d0c72eafe
Bazel: add explicit rules_shell load
2026-02-25 14:05:53 +01:00
Paolo Tranquilli
15a2575949
Merge branch 'main' into redsun82/load-cc-explicitly
2026-02-25 13:59:29 +01:00
Paolo Tranquilli
968856ed96
Merge pull request #21371 from github/redsun82/fix-local-go-builds
...
Go: fix standalone build of the Go extractor
2026-02-25 13:52:49 +01:00
Paolo Tranquilli
5b5dc9c708
Bazel: load rules_cc explicitly
...
Turns out in https://github.com/github/codeql/pull/21371 I was right
about `java_*` rules not relying on autoload anywhere, but it turns out
some `cc_*` rules still relied on autoload. This autoload is currently
configured in the internal repository, but we want to remove it
eventually. This patch:
* adds explicit loads to `rules_cc`
* removes an obsolete file (that depedency has its own bazel module
since some time, we just forgot to remove the old file)
2026-02-25 13:52:25 +01:00
Paolo Tranquilli
42e41c57d4
Go: fix standalone build of the Go extractor
...
https://github.com/github/codeql/pull/21276 worked together with the
internal changes but broke the standalone build of the Go extractor of
this repo in isolation.
The root cause was the lack of an auto-loaded `java_library` rule
definition. This fixes it.
I also checked this doesn't happen anywhere else.
2026-02-25 13:33:54 +01:00