mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
24 lines
498 B
Plaintext
24 lines
498 B
Plaintext
/**
|
|
* @kind path-problem
|
|
*/
|
|
|
|
import csharp
|
|
import Common
|
|
import DataFlow::PathGraph
|
|
|
|
class TTConfig extends TaintTracking::Configuration {
|
|
Config c;
|
|
|
|
TTConfig() { this = c }
|
|
|
|
override predicate isSource(DataFlow::Node source) { c.isSource(source) }
|
|
|
|
override predicate isSink(DataFlow::Node sink) { c.isSink(sink) }
|
|
}
|
|
|
|
from TTConfig c, DataFlow::PathNode source, DataFlow::PathNode sink, string s
|
|
where
|
|
c.hasFlowPath(source, sink) and
|
|
s = sink.toString()
|
|
select sink, source, sink, s
|