mirror of
https://github.com/github/codeql.git
synced 2026-03-22 15:36:48 +01:00
22 lines
728 B
Plaintext
22 lines
728 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(mkElement(d).(ControlFlowNode)) and bu.contains(u) |
|
|
bbStrictlyDominates(bd, bu)
|
|
or
|
|
exists(int i, int j | bd = bu and bd.getNode(i) = mkElement(d) and bu.getNode(j) = u and i <= j)
|
|
)
|
|
)
|