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 |
|
Anders Schack-Mulligen
|
07e635636c
|
Java: Replace getAFirstUse with top-level predicate.
|
2025-11-12 09:06:16 +01:00 |
|
Anders Schack-Mulligen
|
99aa0333cf
|
Java: Replace usages of isParameterDefinition.
|
2025-11-12 09:06:15 +01:00 |
|
Anders Schack-Mulligen
|
154f0770de
|
Java: Simplify instantiation of Guards and ControlFlowReachability.
|
2025-11-12 09:06:15 +01:00 |
|
Anders Schack-Mulligen
|
d5708fdd4e
|
Java: Instantiate shared SSA wrappers for main SSA.
|
2025-11-12 09:06:14 +01:00 |
|
Anders Schack-Mulligen
|
942dc2b89e
|
Java: Replace BaseSSA class wrappers with shared code.
|
2025-11-12 09:06:14 +01:00 |
|
Anders Schack-Mulligen
|
551944bacb
|
Java: Add VariableWrite class.
|
2025-11-12 09:06:13 +01:00 |
|
Anders Schack-Mulligen
|
289d3374ef
|
SSA: Improve toString.
|
2025-11-12 09:06:13 +01:00 |
|
Anders Schack-Mulligen
|
79b2f21b07
|
SSA: Fix phi defs.
|
2025-11-12 09:06:12 +01:00 |
|
Anders Schack-Mulligen
|
374c77213f
|
Java: Remove getAFirstUse in BaseSSA.
|
2025-11-12 09:06:12 +01:00 |
|
Anders Schack-Mulligen
|
f2181ece4f
|
Java: Get rid of untracked SSA definitions.
|
2025-11-12 09:06:11 +01:00 |
|
Anders Schack-Mulligen
|
c4f0868844
|
Java: Move SSA entry defs to index -1.
|
2025-11-12 09:06:11 +01:00 |
|
idrissrio
|
3b7f2f4eda
|
Java: Add LGTM_INDEX_ MAVEN_TOLLCHAINS_FILE for new Maven integration tests
|
2025-11-12 08:39:40 +01:00 |
|
idrissrio
|
a82b5e7aa1
|
Java: Add test for selecting the highest compiler release in a pom
|
2025-11-12 08:39:39 +01:00 |
|
idrissrio
|
7dab2bef69
|
Java: Add test for Java 16 target when only Java 17+ is available
|
2025-11-12 08:39:37 +01:00 |
|
idrissrio
|
fcc54c1470
|
Java: Add test for detecting --add-exports in poms
|
2025-11-12 08:39:36 +01:00 |
|
idrissrio
|
5247c88da1
|
Java: Add test for pom targeting Java 8 but rquiring Java 11
|
2025-11-12 08:39:35 +01:00 |
|
idrissrio
|
6b890eaf94
|
Java: Add test for multi-module projects with different Java versions
|
2025-11-12 08:39:34 +01:00 |
|
dependabot[bot]
|
c88952423e
|
Bump golang.org/x/mod
Bumps the extractor-dependencies group in /go/extractor with 1 update: [golang.org/x/mod](https://github.com/golang/mod).
Updates `golang.org/x/mod` from 0.29.0 to 0.30.0
- [Commits](https://github.com/golang/mod/compare/v0.29.0...v0.30.0)
---
updated-dependencies:
- dependency-name: golang.org/x/mod
dependency-version: 0.30.0
dependency-type: direct:production
update-type: version-update:semver-minor
dependency-group: extractor-dependencies
...
Signed-off-by: dependabot[bot] <support@github.com>
|
2025-11-12 03:08:31 +00:00 |
|
Paolo Tranquilli
|
3483007b2a
|
Ripunzip: use new archives
|
2025-11-11 17:44:12 +01:00 |
|
Geoffrey White
|
f6b7aeaaca
|
Rust: Add prototype query.
|
2025-11-11 16:01:10 +00:00 |
|
Nick Rolfe
|
e5ba4143ff
|
Go: add change-note for path transformer fixes
|
2025-11-11 15:47:53 +00:00 |
|
github-actions[bot]
|
d5734af555
|
Update ripunzip binaries to version v2.0.3
|
2025-11-11 13:40:02 +00:00 |
|
Paolo Tranquilli
|
0419667460
|
Merge pull request #20802 from github/redsun82/ripunzip
CI: make `build-ripunzip.yml` auto-create update PR
|
2025-11-11 14:34:39 +01:00 |
|
Michael B. Gale
|
f1076b9eb1
|
Merge pull request #20813 from github/post-release-prep/codeql-cli-2.23.5
Post-release preparation for codeql-cli-2.23.5
|
2025-11-11 13:13:14 +00:00 |
|
Henry Mercer
|
d3dc7908f8
|
Merge branch 'main' into post-release-prep/codeql-cli-2.23.5
|
2025-11-11 12:55:58 +00:00 |
|
Anders Schack-Mulligen
|
62e28d2dcf
|
Guards: Simplify non-linear join.
|
2025-11-11 13:34:47 +01:00 |
|
github-actions[bot]
|
466a6f330a
|
Post-release preparation for codeql-cli-2.23.5
|
2025-11-11 12:21:57 +00:00 |
|
Anders Schack-Mulligen
|
3c7522ca7d
|
Guards: Replace recursion through universal quantification with rank-iteration.
|
2025-11-11 13:03:05 +01:00 |
|
Paolo Tranquilli
|
e2671da05f
|
Fix build-ripunzip.yml archive step on macos
|
2025-11-11 13:01:39 +01:00 |
|
Anders Schack-Mulligen
|
a5279ec420
|
Guards: Rank return expressions.
|
2025-11-11 12:52:07 +01:00 |
|
Paolo Tranquilli
|
104f0e3a02
|
Fix build-ripunzip.yml archive step on windows
|
2025-11-11 12:51:30 +01:00 |
|