JS: More auto format

This commit is contained in:
Asger Feldthaus
2021-01-15 08:53:13 +00:00
parent d8c9dba990
commit 2a7b4487f1
2 changed files with 5 additions and 15 deletions

View File

@@ -3,9 +3,7 @@ private import semmle.javascript.security.dataflow.Xss
query Angular2::PipeRefExpr pipeRef() { any() }
query CallExpr pipeCall() {
result.getCallee() instanceof Angular2::PipeRefExpr
}
query CallExpr pipeCall() { result.getCallee() instanceof Angular2::PipeRefExpr }
query CallExpr pipeCallArg(int i, Expr arg) {
result.getCallee() instanceof Angular2::PipeRefExpr and
@@ -14,22 +12,16 @@ query CallExpr pipeCallArg(int i, Expr arg) {
query Angular2::PipeClass pipeClass() { any() }
query DataFlow::Node pipeClassRef(Angular2::PipeClass cls) {
result = cls.getAPipeRef()
}
query DataFlow::Node pipeClassRef(Angular2::PipeClass cls) { result = cls.getAPipeRef() }
class TaintConfig extends TaintTracking::Configuration {
TaintConfig() {
this = "TaintConfig"
}
TaintConfig() { this = "TaintConfig" }
override predicate isSource(DataFlow::Node source) {
source.(DataFlow::CallNode).getCalleeName() = "source"
}
override predicate isSink(DataFlow::Node sink) {
sink instanceof DomBasedXss::Sink
}
override predicate isSink(DataFlow::Node sink) { sink instanceof DomBasedXss::Sink }
}
query predicate taintFlow(DataFlow::Node source, DataFlow::Node sink) {