mirror of
https://github.com/github/codeql.git
synced 2025-12-18 01:33:15 +01:00
21 lines
633 B
Plaintext
21 lines
633 B
Plaintext
import javascript
|
|
import ExampleConfiguration
|
|
|
|
query predicate isBarrier(ExampleConfiguration cfg, DataFlow::Node n) { cfg.isBarrier(n) }
|
|
|
|
query predicate isLabeledBarrier(
|
|
ExampleConfiguration cfg, DataFlow::Node n, DataFlow::FlowLabel label
|
|
) {
|
|
cfg.isLabeledBarrier(n, label)
|
|
}
|
|
|
|
query predicate isSanitizer(ExampleConfiguration cfg, DataFlow::Node n) { cfg.isSanitizer(n) }
|
|
|
|
query predicate sanitizingGuard(TaintTracking::SanitizerGuardNode g, Expr e, boolean b) {
|
|
g.sanitizes(b, e)
|
|
}
|
|
|
|
query predicate taintedSink(DataFlow::Node source, DataFlow::Node sink) {
|
|
exists(ExampleConfiguration cfg | cfg.hasFlow(source, sink))
|
|
}
|