C++: Move ExternalAPI files into query directory to prevent out-of-tree use.

This commit is contained in:
Mathias Vorreiter Pedersen
2020-11-18 09:28:50 +01:00
parent f16591dffc
commit 09c5caa3bd
11 changed files with 12 additions and 10 deletions

View File

@@ -9,7 +9,7 @@
*/
import cpp
import semmle.code.cpp.security.ExternalAPIs
import ExternalAPIs
from ExternalAPIUsedWithUntrustedData externalAPI
select externalAPI, count(externalAPI.getUntrustedDataNode()) as numberOfUses,

View File

@@ -6,7 +6,7 @@
private import cpp
private import semmle.code.cpp.models.interfaces.DataFlow
private import semmle.code.cpp.models.interfaces.Taint
import implementation.ExternalAPIsSpecific
import ExternalAPIsSpecific
/** A node representing untrusted data being passed to an external API. */
class UntrustedExternalAPIDataNode extends ExternalAPIDataNode {

View File

@@ -9,7 +9,7 @@
*/
import cpp
import semmle.code.cpp.security.ir.ExternalAPIs
import ir.ExternalAPIs
from ExternalAPIUsedWithUntrustedData externalAPI
select externalAPI, count(externalAPI.getUntrustedDataNode()) as numberOfUses,

View File

@@ -10,7 +10,7 @@
import cpp
import semmle.code.cpp.ir.dataflow.TaintTracking
import semmle.code.cpp.security.ir.ExternalAPIs
import ir.ExternalAPIs
import semmle.code.cpp.security.FlowSources
import DataFlow::PathGraph

View File

@@ -3,6 +3,7 @@
*/
private import cpp
private import semmle.code.cpp.models.implementations.Pure
/**
* A `Function` that is considered a "safe" external API from a security perspective.

View File

@@ -10,7 +10,7 @@
import cpp
import semmle.code.cpp.dataflow.TaintTracking
import semmle.code.cpp.security.ExternalAPIs
import ExternalAPIs
import DataFlow::PathGraph
from UntrustedDataToExternalAPIConfig config, DataFlow::PathNode source, DataFlow::PathNode sink

View File

@@ -6,7 +6,7 @@
private import cpp
private import semmle.code.cpp.models.interfaces.DataFlow
private import semmle.code.cpp.models.interfaces.Taint
import implementation.ExternalAPIsSpecific
import ExternalAPIsSpecific
/** A node representing untrusted data being passed to an external API. */
class UntrustedExternalAPIDataNode extends ExternalAPIDataNode {

View File

@@ -3,6 +3,7 @@
*/
private import cpp
private import semmle.code.cpp.models.implementations.Pure
/**
* A `Function` that is considered a "safe" external API from a security perspective.