Query module BitwiseSignCheck

name
Sign check of bitwise operation
description
Checking the sign of a bitwise operation often has surprising edge cases.
kind
problem
problem.severity
warning
precision
high
id
cpp/bitwise-sign-check
tags
reliability correctness

Imports

cpp

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