Module StringAnalysis

Import path

semmle.code.cpp.commons.StringAnalysis

Imports

Predicates

canValueFlow

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

Classes

AnalysedString

An analysed null terminated string.

StrlenCall

A call to a strlen like function.