Asger F
|
c7341f295d
|
JS: Fix bad join in BarrierGuards.qll
|
2025-11-13 09:46:27 +01:00 |
|
Asger F
|
578355ac27
|
JS: Fix bad join in CallGraphs.qll
|
2025-11-13 09:46:25 +01:00 |
|
Asger F
|
ecfa94600f
|
Sync ApiGraphModels.qll
|
2025-11-13 09:46:23 +01:00 |
|
Asger F
|
16e7dc1b8a
|
Sync ApiGraphModelsExtensions.qll
|
2025-11-13 09:46:21 +01:00 |
|
Asger F
|
46b1387846
|
JS: Make isAssignedInUniqueFile global, as it should be
|
2025-11-13 09:46:20 +01:00 |
|
Asger F
|
6498cd1b07
|
JS: Remove obsolete overlay[global] annotations
|
2025-11-13 09:46:18 +01:00 |
|
Asger F
|
0594f84dfc
|
JS: Improve join orders related to getABooleanValue()
|
2025-11-13 09:46:16 +01:00 |
|
Asger F
|
4645f327a5
|
JS: Avoid more bad joins due to locality
|
2025-11-13 09:46:14 +01:00 |
|
Asger F
|
269489e817
|
JS: Avoid bad join in shared predicate induced by 'forex'.
Use manual recursion instead.
|
2025-11-13 09:46:12 +01:00 |
|
Asger F
|
5dd87e379b
|
JS: Add overlay[local] to restore magic in unwrap() predicate
In this case we actually want magic to apply, but was prevented by locality.
|
2025-11-13 09:46:10 +01:00 |
|
Asger F
|
ac3913e7db
|
JS: Fix bad join in DuplicateProperty.ql
|
2025-11-13 09:46:08 +01:00 |
|
Asger F
|
e72232fd1d
|
JS: Add more overlay[caller?] annotations
|
2025-11-13 09:46:06 +01:00 |
|
Asger F
|
66febb263d
|
JS: Add some overlay[caller] and a pragma[nomagic] annotations
|
2025-11-13 09:46:05 +01:00 |
|
Taus
|
889209719b
|
JS: Overlay annotations for some failing tests
Locally these seem to get rid of the compilation warnings, but of course
CI is the true arbiter here.
|
2025-11-13 09:46:03 +01:00 |
|
Asger F
|
c09563f775
|
JS: Make more general-purpose data flow things local
|
2025-11-13 09:46:01 +01:00 |
|
Asger F
|
b1418e1d70
|
JS: Add overlay[local?] to new summaries after rebasing
|
2025-11-13 09:46:00 +01:00 |
|
Asger F
|
2b338fc1d9
|
JS: Fix getRawEnclosingStmt call
|
2025-11-13 09:45:58 +01:00 |
|
Asger F
|
23e42c89ee
|
JS: Overlay annotations for AST layer
|
2025-11-13 09:45:56 +01:00 |
|
idrissrio
|
e6d4e515b0
|
Java: Add change note for Maven Java version auto-detection
|
2025-11-13 09:41:32 +01:00 |
|
Geoffrey White
|
0675a29ae6
|
Rust: Minor corrections.
|
2025-11-12 19:26:45 +00:00 |
|
Tom Hvitved
|
467bd541d2
|
Merge pull request #20770 from hvitved/rust/attribute-macro-expansion-filter
Rust: Remove elements superseded by attribute macro expansions
|
2025-11-12 19:52:09 +01:00 |
|
Geoffrey White
|
7a62642ed7
|
Rust: Change note.
|
2025-11-12 18:17:12 +00:00 |
|
Geoffrey White
|
49063ac8a9
|
Rust: Cut down the example for readability.
|
2025-11-12 18:13:02 +00:00 |
|
Geoffrey White
|
dcae0ef975
|
Rust: I prefer the original certificates reference from the Go .qhelp.
|
2025-11-12 18:10:44 +00:00 |
|
Geoffrey White
|
87d66c69a3
|
Rust: Clean up the .qhelp a little.
|
2025-11-12 18:10:02 +00:00 |
|
Geoffrey White
|
bb78fdf150
|
Rust: Add qhelp and examples (translated from Go, by Copilot).
|
2025-11-12 16:50:50 +00:00 |
|
Geoffrey White
|
c77eef39e2
|
Rust: Convert the query to a path-problem with global data flow.
|
2025-11-12 16:21:46 +00:00 |
|
Geoffrey White
|
209f394b5e
|
Rust: Fix the alert message.
|
2025-11-12 15:51:03 +00:00 |
|
Geoffrey White
|
f8ef48b924
|
Rust: Add query test.
|
2025-11-12 15:44:15 +00:00 |
|
Nick Rolfe
|
86465b36e0
|
Merge pull request #20623 from github/nickrolfe/go-extractor-overlay
Go: basic overlay support
|
2025-11-12 14:56:25 +00:00 |
|
Geoffrey White
|
9598772477
|
Update rust/ql/examples/snippets/simple_constant_password.ql
Co-authored-by: Tom Hvitved <hvitved@github.com>
|
2025-11-12 14:37:45 +00:00 |
|
Michael Nebel
|
085d3c85cd
|
Merge pull request #20425 from michaelnebel/csharp/basicextractoroverlay
C#: Overlay extraction support.
|
2025-11-12 15:25:57 +01:00 |
|
Anders Schack-Mulligen
|
d6800394fa
|
Guards: Support disjunctive implications.
|
2025-11-12 14:14:32 +01:00 |
|
Anders Schack-Mulligen
|
2192d75286
|
Java: Add test for a known FP.
|
2025-11-12 14:08:18 +01:00 |
|
Owen Mansel-Chan
|
54ff206fde
|
Merge pull request #20822 from github/dependabot/go_modules/go/extractor/extractor-dependencies-b217d21568
Bump golang.org/x/mod from 0.29.0 to 0.30.0 in /go/extractor in the extractor-dependencies group
|
2025-11-12 09:27:06 +00:00 |
|
Paolo Tranquilli
|
7c31cf17d8
|
Merge pull request #20815 from github/update-ripunzip
Update ripunzip binaries to version v2.0.3
|
2025-11-12 10:25:59 +01:00 |
|
Anders Schack-Mulligen
|
4a58a0158a
|
Java: Reinstate useless null check results for fields that are no longer tracked as SSA variables.
|
2025-11-12 09:06:22 +01:00 |
|
Anders Schack-Mulligen
|
437ca58e3f
|
Java: Add change note.
|
2025-11-12 09:06:22 +01:00 |
|
Anders Schack-Mulligen
|
109a5eb7e7
|
Java: Accept qltest changes due to dropped UntrackedDef.
|
2025-11-12 09:06:21 +01:00 |
|
Anders Schack-Mulligen
|
e059ded133
|
Java: Accept toString changes in qltest.
|
2025-11-12 09:06:21 +01:00 |
|
Anders Schack-Mulligen
|
95ac61df42
|
Java: Drop caching of deprecated predicates.
|
2025-11-12 09:06:20 +01:00 |
|
Anders Schack-Mulligen
|
5849d85f1f
|
Java: Deprecate two more SSA classes.
|
2025-11-12 09:06:20 +01:00 |
|
Anders Schack-Mulligen
|
ee5d65eba1
|
Java: Update toString for implicit writes.
|
2025-11-12 09:06:19 +01:00 |
|
Anders Schack-Mulligen
|
f0bd0346f0
|
Java: Replace usages of SsaVariable.
|
2025-11-12 09:06:19 +01:00 |
|
Anders Schack-Mulligen
|
8594ae03df
|
Java: Replace remaining SsaImplicitInit.
|
2025-11-12 09:06:19 +01:00 |
|
Anders Schack-Mulligen
|
f4b9efcdce
|
Java: Replace getAUse with getARead.
|
2025-11-12 09:06:18 +01:00 |
|
Anders Schack-Mulligen
|
35caede859
|
Java: Replace SsaPhiNode with SsaPhiDefinition.
|
2025-11-12 09:06:18 +01:00 |
|
Anders Schack-Mulligen
|
3e43c53b9d
|
Java: Update some qldoc deprecation notices.
|
2025-11-12 09:06:17 +01:00 |
|
Anders Schack-Mulligen
|
06df5c0bd1
|
Java: Introduce SsaCapturedDefinition and replace uses of getAnUltimateDefinition.
|
2025-11-12 09:06:17 +01:00 |
|
Anders Schack-Mulligen
|
483b2d89a7
|
Java: Replace uses of SsaExplicitUpdate.
|
2025-11-12 09:06:16 +01:00 |
|