JS: Autoformat

This commit is contained in:
Asger Feldthaus
2021-03-16 12:46:52 +00:00
parent e1bfc6cd38
commit ccc879dc5c
2 changed files with 4 additions and 2 deletions

View File

@@ -653,7 +653,10 @@ private class SharedStepAsAdditionalFlowStep extends AdditionalFlowStep {
any(SharedFlowStep st).step(pred, succ) and succ = this
}
override predicate step(DataFlow::Node pred, DataFlow::Node succ, DataFlow::FlowLabel predlbl, DataFlow::FlowLabel succlbl) {
override predicate step(
DataFlow::Node pred, DataFlow::Node succ, DataFlow::FlowLabel predlbl,
DataFlow::FlowLabel succlbl
) {
any(SharedFlowStep st).step(pred, succ, predlbl, succlbl) and succ = this
}
}

View File

@@ -225,7 +225,6 @@ module TaintTracking {
class SharedTaintStep extends Unit {
// Each step relation in this class should have a cached version in the `Cached` module
// and be included in the `sharedTaintStep` predicate.
/**
* Holds if `pred` → `succ` should be considered a taint-propagating
* data flow edge.