Skip to content

Commit

Permalink
Apply suggestions from code review
Browse files Browse the repository at this point in the history
Co-authored-by: Chris Smowton <[email protected]>
  • Loading branch information
JLLeitschuh and smowton authored Mar 10, 2022
1 parent 2a6c4e9 commit ecb8911
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions java/ql/lib/semmle/code/java/environment/SystemProperty.qll
Original file line number Diff line number Diff line change
Expand Up @@ -259,8 +259,8 @@ private predicate localExprFlowPlusInitializers(Expr e1, Expr e2) {
}

/**
* Holds if data can flow from `node1` to `node2` in zero or more
* local (intra-procedural) steps or via local variable intializers
* Holds if data can flow from `pred` to `succ` in zero or more
* local (intra-procedural) steps or via instance or static variable intializers
* for final variables.
*/
private predicate localFlowPlusInitializers(DataFlow::Node pred, DataFlow::Node succ) {
Expand Down

0 comments on commit ecb8911

Please sign in to comment.