Java/Python: Reduce size of blockPrecedesVar

2026-04-29 18:55:14 +02:00 · 2020-09-22 11:00:26 +02:00
parent c56d5eb90e
commit 71da9045e5
4 changed files with 12 additions and 6 deletions
--- a/python/ql/src/semmle/python/essa/SsaCompute.qll
+++ b/python/ql/src/semmle/python/essa/SsaCompute.qll
@@ -382,7 +382,9 @@ private module SsaComputeImpl {

    /** Holds if `v` occurs in `b` or one of `b`'s transitive successors. */
    private predicate blockPrecedesVar(SsaSourceVariable v, BasicBlock b) {
-      varOccursInBlock(v, b.getASuccessor*())
+      varOccursInBlock(v, b)
+      or
+      SsaDefinitionsImpl::reachesEndOfBlock(v, _, _, b)
    }

    /**