CodeQL library for C/C++
Search

Module StringAnalysis

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

Import path

import semmle.code.cpp.commons.StringAnalysis

Imports

Expr

Provides classes modeling C/C++ expressions.

SSA

Provides classes and predicates for SSA representation (Static Single Assignment form).

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.