Cornelius Riemenschneider d79eaffd3a Prune unreachable paths in the Java dataflow library based on call context. ...

We now detect patterns like
f(bool cond){
       if(cond)
        then A
        else B
and prune branches for calls like f(true) or f(false).
This pruning is done both in the local (bigstep) flow graph
as well as in the inter-procedural dataflow graph.

2019-10-07 15:10:54 +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: Autoformat most queries.

2018-10-11 11:31:37 +02: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

Prune unreachable paths in the Java dataflow library based on call context.

2019-10-07 15:10:54 +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

Migrate Java code to separate QL repo.

2018-08-30 10:48:05 +01: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: Support precondition calls as guards.

2019-04-02 10:58:46 +02:00

guards12

Java: Add SwitchExpr support in Guards.qll

2019-06-04 16:03:23 +02: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

Merge master into next.

2018-12-12 17:26:18 +00: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: Autoformat most queries.

2018-10-11 11:31:37 +02: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