Predicate assertFail
A trivially failing assertion. That is, assert false
or its equivalents.
Import path
import semmle.code.java.frameworks.Assertions
predicate
assertFail
(
BasicBlock
bb
,
ControlFlowNode
n
)