From fc359b75d3367d7abdff7ef797bc1780d2f19401 Mon Sep 17 00:00:00 2001 From: Anders Schack-Mulligen Date: Thu, 11 Oct 2018 11:05:39 +0200 Subject: [PATCH] Java: Add qldoc to a few libraries. --- java/ql/src/semmle/code/java/StringFormat.qll | 3 +++ java/ql/src/semmle/code/java/dataflow/FlowSources.qll | 3 +++ 2 files changed, 6 insertions(+) diff --git a/java/ql/src/semmle/code/java/StringFormat.qll b/java/ql/src/semmle/code/java/StringFormat.qll index 18ff3307b2a..28f74ad9bbe 100644 --- a/java/ql/src/semmle/code/java/StringFormat.qll +++ b/java/ql/src/semmle/code/java/StringFormat.qll @@ -1,3 +1,6 @@ +/** + * Provides classes and predicates for reasoning about string formatting. + */ import java import dataflow.DefUse diff --git a/java/ql/src/semmle/code/java/dataflow/FlowSources.qll b/java/ql/src/semmle/code/java/dataflow/FlowSources.qll index 85f4d8677e7..5dd2cbb7e22 100644 --- a/java/ql/src/semmle/code/java/dataflow/FlowSources.qll +++ b/java/ql/src/semmle/code/java/dataflow/FlowSources.qll @@ -1,3 +1,6 @@ +/** + * Provides classes representing various flow sources for taint tracking. + */ import java import semmle.code.java.dataflow.DataFlow import semmle.code.java.dataflow.TaintTracking