8000 Overlay: Add overlay annotations to Java & shared libraries · github/codeql@bceb147 · GitHub
[go: up one dir, main page]
Skip to content

Commit bceb147

Browse files
kaspersvkaspersv
committed
Overlay: Add overlay annotations to Java & shared libraries
1 parent ed8b787 commit bceb147

File tree

428 files changed

+966
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

428 files changed

+966
-0
lines changed

‎java/ql/lib/Customizations.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,5 +8,7 @@
88
* the `RemoteFlowSource` and `AdditionalTaintStep` classes associated with the security queries
99
* to model fr 10000 ameworks that are not covered by the standard library.
1010
*/
11+
overlay[local?]
12+
module;
1113

1214
import java

‎java/ql/lib/IDEContextual.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,8 @@
11
/**
22
* Provides shared predicates related to contextual queries in the code viewer.
33
*/
4+
overlay[local?]
5+
module;
46

57
import semmle.files.FileSystem
68
private import codeql.util.FileSystem

‎java/ql/lib/default.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
11
/** DEPRECATED: use `java.qll` instead. */
2+
overlay[local?]
3+
module;
24

35
import java

‎java/ql/lib/definitions.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,8 @@
22
* Provides classes and predicates related to jump-to-definition links
33
* in the code viewer.
44
*/
5+
overlay[local?]
6+
module;
57

68
import java
79
import IDEContextual

‎java/ql/lib/experimental/quantum/JCA.qll

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,6 @@
1+
overlay[local?]
2+
module;
3+
14
import java
25
import semmle.code.java.dataflow.DataFlow
36
import semmle.code.java.dataflow.TaintTracking

‎java/ql/lib/experimental/quantum/Language.qll

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,6 @@
1+
overlay[local?]
2+
module;
3+
14
private import java as Language
25
private import semmle.code.java.security.InsecureRandomnessQuery
36
private import semmle.code.java.security.RandomQuery

‎java/ql/lib/external/ExternalArtifact.qll

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,6 @@
1+
overlay[local?]
2+
module;
3+
14
import java
25

36
class ExternalData extends @externalDataElement {

‎java/ql/lib/java.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,6 @@
11
/** Provides all default Java QL imports. */
2+
overlay[local?]
3+
module;
24

35
import Customizations
46
import semmle.code.FileSystem

‎java/ql/lib/semmle/code/FileSystem.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,6 @@
11
/** Provides classes for working with files and folders. */
2+
overlay[local?]
3+
module;
24

35
import Location
46
private import codeql.util.FileSystem

‎java/ql/lib/semmle/code/Location.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,8 @@
33
*
44
* Locations represent parts of files and are used to map elements to their source location.
55
*/
6+
overlay[local?]
7+
module;
68

79
import FileSystem
810
import semmle.code.java.Element

0 commit comments

Comments
 (0)
0