Nora Dimitrijević
7174d4c8ba
Overlay.qll: discard predicates
...
for dbscheme elements with direct or indirect location links in dbscheme.
- Unify discardable entities under one Discardable superclass.
- Two discard predicates depending on TRAP ID type.
- Future-proof the XML and Yaml discard predicates for when their
extractors become incremental.
2025-10-06 11:47:51 +02:00
Nora Dimitrijević
1a9683f986
Add @top database type
2025-10-06 11:47:14 +02:00
Nora Dimitrijević
6f208e9dec
Write overlay metadata at end of extraction.
2025-10-06 11:47:12 +02:00
Nora Dimitrijević
49b18db044
Python extractor: in overlay mode, traverse only changed files
...
- fall back to full extraction on overlay changes json read error
- we filter both root modules and (transitive) imports against the overlay-changes json.
2025-10-06 11:47:09 +02:00
Asger F
587ad5c600
JS: Refine criteria so that explicit this-passing is not affected
2025-10-06 11:43:18 +02:00
Asger F
4d33190241
JS: Restrict this-argument passing in API graphs
2025-10-06 11:42:36 +02:00
Asger F
84c788a027
JS: Add API graph test for explicit 'this' passing
2025-10-06 11:40:40 +02:00
Nora Dimitrijević
e0cf719cb9
Path transformer: handle Windows-style paths
...
And don't add slash to start of path patterns on Windows.
2025-10-06 11:37:04 +02:00
Nora Dimitrijević
29b1a7403b
Support CODEQL_PATH_TRANSFORMER env var in python path renamer
...
The new name is required by overlay support.
2025-10-06 11:37:02 +02:00
Nora Dimitrijević
1574b5fd91
Add synthetic data to dbscheme.stats for databaseMetadata/overlayChangedFiles
2025-10-06 11:37:00 +02:00
Nora Dimitrijević
1c3a7f2b1e
Add database upgrade/downgrade scripts
2025-10-06 11:36:58 +02:00
Nora Dimitrijević
a88d3397cd
Add overlay builtins to python dbscheme
2025-10-06 11:36:56 +02:00
Nora Dimitrijević
4c9ca93cdf
Turn on overlay support in codeql-extractor.yml
2025-10-06 11:36:54 +02:00
Nora Dimitrijević
dac50fa0c1
Enable overlay compilation in lib/qlpack.yml
2025-10-06 11:36:51 +02:00
idrissrio
a22ec2d9c6
Java: Accept new test results after extractor changes
2025-10-06 11:18:16 +02:00
idrissrio
f6b6a007b1
Java: Add integration tests for Maven 4
2025-10-06 11:18:15 +02:00
Simon Friis Vindum
1f2cca7d00
Merge pull request #20547 from paldepind/rust/function-as-lambda
...
Rust: Handle functions as data flow lambdas
2025-10-06 10:15:55 +02:00
REDMOND\brodes
9fa30a3884
Crypto: Updating algorithm string literals and key generation algorithm literal sources to include signatures.
2025-10-03 18:09:27 -04:00
REDMOND\brodes
9c5765a48c
Crypto: Add missing string constants for signature algorithms.
2025-10-03 17:17:07 -04:00
REDMOND\brodes
66e9d7671d
Crypto: Add jca unit tests.
2025-10-03 13:32:02 -04:00
REDMOND\brodes
f4fea6d635
Crypto: Fix consistency update with "other" vs "unknown" naming convetions for openssl.
2025-10-03 12:10:48 -04:00
REDMOND\brodes
f1eb6511a7
Crypto: Add modeling for JCA signatures. Make consistent use of "unknown" or "other" for unrecognized types.
2025-10-03 12:07:37 -04:00
Anders Schack-Mulligen
84a65bef43
C#: Add change note.
2025-10-03 16:29:56 +02:00
Anders Schack-Mulligen
fad49ffbfb
C++: Accept qltest change (useless guard tautology removed).
2025-10-03 15:59:54 +02:00
Anders Schack-Mulligen
613c789378
C#: Remove some obsolete tests.
2025-10-03 15:29:36 +02:00
Anders Schack-Mulligen
b392767252
C#: Accept qltest changes.
2025-10-03 15:29:35 +02:00
Anders Schack-Mulligen
df6172b1f3
C#: Update nullness qltest
2025-10-03 15:29:35 +02:00
Anders Schack-Mulligen
64810f6fb5
C#: Improve ConstantCondition.ql
2025-10-03 15:29:34 +02:00
Anders Schack-Mulligen
587901bc8a
C#: Replace NullMaybe.ql implementation.
2025-10-03 15:29:34 +02:00
Anders Schack-Mulligen
6cfadbfe90
C#: Clean up.
2025-10-03 15:29:33 +02:00
Anders Schack-Mulligen
c2d21e95b9
C#: Instantiate ControlFlowReachability and implement new nullness.
2025-10-03 15:29:33 +02:00
Anders Schack-Mulligen
449059f1ac
C#: Disable FinallySplit, BooleanSplit, and LoopSplit
2025-10-03 15:29:32 +02:00
Anders Schack-Mulligen
b52a9a818c
C#: Instantiate shared Guards.
2025-10-03 15:29:32 +02:00
Anders Schack-Mulligen
c01ac307b0
Guards: Disregard more trivial guards.
2025-10-03 15:29:31 +02:00
Anders Schack-Mulligen
ca7d56023a
ControlFlow: Rename getAPhiInput to getAnInput.
2025-10-03 15:29:31 +02:00
Anders Schack-Mulligen
64caae554a
Guards: Refactor representation of false.
2025-10-03 15:29:30 +02:00
Simon Friis Vindum
402d58bc3a
Merge pull request #20553 from paldepind/rust-ruby/update-cargo-deps
...
Rust, ruby: Update cargo dependencies
2025-10-03 14:50:55 +02:00
Owen Mansel-Chan
ef1fe6cabc
Add code owners for /shared/
2025-10-03 10:40:45 +01:00
Anders Schack-Mulligen
2e9e357d7e
Rangeanalysis: Fix a join-order.
2025-10-03 10:52:52 +02:00
Jeroen Ketema
7807804f4d
Merge pull request #20573 from MathiasVP/fix-bad-magic-on-get-file
...
C++: Fix bad magic on `Element.getFile`
2025-10-03 01:21:32 +02:00
Owen Mansel-Chan
218c2a59eb
Merge pull request #14751 from owen-mc/go/feature/use-use-flow
...
Go: Switch from def-use flow to use-use flow
2025-10-02 23:53:54 +01:00
REDMOND\brodes
a46bd4c4ca
Crypto: JCA random number generation model.
2025-10-02 15:21:28 -04:00
REDMOND\brodes
507174e44f
Crypto: Fix bug in MacOperationNode constructor with detecting if the operation is also used for signatures.
2025-10-02 15:20:59 -04:00
Geoffrey White
479e735e77
Rust: Mirror information from supported-versions-compilers.rst in system-requirements.rst.
2025-10-02 19:00:30 +01:00
Geoffrey White
fb738f2d02
Rust: Update creating-path-queries.rst.
2025-10-02 18:36:39 +01:00
Ben Rodes
e823d80f0c
Merge branch 'main' into java_nonce_reuse_tests
2025-10-02 13:31:40 -04:00
Geoffrey White
3b1d6cd3d9
Rust: Add missing link (to existing doc).
2025-10-02 18:31:26 +01:00
Nicolas Will
cbe34f101b
Merge pull request #19944 from bdrodes/signature_model_refactor
...
Crypto: Refactor Model and signatures, fix models, add unit tests
2025-10-02 19:30:46 +02:00
Geoffrey White
4ec18c8a79
Rust: Remove the experimental note in supported-frameworks.rst.
2025-10-02 18:21:52 +01:00
Nicolas Will
4901cdf929
Crypto: Refactor and change casts to super
2025-10-02 18:43:38 +02:00
