mirror of
https://github.com/github/codeql.git
synced 2026-03-30 20:28:15 +02:00
21 lines
713 B
Plaintext
21 lines
713 B
Plaintext
import testModels
|
|
private import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivate
|
|
private import semmle.code.cpp.ir.dataflow.internal.DataFlowUtil
|
|
private import semmle.code.cpp.ir.dataflow.internal.DataFlowNodes
|
|
|
|
string describe(DataFlow::Node n) {
|
|
n instanceof ParameterNode and result = "ParameterNode"
|
|
or
|
|
n instanceof PostUpdateNode and result = "PostUpdateNode"
|
|
or
|
|
n instanceof ArgumentNode and result = "ArgumentNode"
|
|
or
|
|
n instanceof ReturnNode and result = "ReturnNode"
|
|
or
|
|
n instanceof OutNode and result = "OutNode"
|
|
}
|
|
|
|
from FlowSummaryNode n
|
|
select n, concat(describe(n), ", "), concat(n.getSummarizedCallable().toString(), ", "),
|
|
concat(n.getEnclosingCallable().toString(), ", ")
|