Arthur Baars 59869ace63 Java: teach Encryption.qll about MessageDigest.getInstance ...

We already modelled usage of the protected `MessageDigest(String algo)`
constructor as a crypto algorithm specification. For some reason we did
not model the more commonly used public `MessageDigest.getInstance` method.

2020-04-25 00:41:10 +02:00

..

arrays

Java: Autoformat most queries.

2018-10-11 11:31:37 +02:00

callgraph

Migrate Java code to separate QL repo.

2018-08-30 10:48:05 +01:00

collections

Java: Autoformat most queries.

2018-10-11 11:31:37 +02:00

commentedcode

Java: Autoformat most queries.

2018-10-11 11:31:37 +02:00

comments

Normalize all text files to LF

2018-09-23 16:24:31 -07:00

complexity

Migrate Java code to separate QL repo.

2018-08-30 10:48:05 +01:00

constants

Java: Add Expr.isParenthesized, adjust VarAccess.toString, and fix tests.

2020-01-28 10:15:48 +01:00

constructors

Java: Autoformat most queries.

2018-10-11 11:31:37 +02:00

controlflow

Java: Autoformat most queries.

2018-10-11 11:31:37 +02:00

dataflow

Merge pull request #3117 from adityasharad/java/jackson-taint-steps

2020-03-30 10:34:56 +02:00

defUse

Java: Autoformat most queries.

2018-10-11 11:31:37 +02:00

dependency

Java: Autoformat most queries.

2018-10-11 11:31:37 +02:00

dependency-counts

Java: Autoformat most queries.

2018-10-11 11:31:37 +02:00

dispatch

Java: Autoformat most queries.

2018-10-11 11:31:37 +02:00

Encryption

Java: teach Encryption.qll about MessageDigest.getInstance

2020-04-25 00:41:10 +02:00

ExternalProcess

Migrate Java code to separate QL repo.

2018-08-30 10:48:05 +01:00

fields

Java: Autoformat most queries.

2018-10-11 11:31:37 +02:00

frameworks

Java: Autoformat.

2019-08-21 14:38:17 +02:00

GeneratedFiles

Java: move a few tests

2018-11-05 12:08:42 -05:00

generics

Java: Autoformat most queries.

2018-10-11 11:31:37 +02:00

guards

Java: Deprecate ParExpr.

2020-01-30 10:52:16 +01:00

guards12

Java 14: switch expressions are no longer in preview

2020-04-07 22:22:07 -04:00

gwt

Migrate Java code to separate QL repo.

2018-08-30 10:48:05 +01:00

j2objc

Java: Autoformat most queries.

2018-10-11 11:31:37 +02:00

java7

Java: Autoformat most queries.

2018-10-11 11:31:37 +02:00

javadoc

Migrate Java code to separate QL repo.

2018-08-30 10:48:05 +01:00

JDK

Java: Autoformat most queries.

2018-10-11 11:31:37 +02:00

literals

Java: tweak a test

2018-11-05 12:10:08 -05:00

localvars

Java: Autoformat most queries.

2018-10-11 11:31:37 +02:00

locations

Java: Normalize parentheses.

2018-11-28 15:01:25 +01:00

modifiers

Java: Autoformat most queries.

2018-10-11 11:31:37 +02:00

overrides

Java: Autoformat most queries.

2018-10-11 11:31:37 +02:00

overriding

Migrate Java code to separate QL repo.

2018-08-30 10:48:05 +01:00

properties

Add tests for ConfigFiles library.

2019-01-23 19:35:20 -05:00

qlengine

Java: Update location in .expected file.

2018-10-12 10:08:24 +02:00

reflection

Migrate Java code to separate QL repo.

2018-08-30 10:48:05 +01:00

RelativePaths

Java: Autoformat most queries.

2018-10-11 11:31:37 +02:00

ssa

Java: Autoformat most queries.

2018-10-11 11:31:37 +02:00

ssa-large

Java: Autoformat most queries.

2018-10-11 11:31:37 +02:00

stmts

Migrate Java code to separate QL repo.

2018-08-30 10:48:05 +01:00

structure

Java 14: update expected test output

2020-04-07 22:22:10 -04:00

successors

Java: Account for extraction of calls to <obinit>.

2018-11-09 13:36:05 +01:00

typeaccesses

Migrate Java code to separate QL repo.

2018-08-30 10:48:05 +01:00

typeflow

Java: Add minor test case to typeflow qltest.

2020-03-11 13:13:19 +01:00

types

Migrate Java code to separate QL repo.

2018-08-30 10:48:05 +01:00

unreachableblocks

Migrate Java code to separate QL repo.

2018-08-30 10:48:05 +01:00

varargs

Java: Autoformat most queries.

2018-10-11 11:31:37 +02:00