mirror of
https://github.com/github/codeql.git
synced 2026-04-25 00:35:20 +02:00
Go: Update all test util paths to point to the new location.
This commit is contained in:
@@ -1,2 +1,2 @@
|
||||
query: experimental/CWE-090/LDAPInjection.ql
|
||||
postprocess: TestUtilities/PrettyPrintModels.ql
|
||||
postprocess: utils/test/PrettyPrintModels.ql
|
||||
|
||||
@@ -1,2 +1,2 @@
|
||||
query: experimental/CWE-203/Timing.ql
|
||||
postprocess: TestUtilities/PrettyPrintModels.ql
|
||||
postprocess: utils/test/PrettyPrintModels.ql
|
||||
|
||||
@@ -1,2 +1,2 @@
|
||||
query: experimental/CWE-287/ImproperLdapAuth.ql
|
||||
postprocess: TestUtilities/PrettyPrintModels.ql
|
||||
postprocess: utils/test/PrettyPrintModels.ql
|
||||
|
||||
@@ -1,2 +1,2 @@
|
||||
query: experimental/CWE-369/DivideByZero.ql
|
||||
postprocess: TestUtilities/PrettyPrintModels.ql
|
||||
postprocess: utils/test/PrettyPrintModels.ql
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import experimental.frameworks.DecompressionBombs::DecompressionBomb
|
||||
|
||||
module TestDecompressionBombs implements TestSig {
|
||||
|
||||
@@ -1,2 +1,2 @@
|
||||
query: experimental/CWE-522-DecompressionBombs/DecompressionBombs.ql
|
||||
postprocess: TestUtilities/PrettyPrintModels.ql
|
||||
postprocess: utils/test/PrettyPrintModels.ql
|
||||
|
||||
@@ -1,2 +1,2 @@
|
||||
query: experimental/CWE-74/DsnInjection.ql
|
||||
postprocess: TestUtilities/PrettyPrintModels.ql
|
||||
postprocess: utils/test/PrettyPrintModels.ql
|
||||
|
||||
@@ -1,2 +1,2 @@
|
||||
query: experimental/CWE-74/DsnInjectionLocal.ql
|
||||
postprocess: TestUtilities/PrettyPrintModels.ql
|
||||
postprocess: utils/test/PrettyPrintModels.ql
|
||||
|
||||
@@ -1,2 +1,2 @@
|
||||
query: experimental/CWE-79/HTMLTemplateEscapingPassthrough.ql
|
||||
postprocess: TestUtilities/PrettyPrintModels.ql
|
||||
postprocess: utils/test/PrettyPrintModels.ql
|
||||
|
||||
@@ -1,2 +1,2 @@
|
||||
query: experimental/CWE-918/SSRF.ql
|
||||
postprocess: TestUtilities/PrettyPrintModels.ql
|
||||
postprocess: utils/test/PrettyPrintModels.ql
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
import go
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import experimental.frameworks.CleverGo
|
||||
|
||||
module HttpHeaderWriteTest implements TestSig {
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
import go
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import experimental.frameworks.CleverGo
|
||||
|
||||
module HttpRedirectTest implements TestSig {
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
import go
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import experimental.frameworks.CleverGo
|
||||
|
||||
module HttpResponseBodyTest implements TestSig {
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
import go
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import experimental.frameworks.CleverGo
|
||||
|
||||
module RemoteFlowSourceTest implements TestSig {
|
||||
|
||||
@@ -2,5 +2,5 @@ import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import experimental.frameworks.CleverGo
|
||||
import TestUtilities.InlineFlowTest
|
||||
import utils.test.InlineFlowTest
|
||||
import DefaultFlowTest
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
import go
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import experimental.frameworks.Fiber
|
||||
|
||||
module HttpHeaderWriteTest implements TestSig {
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
import go
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import experimental.frameworks.Fiber
|
||||
|
||||
module HttpRedirectTest implements TestSig {
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
import go
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import experimental.frameworks.Fiber
|
||||
|
||||
module RemoteFlowSourceTest implements TestSig {
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
import go
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import experimental.frameworks.Fiber
|
||||
|
||||
module HttpResponseBodyTest implements TestSig {
|
||||
|
||||
@@ -2,5 +2,5 @@ import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import experimental.frameworks.Fiber
|
||||
import TestUtilities.InlineFlowTest
|
||||
import utils.test.InlineFlowTest
|
||||
import DefaultFlowTest
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
import go
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
|
||||
module FunctionIsVariadicTest implements TestSig {
|
||||
string getARelevantTag() { result = "isVariadic" }
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
import go
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
|
||||
module ImplementsComparableTest implements TestSig {
|
||||
string getARelevantTag() { result = "implementsComparable" }
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
import go
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
|
||||
module SignatureTypeIsVariadicTest implements TestSig {
|
||||
string getARelevantTag() { result = "isVariadic" }
|
||||
|
||||
@@ -1,3 +1,3 @@
|
||||
import go
|
||||
import TestUtilities.InlineFlowTest
|
||||
import utils.test.InlineFlowTest
|
||||
import DefaultFlowTest
|
||||
|
||||
@@ -1,3 +1,3 @@
|
||||
import go
|
||||
import TestUtilities.InlineFlowTest
|
||||
import utils.test.InlineFlowTest
|
||||
import DefaultFlowTest
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
import go
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
|
||||
module HttpHandler implements TestSig {
|
||||
string getARelevantTag() { result = "handler" }
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
|
||||
module LoggerTest implements TestSig {
|
||||
string getARelevantTag() { result = "logger" }
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineFlowTest
|
||||
import utils.test.InlineFlowTest
|
||||
import DefaultFlowTest
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineFlowTest
|
||||
import utils.test.InlineFlowTest
|
||||
|
||||
module Flow = DataFlow::Global<DefaultFlowConfig>;
|
||||
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import MakeTest<FlowTest>
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import MakeTest<FlowTest>
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import MakeTest<FlowTest>
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import MakeTest<FlowTest>
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import MakeTest<FlowTest>
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import MakeTest<FlowTest>
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import MakeTest<FlowTest>
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import MakeTest<FlowTest>
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import MakeTest<FlowTest>
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import MakeTest<FlowTest>
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import MakeTest<FlowTest>
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import MakeTest<FlowTest>
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import MakeTest<FlowTest>
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import MakeTest<FlowTest>
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import MakeTest<FlowTest>
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import MakeTest<FlowTest>
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import MakeTest<FlowTest>
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import MakeTest<FlowTest>
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import MakeTest<FlowTest>
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import MakeTest<FlowTest>
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import MakeTest<FlowTest>
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import MakeTest<FlowTest>
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import MakeTest<FlowTest>
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import MakeTest<FlowTest>
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import MakeTest<FlowTest>
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import MakeTest<FlowTest>
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import MakeTest<FlowTest>
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineFlowTest
|
||||
import utils.test.InlineFlowTest
|
||||
import DefaultFlowTest
|
||||
|
||||
@@ -6,7 +6,7 @@ import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import semmle.go.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
|
||||
import TestUtilities.InlineFlowTest
|
||||
import utils.test.InlineFlowTest
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
predicate isSource(DataFlow::Node src) { sourceNode(src, "qltest") }
|
||||
|
||||
@@ -6,7 +6,7 @@ import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import semmle.go.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl
|
||||
import TestUtilities.InlineFlowTest
|
||||
import utils.test.InlineFlowTest
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
predicate isSource(DataFlow::Node source) { sourceNode(source, "qltest") }
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineFlowTest
|
||||
import utils.test.InlineFlowTest
|
||||
import DefaultFlowTest
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
import go
|
||||
import TestUtilities.InlineFlowTest
|
||||
import utils.test.InlineFlowTest
|
||||
|
||||
string getArgString(DataFlow::Node src, DataFlow::Node sink) {
|
||||
exists(src) and
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineFlowTest
|
||||
import utils.test.InlineFlowTest
|
||||
|
||||
predicate isBad(DataFlow::Node g, Expr e, boolean branch) {
|
||||
g.(DataFlow::CallNode).getTarget().getName() = "isBad" and
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineFlowTest
|
||||
import utils.test.InlineFlowTest
|
||||
import codeql.dataflow.test.ProvenancePathGraph
|
||||
|
||||
module Flow = TaintTracking::Global<DefaultFlowConfig>;
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineFlowTest
|
||||
import utils.test.InlineFlowTest
|
||||
import TaintFlowTest<DefaultFlowConfig>
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineFlowTest
|
||||
import utils.test.InlineFlowTest
|
||||
import DefaultFlowTest
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineFlowTest
|
||||
import utils.test.InlineFlowTest
|
||||
import ValueFlowTest<DefaultFlowConfig>
|
||||
|
||||
@@ -1,8 +1,8 @@
|
||||
import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import TestUtilities.InlineFlowTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import utils.test.InlineFlowTest
|
||||
|
||||
module ValueFlow = DataFlow::Global<DefaultFlowConfig>;
|
||||
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineFlowTest
|
||||
import utils.test.InlineFlowTest
|
||||
import DefaultFlowTest
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineFlowTest
|
||||
import utils.test.InlineFlowTest
|
||||
import DefaultFlowTest
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineFlowTest
|
||||
import utils.test.InlineFlowTest
|
||||
import DefaultFlowTest
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineFlowTest
|
||||
import utils.test.InlineFlowTest
|
||||
import DefaultFlowTest
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineFlowTest
|
||||
import utils.test.InlineFlowTest
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
predicate isSource(DataFlow::Node source) {
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineFlowTest
|
||||
import utils.test.InlineFlowTest
|
||||
import DefaultFlowTest
|
||||
|
||||
class SummaryModelTest extends DataFlow::FunctionModel {
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
|
||||
module SourceTest implements TestSig {
|
||||
string getARelevantTag() { result = "source" }
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
|
||||
module SourceTest implements TestSig {
|
||||
string getARelevantTag() { result = "source" }
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
|
||||
module SourceTest implements TestSig {
|
||||
string getARelevantTag() { result = "source" }
|
||||
|
||||
@@ -2,7 +2,7 @@ import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import experimental.frameworks.CleverGo
|
||||
import TestUtilities.InlineFlowTest
|
||||
import utils.test.InlineFlowTest
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
predicate isSource(DataFlow::Node source) { source instanceof ActiveThreatModelSource }
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
|
||||
module FileSystemAccessTest implements TestSig {
|
||||
string getARelevantTag() { result = ["FileSystemAccess", "succ", "pred"] }
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineFlowTest
|
||||
import utils.test.InlineFlowTest
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
predicate isSource(DataFlow::Node source) { source instanceof RemoteFlowSource }
|
||||
|
||||
@@ -1,2 +1,2 @@
|
||||
query: Security/CWE-079/ReflectedXss.ql
|
||||
postprocess: TestUtilities/PrettyPrintModels.ql
|
||||
postprocess: utils/test/PrettyPrintModels.ql
|
||||
|
||||
@@ -1,2 +1,2 @@
|
||||
query: Security/CWE-022/TaintedPath.ql
|
||||
postprocess: TestUtilities/PrettyPrintModels.ql
|
||||
postprocess: utils/test/PrettyPrintModels.ql
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
|
||||
module SqlTest implements TestSig {
|
||||
string getARelevantTag() { result = "query" }
|
||||
|
||||
@@ -1,2 +1,2 @@
|
||||
query: Security/CWE-089/SqlInjection.ql
|
||||
postprocess: TestUtilities/PrettyPrintModels.ql
|
||||
postprocess: utils/test/PrettyPrintModels.ql
|
||||
|
||||
@@ -1,2 +1,2 @@
|
||||
query: Security/CWE-079/ReflectedXss.ql
|
||||
postprocess: TestUtilities/PrettyPrintModels.ql
|
||||
postprocess: utils/test/PrettyPrintModels.ql
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
import semmle.go.security.SqlInjection
|
||||
|
||||
module SqlInjectionTest implements TestSig {
|
||||
|
||||
@@ -1,2 +1,2 @@
|
||||
query: Security/CWE-601/OpenUrlRedirect.ql
|
||||
postprocess: TestUtilities/PrettyPrintModels.ql
|
||||
postprocess: utils/test/PrettyPrintModels.ql
|
||||
|
||||
@@ -1,2 +1,2 @@
|
||||
query: Security/CWE-079/ReflectedXss.ql
|
||||
postprocess: TestUtilities/PrettyPrintModels.ql
|
||||
postprocess: utils/test/PrettyPrintModels.ql
|
||||
|
||||
@@ -1,2 +1,2 @@
|
||||
query: Security/CWE-022/TaintedPath.ql
|
||||
postprocess: TestUtilities/PrettyPrintModels.ql
|
||||
postprocess: utils/test/PrettyPrintModels.ql
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
|
||||
module RemoteFlowSourceTest implements TestSig {
|
||||
string getARelevantTag() { result = "remoteflowsource" }
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineFlowTest
|
||||
import utils.test.InlineFlowTest
|
||||
|
||||
module Config implements DataFlow::ConfigSig {
|
||||
predicate isSource(DataFlow::Node source) {
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineFlowTest
|
||||
import utils.test.InlineFlowTest
|
||||
import DefaultFlowTest
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
import go
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
|
||||
module FasthttpTest implements TestSig {
|
||||
string getARelevantTag() { result = "Sanitizer" }
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
import go
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
|
||||
module FasthttpFileSystemAccessTest implements TestSig {
|
||||
string getARelevantTag() { result = "FileSystemAccess" }
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import semmle.go.security.OpenUrlRedirectCustomizations
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
|
||||
module FasthttpTest implements TestSig {
|
||||
string getARelevantTag() { result = "OpenRedirect" }
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
import go
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
|
||||
module FasthttpTest implements TestSig {
|
||||
string getARelevantTag() { result = "RemoteFlowSource" }
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
import go
|
||||
import semmle.go.security.RequestForgery
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
|
||||
module FasthttpTest implements TestSig {
|
||||
string getARelevantTag() { result = "SsrfSink" }
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
import go
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
|
||||
module FasthttpTest implements TestSig {
|
||||
string getARelevantTag() { result = "XssSink" }
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
|
||||
module FileSystemAccessTest implements TestSig {
|
||||
string getARelevantTag() { result = "FileSystemAccess" }
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
query: Security/CWE-022/TaintedPath.ql
|
||||
postprocess:
|
||||
- TestUtilities/PrettyPrintModels.ql
|
||||
- TestUtilities/InlineExpectationsTestQuery.ql
|
||||
- utils/test/PrettyPrintModels.ql
|
||||
- utils/test/InlineExpectationsTestQuery.ql
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
import go
|
||||
import semmle.go.dataflow.ExternalFlow
|
||||
import ModelValidation
|
||||
import TestUtilities.InlineExpectationsTest
|
||||
import utils.test.InlineExpectationsTest
|
||||
|
||||
module RemoteFlowSourceTest implements TestSig {
|
||||
string getARelevantTag() { result = "source" }
|
||||
|
||||
Some files were not shown because too many files have changed in this diff Show More
Reference in New Issue
Block a user