Module StringAnalysis
Provides a class for calculating the possible length of string expressions.
Import path
import semmle.code.cpp.commons.StringAnalysis
Imports
Predicates
canValueFlow | Holds if a value can flow directly from one expr to another. |
Classes
AnalyzedString | An analyzed null terminated string. |
StrlenCall | A call to a strlen like function. |