mirror of
https://github.com/github/codeql.git
synced 2026-05-04 05:05:12 +02:00
21 lines
706 B
Plaintext
21 lines
706 B
Plaintext
/**
|
|
* @name SSA dominance property test
|
|
* @description SSA dominance property test. SSA definitions *must* dominate all uses
|
|
* @kind test
|
|
*/
|
|
|
|
import cpp
|
|
import semmle.code.cpp.rangeanalysis.RangeSSA
|
|
|
|
/* Count of number of SSA def-use pairs where the defn does not dominate the use.
|
|
Should always be zero *regardless* of the input */
|
|
|
|
select
|
|
count(RangeSsaDefinition d, LocalScopeVariable v, Expr u |
|
|
d.getAUse(v) = u and
|
|
not exists(BasicBlock bd, BasicBlock bu | bd.contains((ControlFlowNode)d) and bu.contains(u) |
|
|
bbStrictlyDominates(bd, bu)
|
|
or
|
|
exists(int i, int j | bd = bu and bd.getNode(i) = d and bu.getNode(j) = u and i <= j)
|
|
)
|
|
) |