Ian Lynagh cc0eb9ab36 KE2: Put diagnostics from the analysis API into the database

2024-11-26 15:42:38 +00:00

..

arithmetic

Java: Consider AssignOps in ArithExpr

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

comparison

…

controlflow

Refactor UnreachableBasicBlock to make it clearer

2024-11-14 14:53:12 +00:00

dataflow

Kotlin: Support NotNullExpr in TypeFlow.

2024-11-07 15:25:23 +01:00

deadcode

delete outdated deprecations

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

dispatch

Java/Dataflow: Propagate MaD-id/model-id to PathGraph.

2024-04-12 09:19:51 +02:00

environment

Mass-rename MethodAccess -> MethodCall

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

frameworks

Java: Account for top-level res folders in AndroidLayoutXmlFile

2024-10-04 08:35:28 +02:00

metrics

Make DefaultCase include NullDefaultCase

2023-11-30 11:24:03 +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

Merge pull request #17579 from aschackmull/java/type-sanitizers

2024-09-30 10:07:06 +02:00

Annotation.qll

KE2: Add some Java dbscheme and library comments

2024-10-07 16:35:46 +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

Fix next-normal-statement predicate

2024-03-25 16:31:37 +00: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

KE2: Put diagnostics from the analysis API into the database

2024-11-26 15:42:38 +00: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

KE2: Don't actually deprecate WhenBranch.getCondition() yet

2024-11-25 17:14:35 +00:00

GeneratedFiles.qll

Remove library annotations

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

Generics.qll

Java: Remove redundant getErasure overrides

2024-11-11 17:48:17 +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

use my script to delete outdated deprecations

2024-09-03 20:30:58 +02: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

KE2: Populate Kotlin type nullability and alias information

2024-11-21 16:00:01 +00: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

Improve reflective class names

2023-10-24 13:29:32 +01:00

Serializability.qll

Remove library annotations

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

Statement.qll

Rename getPatternAtIndex

2024-03-25 16:36:38 +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 convenience array value Annotation predicates

2022-09-16 15:49:16 +01:00

Variable.qll

Implement multiple pattern case and fall-through pattern case support

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