hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-28 02:05:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java/Kotlin: Cleanup files needed for inline models.

Browse Source
This commit is contained in:
Michael Nebel
2022-11-30 16:18:05 +01:00
parent f5069ffc1f
commit b80829a3a0
6 changed files with 0 additions and 31 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
java/ql/lib/semmle/code/java/dataflow/ExternalFlow.qll
View File

@@ -98,7 +98,6 @@ private module Frameworks {
private import semmle.code.java.frameworks.apache.Collections
private import semmle.code.java.frameworks.apache.Lang
private import semmle.code.java.frameworks.Flexjson
private import semmle.code.java.frameworks.generated
private import semmle.code.java.frameworks.guava.Guava
private import semmle.code.java.frameworks.jackson.JacksonSerializability
private import semmle.code.java.frameworks.javaee.jsf.JSFRenderer

9
java/ql/lib/semmle/code/java/frameworks/generated.qll
View File

@@ -1,9 +0,0 @@
/**
* A module importing all generated Models as Data models.
*/
import java
private module GeneratedFrameworks {
private import kotlin.StdLibGenerated
}

7
java/ql/lib/semmle/code/java/frameworks/kotlin/NegativeStdLibGenerated.qll
View File

@@ -1,7 +0,0 @@
/**
* THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
* Definitions of negative summaries in the Kotlin StdLib @30ce58cea74 framework.
*/
import java
private import semmle.code.java.dataflow.ExternalFlow

7
java/ql/lib/semmle/code/java/frameworks/kotlin/StdLibGenerated.qll
View File

@@ -1,7 +0,0 @@
/**
* THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
* Definitions of taint steps in the Kotlin StdLib @30ce58cea74 framework.
*/
import java
private import semmle.code.java.dataflow.ExternalFlow