Module SourceVariables
Import path
import semmle.code.cpp.ir.dataflow.internal.SsaImplClasses
| NormalSourceVariable | A regular source variable. Most source variables are instances of this class. |
| SavedPostfixCrementSourceVariable | Before a value is postfix incremented (or decremented) we “save” its current value so that the pre-incremented value can be returned to the enclosing expression. We use the source variables represented by this class to represent the “saved value”. |
| SourceVariable |