Query module AV Rule 111

name
Return stack-allocated object
description
A function must not return a pointer or reference to a non-static local object.
kind
problem
id
cpp/jsf/av-rule-111
problem.severity
error
tags
correctness reliability external/jsf

Imports

PointsTo

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

Classes