Asger F
|
825c08356f
|
JS: Change signature of 'edges' to support quick eval
|
2026-01-07 11:05:41 +01:00 |
|
Asger F
|
4bd0f34938
|
JS: Add debug tools for detecting lost nodes/edges
|
2026-01-07 11:05:41 +01:00 |
|
Asger F
|
c9d3f06fbc
|
JS:Add more member labels
|
2026-01-07 11:05:41 +01:00 |
|
Asger F
|
9c37e076cc
|
JS: Add overlay-specific Stage2
|
2026-01-07 11:05:41 +01:00 |
|
Asger F
|
1001e86f20
|
JS: Restrict Stage1 to the base database
|
2026-01-07 11:05:41 +01:00 |
|
Asger F
|
b12d927020
|
JS: Also expose "any state" version of tracking predicates
|
2026-01-07 11:05:41 +01:00 |
|
Asger F
|
daf04f1184
|
JS: Call forceLocal on the output of Stage 1
|
2026-01-07 11:05:41 +01:00 |
|
Asger F
|
271567c88f
|
JS: Add missing def-node roots
|
2026-01-07 11:05:41 +01:00 |
|
Asger F
|
123bc64091
|
JS: Improve join order at MkUse call
|
2026-01-07 11:05:41 +01:00 |
|
Asger F
|
295bc6981d
|
JS: Make API nodes and labels local
|
2026-01-07 11:05:41 +01:00 |
|
Asger F
|
6c00a7fb96
|
JS: Remove unused predicate
|
2026-01-07 11:05:41 +01:00 |
|
Asger F
|
3ed0f36bb1
|
JS: Use forceLocal to localize MkTypeUse
|
2026-01-07 11:05:41 +01:00 |
|
Asger F
|
385bb32710
|
JS: Localize MkClassInstance
|
2026-01-07 11:05:41 +01:00 |
|
Asger F
|
a2a9518d2a
|
JS: Localize MkModuleImport
|
2026-01-07 11:05:41 +01:00 |
|
Asger F
|
3110e5a8ac
|
JS: Localize MkModuleExport
|
2026-01-07 11:05:41 +01:00 |
|
Asger F
|
c8108d109d
|
JS: Localize charpred of API::EntryPoint
This is needed for localizing ApiLabel later
|
2026-01-07 11:05:41 +01:00 |
|
Asger F
|
b69f8532d0
|
JS: Moving 'cache' annotations outside the parameterised module
|
2026-01-07 11:05:41 +01:00 |
|
Asger F
|
10db30a715
|
JS: Parameterise the module (still only one instantiation)
|
2026-01-07 11:05:41 +01:00 |
|
Asger F
|
465f4b987d
|
JS: Wrap in a module
Simply wraps everything in 'cached private module Stage {}' and adds 'import Stage'.
The diff is large because of indentation changes.
|
2026-01-07 11:05:41 +01:00 |
|
Asger F
|
fd65eeba0a
|
JS: Make use() and rhs() uncached and private
|
2026-01-07 11:05:41 +01:00 |
|
Asger F
|
8f413856e0
|
JS: Make other node types not depend on tracking predicates
|
2026-01-07 11:05:41 +01:00 |
|
Asger F
|
7fc87536bf
|
JS: Make MkSyntheticCallbackArg() independent of trackUseNode
|
2026-01-07 11:05:41 +01:00 |
|
Asger F
|
12c0ad0e04
|
JS: Stop dependeding on getPath() for toString()
|
2026-01-07 11:05:41 +01:00 |
|
Simon Friis Vindum
|
bd24fb0baa
|
C++: Add simple range analysis test for bitshift
|
2026-01-07 10:56:50 +01:00 |
|
Tom Hvitved
|
dce21e595e
|
Rust: Model implicit Deref trait calls in data flow
|
2026-01-07 10:51:56 +01:00 |
|
Tom Hvitved
|
0c7aeb4bce
|
Rust: Update data flow test to use implicit borrow
|
2026-01-07 10:51:55 +01:00 |
|
Tom Hvitved
|
4540662ab9
|
Rust: Model Deref trait in type inference
|
2026-01-07 10:51:53 +01:00 |
|
Tom Hvitved
|
caa0e90cd8
|
Rust: More type inference tests
|
2026-01-07 10:51:52 +01:00 |
|
Geoffrey White
|
503a1b5d0c
|
Merge pull request #21107 from geoffw0/rusttest
Rust: Additional test cases for tuple content.
|
2026-01-07 09:37:14 +00:00 |
|
Michael Nebel
|
8fe31a1fd6
|
C#: Add some more testcases and update test expected output.
|
2026-01-07 09:56:02 +01:00 |
|
Michael Nebel
|
a991afdf69
|
C#: Use ref conversions (including variance conversions) for element types of span conversions.
|
2026-01-07 09:55:10 +01:00 |
|
Michael Nebel
|
77b0c4bbe4
|
Merge pull request #21111 from github/workflow/coverage/update
Update CSV framework coverage reports
|
2026-01-07 09:41:21 +01:00 |
|
github-actions[bot]
|
53a0b8dd47
|
Add changed framework coverage reports
|
2026-01-07 00:25:25 +00:00 |
|
Owen Mansel-Chan
|
a7c4ba503e
|
Add missing qldoc
|
2026-01-06 23:41:33 +00:00 |
|
Owen Mansel-Chan
|
8602c4c57c
|
Rename Default* to External* for MaD classes
|
2026-01-06 22:57:01 +00:00 |
|
Owen Mansel-Chan
|
7fff3534fa
|
Convert 3 barriers for path injection to MaD
|
2026-01-06 22:56:59 +00:00 |
|
Owen Mansel-Chan
|
1e18fce300
|
Convert xss sanitizer to MaD
|
2026-01-06 22:56:57 +00:00 |
|
Owen Mansel-Chan
|
1e6410804f
|
Allow non-query-specific MaD sanitizers
|
2026-01-06 22:56:55 +00:00 |
|
Anders Schack-Mulligen
|
1fbc28b753
|
Go: Add support for MaD barriers and barrier guards.
|
2026-01-06 22:51:32 +00:00 |
|
Jeroen Ketema
|
c567197f29
|
C++: Simplify expression
|
2026-01-06 21:58:43 +01:00 |
|
Ian Lynagh
|
70cc153cf5
|
Merge pull request #21104 from github/post-release-prep/codeql-cli-2.23.9
Post-release preparation for codeql-cli-2.23.9
|
2026-01-06 18:25:18 +00:00 |
|
Geoffrey White
|
13df23630b
|
Rust: Effect of lifting content reads as taint steps.
|
2026-01-06 16:47:07 +00:00 |
|
Jeroen Ketema
|
063e5d300e
|
C++: Remove redundant SSA branch after IR fix
|
2026-01-06 17:40:52 +01:00 |
|
Geoffrey White
|
6e2702c3af
|
Rust: Add some taint tests involving tuples.
|
2026-01-06 16:38:36 +00:00 |
|
Jeroen Ketema
|
3cd9938ebe
|
C++: Update expected test results after IR changes
|
2026-01-06 17:37:22 +01:00 |
|
Jeroen Ketema
|
740518d23f
|
C++: Use the loaded this instead of the this initialization
|
2026-01-06 17:11:22 +01:00 |
|
github-actions[bot]
|
2cb932cf5d
|
Post-release preparation for codeql-cli-2.23.9
|
2026-01-06 15:42:16 +00:00 |
|
Ian Lynagh
|
b4f4b0e6b0
|
Merge pull request #21092 from github/release-prep/2.23.9
Release preparation for version 2.23.9
codeql-cli/v2.23.9
|
2026-01-06 15:06:25 +00:00 |
|
Owen Mansel-Chan
|
766e908c79
|
Accept MaD sanitizers for existing sink kinds
|
2026-01-06 14:38:27 +00:00 |
|
Owen Mansel-Chan
|
81667d741a
|
Rename classes for external sanitizers
|
2026-01-06 14:36:54 +00:00 |
|