Module SideEffect
Provides an abstract class for accurate dataflow modeling of library
functions when source code is not available. To use this QL library,
create a QL class extending SideEffectFunction with a characteristic
predicate that selects the function or set of functions you are modeling.
Within that class, override the predicates provided by SideEffectFunction
to match the flow within that function.
Import path
import semmle.code.cpp.models.interfaces.SideEffectImports
| Function | Provides classes for working with functions, including template functions. |
| FunctionInputsAndOutputs | Provides a set of QL classes for indicating dataflows through a particular parameter, return value, or qualifier, as well as flows at one level of pointer indirection. |
| Models |
Classes
| SideEffectFunction | Models the side effects of a library function. |