Predicate isFunctionVirtual
Holds if the specified Function
can be overridden in a derived class.
Import path
import semmle.code.cpp.ir.internal.IRCppLanguage
predicate isFunctionVirtual(Function f)
Holds if the specified Function
can be overridden in a derived class.
import semmle.code.cpp.ir.internal.IRCppLanguage
predicate isFunctionVirtual(Function f)