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