Commits

History for

Commits on Jul 10, 2019

Java: Add `isNotEmpty` to NullGuards
rneatherway
committed
5c19e00

Commits on Jun 19, 2019

Java: add db stats for compilation/diagnostic relations

yh-semmle
authored and
aibaars
committed
f8f217b
Java: add compilation/diagnostic relations to dbscheme

yh-semmle
authored and
aibaars
committed
b31b8b2

Commits on Jun 10, 2019

Java: add QL library for modeling Android components
yh-semmle
committed
8e6b62a
Java: add QL library for modeling `AndroidManifest.xml` files
yh-semmle
committed
0fb323b

Commits on Jun 5, 2019

Java: Rename to selector as per review comment.
aschackmull
committed
98c5dc1

Commits on Jun 4, 2019

Java: Add SwitchExpr support in Guards.qll
aschackmull
committed
0e12df0

Commits on May 24, 2019

Merge pull request #1344 from aschackmull/java/validatedvariable
yh-semmle
authored
87cbc7e

Commits on May 22, 2019

Commits on May 20, 2019

Commits on May 16, 2019

Data flow: performance improvements
hvitved
committed
02ca09a

Commits on May 15, 2019

Java: Add SwitchExpr to Nullness::dereference.
aschackmull
committed
531d30f

Commits on May 14, 2019

Commits on May 13, 2019

Java: Refactor Guard.controls in terms of dominating edges.
aschackmull
committed
ebb63c8

Commits on May 10, 2019

Merge pull request #1305 from aschackmull/java/abstract-flowsources
Max Schaefer
authored
79e01a2

Commits on May 9, 2019

Java: Postpone deprecation to separate PR.
aschackmull
committed
66813a9

Commits on May 6, 2019

Merge pull request #1226 from hvitved/dataflow/prepare-for-csharp
jbj
authored
639d715
Java: Deprecate RemoteUserInput.
aschackmull
committed
f367427

Commits on May 3, 2019

Java: Introduce an abstract class RemoteFlowSource to ease customization.
aschackmull
committed
10a6362
Data flow: Address review comments
hvitved
committed
d9bf0a6

Commits on May 2, 2019

Data flow: Introduce `ReturnKind`
hvitved
committed
b6206d7

Commits on Apr 30, 2019