Nora Dimitrijević aa5dd7bb4e Java: mass enable diff-informed data flow + none() overrides ...

An auto-generated patch that enables diff-informed data flow in the obvious cases.

Builds on github#18346 and github/codeql-patch#88

2025-06-17 14:05:36 +02:00

..

arithmetic

Java: Consider AssignOps in ArithExpr

2023-09-19 12:15:59 +02:00

comparison

…

controlflow

Rangeanalysis: Simplify Guards integration.

2025-05-23 13:39:53 +02:00

dataflow

Java: Adjust references.

2025-06-11 15:53:02 +02:00

deadcode

Remove redundant import

2025-04-01 16:49:56 +01:00

dispatch

shared: add locations to typetracking nodes

2024-10-16 15:16:18 +02:00

environment

Java: Fix TC magic in SystemProperty.

2025-03-24 13:31:23 +01:00

frameworks

Java: Adjust references.

2025-06-11 15:53:02 +02:00

metrics

Java: IPA the CFG

2024-12-10 15:26:11 +00:00

os

Java: Fix join-order.

2024-04-19 15:41:35 +02:00

regex

Java: fix 'regex-use' comments

2024-07-25 10:39:03 -04:00

security

Java: mass enable diff-informed data flow + none() overrides

2025-06-17 14:05:36 +02:00

Annotation.qll

Java: Deprecate RefType.nestedName(), and add RefType.getNestedName()

2024-09-16 17:16:25 +01:00

Collections.qll

Mass-rename MethodAccess -> MethodCall

2023-10-24 10:30:26 +01:00

Compilation.qll

Java: Make implicit this receivers explicit

2023-05-03 13:37:35 +02:00

CompilationUnit.qll

Revert "Java: Add CompilationUnit.getATypeAvailableBySimpleName()"

2022-10-04 10:59:45 +02:00

Completion.qll

…

Concurrency.qll

…

Constants.qll

Remove pragma[assume_small_delta]

2023-06-30 11:09:29 -07:00

ControlFlowGraph.qll

Update java/ql/lib/semmle/code/java/ControlFlowGraph.qll

2025-06-13 14:07:46 +02:00

Conversions.qll

Kotlin: Add types for the different kinds of casts that Kotlin has

2022-05-10 19:51:13 +01:00

Dependency.qll

Java: Deprecate Field.getSourceDeclaration() and Field.isSourceDeclaration()

2024-09-24 14:06:54 +01:00

DependencyCounts.qll

Java: Deprecate Field.getSourceDeclaration() and Field.isSourceDeclaration()

2024-09-24 14:06:54 +01:00

Diagnostics.qll

Java: Improve the diagnostics consistency query

2023-07-17 15:37:05 +01:00

Element.qll

Java: Deprecate Field.getSourceDeclaration() and Field.isSourceDeclaration()

2024-09-24 14:06:54 +01:00

Exception.qll

Java: Typo in a comment

2024-10-04 17:34:39 +01:00

Expr.qll

Java: Cache the other compiletimeconstant value predicates

2025-03-21 15:53:26 +01:00

GeneratedFiles.qll

Remove library annotations

2023-10-13 12:46:56 +02:00

Generics.qll

Java: Remove redundant getErasure overrides

2024-10-29 11:32:16 +00:00

Import.qll

Java: Add pragma[only_bind_out] to Top::toString() calls

2023-05-04 11:46:35 -07:00

J2EE.qll

delete outdated deprecations

2024-01-22 09:11:35 +01:00

Javadoc.qll

Java: handle printing an empty comment (/**/); add relevant tests

2022-12-19 14:12:09 +01:00

JDK.qll

Java: generalize sanitizer and add tests

2025-03-10 18:56:01 -04:00

JDKAnnotations.qll

Remove library annotations

2023-10-13 12:46:56 +02:00

JMX.qll

delete outdated deprecations

2024-01-22 09:11:35 +01:00

KotlinType.qll

Make *.qll non-executable

2022-08-24 16:36:15 +01:00

Maps.qll

Add replace to MapMutator

2023-12-19 10:23:06 -05:00

Member.qll

Java: Deprecate Field.getSourceDeclaration() and Field.isSourceDeclaration()

2024-09-24 14:06:54 +01:00

Modifier.qll

Kotlin: Extract type parameter modifiers (reified, in, out)

2022-10-11 16:40:07 +02:00

Modules.qll

Java: Make implicit this receivers explicit

2023-05-03 13:37:35 +02:00

NumberFormatException.qll

delete outdated deprecations

2024-01-22 09:11:35 +01:00

Package.qll

Make *.qll non-executable

2022-08-24 16:36:15 +01:00

PrettyPrintAst.qll

Rename getPatternAtIndex

2024-03-25 16:36:38 +00:00

PrintAst.ql

…

PrintAst.qll

Rename getPatternAtIndex

2024-03-25 16:36:38 +00:00

Reflection.qll

all: use my script to delete outdated deprecations

2025-01-27 22:16:48 +01:00

Serializability.qll

Remove library annotations

2023-10-13 12:46:56 +02:00

Statement.qll

Java: IPA the CFG

2024-12-10 15:26:11 +00:00

StringFormat.qll

Mass-rename MethodAccess -> MethodCall

2023-10-24 10:30:26 +01:00

Type.qll

Java: Deprecate Field.getSourceDeclaration() and Field.isSourceDeclaration()

2024-09-24 14:06:54 +01:00

UnitTests.qll

Java: add blank lines to qldocs

2025-04-01 14:54:46 -04:00

Variable.qll

Implement multiple pattern case and fall-through pattern case support

2024-03-25 16:31:36 +00:00