Predicate isExFreePoolCall
Holds if fc is a function call that is the result of expanding
the ExFreePool macro.
Import path
import semmle.code.cpp.security.flowafterfree.FlowAfterFreepredicate isExFreePoolCall(FunctionCall fc, Expr e)Holds if fc is a function call that is the result of expanding
the ExFreePool macro.
import semmle.code.cpp.security.flowafterfree.FlowAfterFreepredicate isExFreePoolCall(FunctionCall fc, Expr e)