CodeQL library for C/C++
Search

Module MemoryFreed

Import path

import Critical.MemoryFreed

Imports

PointsTo

Provides classes and predicates implementing a points-to analysis based on Steensgaard’s algorithm, extended to support fields.

Predicates

allocMayBeFreed

An allocation expression that might be deallocated. For example: int* p = new int; ... delete p;

Classes

FreedExpr

An expression that might be deallocated.