Module StringAnalysis

Provides a class for calculating the possible length of string expressions.

Import path

import semmle.code.cpp.commons.StringAnalysis

Expr	Provides classes modeling C/C++ expressions.
SSA	Provides classes and predicates for SSA representation (Static Single Assignment form).

Holds if a value can flow directly from one expr to another.

AnalyzedString	An analyzed null terminated string.
StrlenCall	A call to a strlen like function.