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

Use post-process provenance pretty-printing in ql tests

Browse Source
This commit is contained in:
Owen Mansel-Chan
2024-07-29 15:22:27 +01:00
parent 94f290411f
commit 5c8f21d596
10 changed files with 27 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
go/ql/test/library-tests/semmle/go/dataflow/DefaultTaintSanitizer/DefaultSanitizer.ql
View File

@@ -4,6 +4,8 @@
*/
import go
import codeql.dataflow.test.ProvenancePathGraph
import semmle.go.dataflow.ExternalFlow
module Config implements DataFlow::ConfigSig {
predicate isSource(DataFlow::Node n) { n instanceof RemoteFlowSource }
@@ -13,7 +15,7 @@ module Config implements DataFlow::ConfigSig {
module Flow = TaintTracking::Global<Config>;
import Flow::PathGraph
import ShowProvenance<interpretModelForTest/2, Flow::PathNode, Flow::PathGraph>
from Flow::PathNode source, Flow::PathNode sink
where Flow::flowPath(source, sink)

3
go/ql/test/library-tests/semmle/go/dataflow/HiddenNodes/test.ql
View File

@@ -2,10 +2,11 @@ import go
import semmle.go.dataflow.ExternalFlow
import ModelValidation
import TestUtilities.InlineFlowTest
import codeql.dataflow.test.ProvenancePathGraph
module Flow = TaintTracking::Global<DefaultFlowConfig>;
import Flow::PathGraph
import ShowProvenance<interpretModelForTest/2, Flow::PathNode, Flow::PathGraph>
from Flow::PathNode source, Flow::PathNode sink
where Flow::flowPath(source, sink)

4
go/ql/test/library-tests/semmle/go/dataflow/ThreatModels/threat-models-flowtest1.ql
View File

@@ -3,7 +3,9 @@
*/
import Test
import ThreatModelFlow::PathGraph
import semmle.go.dataflow.ExternalFlow
import codeql.dataflow.test.ProvenancePathGraph
import ShowProvenance<interpretModelForTest/2, ThreatModelFlow::PathNode, ThreatModelFlow::PathGraph>
from ThreatModelFlow::PathNode source, ThreatModelFlow::PathNode sink
where ThreatModelFlow::flowPath(source, sink)

4
go/ql/test/library-tests/semmle/go/dataflow/ThreatModels/threat-models-flowtest2.ql
View File

@@ -4,7 +4,9 @@
*/
import Test
import ThreatModelFlow::PathGraph
import semmle.go.dataflow.ExternalFlow
import codeql.dataflow.test.ProvenancePathGraph
import ShowProvenance<interpretModelForTest/2, ThreatModelFlow::PathNode, ThreatModelFlow::PathGraph>
from ThreatModelFlow::PathNode source, ThreatModelFlow::PathNode sink
where ThreatModelFlow::flowPath(source, sink)

4
go/ql/test/library-tests/semmle/go/dataflow/ThreatModels/threat-models-flowtest3.ql
View File

@@ -4,7 +4,9 @@
*/
import Test
import ThreatModelFlow::PathGraph
import semmle.go.dataflow.ExternalFlow
import codeql.dataflow.test.ProvenancePathGraph
import ShowProvenance<interpretModelForTest/2, ThreatModelFlow::PathNode, ThreatModelFlow::PathGraph>
from ThreatModelFlow::PathNode source, ThreatModelFlow::PathNode sink
where ThreatModelFlow::flowPath(source, sink)

4
go/ql/test/library-tests/semmle/go/dataflow/ThreatModels/threat-models-flowtest4.ql
View File

@@ -3,7 +3,9 @@
*/
import Test
import ThreatModelFlow::PathGraph
import semmle.go.dataflow.ExternalFlow
import codeql.dataflow.test.ProvenancePathGraph
import ShowProvenance<interpretModelForTest/2, ThreatModelFlow::PathNode, ThreatModelFlow::PathGraph>
from ThreatModelFlow::PathNode source, ThreatModelFlow::PathNode sink
where ThreatModelFlow::flowPath(source, sink)

4
go/ql/test/library-tests/semmle/go/dataflow/ThreatModels/threat-models-flowtest5.ql
View File

@@ -4,7 +4,9 @@
*/
import Test
import ThreatModelFlow::PathGraph
import semmle.go.dataflow.ExternalFlow
import codeql.dataflow.test.ProvenancePathGraph
import ShowProvenance<interpretModelForTest/2, ThreatModelFlow::PathNode, ThreatModelFlow::PathGraph>
from ThreatModelFlow::PathNode source, ThreatModelFlow::PathNode sink
where ThreatModelFlow::flowPath(source, sink)

4
go/ql/test/library-tests/semmle/go/dataflow/ThreatModels/threat-models-flowtest6.ql
View File

@@ -5,7 +5,9 @@
*/
import Test
import ThreatModelFlow::PathGraph
import semmle.go.dataflow.ExternalFlow
import codeql.dataflow.test.ProvenancePathGraph
import ShowProvenance<interpretModelForTest/2, ThreatModelFlow::PathNode, ThreatModelFlow::PathGraph>
from ThreatModelFlow::PathNode source, ThreatModelFlow::PathNode sink
where ThreatModelFlow::flowPath(source, sink)

3
go/ql/test/library-tests/semmle/go/frameworks/Encoding/jsoniter.ql
View File

@@ -2,7 +2,8 @@ import go
import semmle.go.dataflow.ExternalFlow
import ModelValidation
import semmle.go.security.CommandInjection
import CommandInjection::Flow::PathGraph
import codeql.dataflow.test.ProvenancePathGraph
import ShowProvenance<interpretModelForTest/2, CommandInjection::Flow::PathNode, CommandInjection::Flow::PathGraph>
class UntrustedFunction extends Function {
UntrustedFunction() { this.getName() = ["getUntrustedString", "getUntrustedBytes"] }

3
go/ql/test/library-tests/semmle/go/frameworks/Gorestful/gorestful.ql
View File

@@ -2,7 +2,8 @@ import go
import semmle.go.dataflow.ExternalFlow
import ModelValidation
import semmle.go.security.CommandInjection
import CommandInjection::Flow::PathGraph
import codeql.dataflow.test.ProvenancePathGraph
import ShowProvenance<interpretModelForTest/2, CommandInjection::Flow::PathNode, CommandInjection::Flow::PathGraph>
from CommandInjection::Flow::PathNode source, CommandInjection::Flow::PathNode sink
where CommandInjection::Flow::flowPath(source, sink)