Query module AV Rule 171

name
AV Rule 171
description
Relational operations shall not be applied to pointer types except where both operands are of the same type and point to or into the same object.
kind
problem
id
cpp/jsf/av-rule-171
problem.severity
error
tags
correctness external/jsf

Imports

PointsTo

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

cpp

Provides classes and predicates for working with C/C++/ObjC/ObjC++ code.

Predicates

Classes