Skip to content
Merged
Prev Previous commit
Next Next commit
JS: Remove obsolete TODO comment
  • Loading branch information
asgerf committed Jan 9, 2025
commit fb54a3bde89fc4a30f1b7c4f371105e30cebfbcc
Original file line number Diff line number Diff line change
Expand Up @@ -65,10 +65,7 @@ module PrototypePollutingAssignmentConfig implements DataFlow::StateConfigSig {
state = FlowState::objectPrototype()
}

predicate isBarrierIn(DataFlow::Node node, FlowState state) {
// FIXME: This should only be an in-barrier for the corresponding flow state, but flow-state specific in-barriers are not supported right now.
isSource(node, state)
}
predicate isBarrierIn(DataFlow::Node node, FlowState state) { isSource(node, state) }

predicate isAdditionalFlowStep(
DataFlow::Node node1, FlowState state1, DataFlow::Node node2, FlowState state2
Expand Down