Tony Torralba 7336dd1ae5 Merge pull request #16482 from grakshith/rakshith/tune-java-crypto ...

Java: Add RSA/ECB/OEAP ciphers to the list of secure algorithms

2024-06-10 17:27:35 +02:00

..

arithmetic

Java: Consider AssignOps in ArithExpr

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

comparison

Packaging: Java refactoring

2021-08-19 14:09:35 -07:00

controlflow

Don't mistake a rule case for a fall-through edge

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

dataflow

Dataflow/Java: Add support for pretty-printed provenace in tests. Convert one test.

2024-06-07 11:45:13 +02: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: Clean up some instances of getQualifiedName.

2024-05-13 13:06:44 +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

delete outdated deprecations

2024-04-25 22:19:28 +02:00

security

fix: remove rsa/ecb/* from getASecureAlgorithmName

2024-06-04 11:20:05 -07:00

Annotation.qll

Java: delete various outdated deprecations

2023-10-09 09:14:54 +02: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

Packaging: Java refactoring

2021-08-19 14:09:35 -07:00

Concurrency.qll

Packaging: Java refactoring

2021-08-19 14:09:35 -07:00

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

Implement multiple pattern case and fall-through pattern case support

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

DependencyCounts.qll

Implement multiple pattern case and fall-through pattern case support

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

Diagnostics.qll

Java: Improve the diagnostics consistency query

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

Element.qll

Kotlin: Enable java/misnamed-type query

2022-11-25 17:11:40 +00:00

Exception.qll

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

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

Expr.qll

delete outdated deprecations

2024-04-25 22:19:28 +02:00

GeneratedFiles.qll

Remove library annotations

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

Generics.qll

Mass-rename MethodAccess -> MethodCall

2023-10-24 10:30:26 +01: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: some updates to UrlPathBarrier code

2024-03-13 16:28:44 -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

Fix stringifying record fields

2023-11-30 11:23:59 +00: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

Packaging: Java refactoring

2021-08-19 14:09:35 -07:00

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

Implement dataflow for record patterns

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