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

Java: use post-process provenance pretty-printing in .ql library-tests

Browse Source
This commit is contained in:
Jami Cogswell
2024-07-29 11:46:28 -04:00
parent 1530037eae
commit e226da4f04
14 changed files with 126 additions and 59 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
java/ql/test/library-tests/dataflow/call-sensitivity/flow.ql
View File

@@ -4,7 +4,9 @@
import java
import semmle.code.java.dataflow.DataFlow
import Flow::PathGraph
import codeql.dataflow.test.ProvenancePathGraph
import semmle.code.java.dataflow.ExternalFlow
import ShowProvenance<interpretModelForTest/2, Flow::PathNode, Flow::PathGraph>
module Config implements DataFlow::ConfigSig {
predicate isSource(DataFlow::Node src) { src.asExpr() instanceof ClassInstanceExpr }