Anders Schack-Mulligen 5ca9c090a8 Merge pull request #20132 from aschackmull/ssa/guardvalue ...

SSA: Update data flow integration and BarrierGuard interface to use GuardValue.

2025-07-30 12:23:17 +02:00

..

arithmetic

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

comparison

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

controlflow

Java: Adjust Paths.qll

2025-07-17 11:21:26 +02:00

dataflow

SSA: Update data flow integration and BarrierGuard interface to use GuardValue.

2025-07-28 11:29:12 +02:00

deadcode

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

dispatch

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

environment

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

frameworks

No need to deprecate classes when module is deprecated

2025-07-17 11:52:31 +01:00

metrics

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

os

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

regex

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

security

Merge pull request #20077 from d10c/d10c/diff-informed-phase-3-java

2025-07-21 11:23:12 +02:00

Annotation.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

Collections.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

Compilation.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

CompilationUnit.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

Completion.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

Concurrency.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

Constants.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

ControlFlowGraph.qll

Java: Fix accidental CP in CFG for asserts.

2025-07-18 13:53:15 +02:00

Conversions.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

Dependency.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

DependencyCounts.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

Diagnostics.qll

Java: Move extractorInformationSkipKey predicate to library pack

2025-07-29 09:45:18 +02:00

Element.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

Exception.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

Expr.qll

Java: Add abstraction for discardable locatables

2025-06-26 11:35:37 +02:00

GeneratedFiles.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

Generics.qll

Java: Allow 2-column join on delta to improve join-order.

2025-07-18 11:45:45 +02:00

Import.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

J2EE.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

Javadoc.qll

Java: Add abstraction for discardable locatables

2025-06-26 11:35:37 +02:00

JDK.qll

Add sink for ObjectInput.readObject to make test pass

2025-07-11 11:05:38 +01:00

JDKAnnotations.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

JMX.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

KotlinType.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

Maps.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

Member.qll

Java: Add abstraction for discardable locatables

2025-06-26 11:35:37 +02:00

Modifier.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

Modules.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

NumberFormatException.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

Overlay.qll

Merge pull request #20011 from kaspersv/kaspersv/discard-xml

2025-07-15 16:13:38 +02:00

Package.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

PrettyPrintAst.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

PrintAst.ql

Packaging: Java refactoring

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

PrintAst.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

Reflection.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

Serializability.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

Statement.qll

Java: Add abstraction for discardable locatables

2025-06-26 11:35:37 +02:00

StringFormat.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

Type.qll

Java: Improve join-order by properly annotating haveIntersection.

2025-07-18 11:48:50 +02:00

UnitTests.qll

Overlay: Add overlay annotations to Java & shared libraries

2025-06-24 10:25:06 +02:00

Variable.qll

Java: Add abstraction for discardable locatables

2025-06-26 11:35:37 +02:00