Tom Hvitved d709343d38 Merge pull request #21011 from aschackmull/mad/shared-externalflow ...

Java/C++/Go/C#: Share parts of ExternalFlow.qll

2025-12-15 20:27:04 +01: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: Simplify instantiation of Guards and ControlFlowReachability.

2025-11-12 09:06:15 +01:00

dataflow

Merge pull request #21011 from aschackmull/mad/shared-externalflow

2025-12-15 20:27:04 +01:00

deadcode

Overlay: Add overlay annotations to Java & shared libraries

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

dispatch

Java: Replace BaseSSA class wrappers with shared code.

2025-11-12 09:06:14 +01:00

environment

Overlay: Add overlay annotations to Java & shared libraries

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

frameworks

Convert XSS barrier to MaD

2025-12-11 16:24:28 +01:00

internal

Use string instead of @file in XML discards

2025-11-28 09:23:27 +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

Use flowFrom.

2025-12-03 14:04:18 +01:00

security

Convert regex injection barrier to MaD

2025-12-11 16:24:29 +01: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

Java: Add isImplict predicate to CompilationUnit and Class

2025-09-05 10:18:57 +02:00

Completion.qll

Overlay: Add overlay annotations to Java & shared libraries

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

Concurrency.qll

java: fix aliasing FP

2025-10-27 14:30:25 +01:00

ConflictingAccess.qll

java: make as many predicates private as possible

2025-10-21 13:25:26 +02:00

Constants.qll

Overlay: Add overlay annotations to Java & shared libraries

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

ControlFlowGraph.qll

Java: Improve precision of SuccessorType labels in CFG.

2025-09-12 13:38:21 +02:00

Conversions.qll

Java: Fix some Ql4Ql violations.

2025-09-01 15:04:08 +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 VariableWrite class.

2025-11-12 09:06:13 +01: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

Java: Address review comment. Improve getAnImportedType definition

2025-09-06 12:38:44 +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

Use set literals

2025-11-28 03:34:17 +00: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

Overlay: Add discarding for Java classes, interfaces & fields

2025-08-27 12:07:59 +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

Use set literals #2

2025-11-28 03:48:50 +00:00

Overlay.qll

Factor XML discard predicates into OverlayXml.qll

2025-11-26 11:48:32 +01: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: Fix some Ql4Ql violations.

2025-09-01 15:04:08 +02:00

StringFormat.qll

Overlay: Add overlay annotations to Java & shared libraries

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

Type.qll

Merge pull request #20116 from github/idrissrio/compact-soruce-file

2025-09-05 12:01:48 +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