Closed
Description
Affected rules
M5-0-20
M5-0-21
RULE-10-1
Description
In the database we (slightly surprisingly) consider pointer assignment to be a bitwise expression:
https://github.com/github/codeql/blob/f7ca8e5b396ce5fb8bcc52c003905529766ec6d2/cpp/ql/lib/semmlecode.cpp.dbscheme#L1319-L1325
Example
void test_add(char *val) {
int add = 2;
val += add; // COMPLIANT[FALSE_POSITIVE]
}