Query module AV Rule 173
- AV Rule 173
- The address of an object with automatic storage shall not be assigned to an object which persists after the object has ceased to exist.
- correctness external/jsf
Provides classes and predicates for working with C/C++/ObjC/ObjC++ code.