Predicate SizeBarrier::getABarrierInstruction
Gets an instruction that is guarded by a guard condition which ensures that the value of the instruction is upper-bounded by size of some allocation.
Import path
import semmle.code.cpp.security.ProductFlowUtils.ProductFlowUtilsInstruction getABarrierInstruction(int state)