File tree Expand file tree Collapse file tree 5 files changed +10
-10
lines changed
src/Likely Bugs/Arithmetic
test/query-tests/Likely Bugs/Arithmetic/BitwiseSignCheck
test/query-tests/Expressions/BitwiseSignCheck
java/ql/src/Likely Bugs/Comparison Expand file tree Collapse file tree 5 files changed +10
-10
lines changed Original file line number Diff line number Diff line change 25
25
forall ( int op | op = lhs .( BitwiseAndExpr ) .getAnOperand ( ) .getValue ( ) .toInt ( ) | op < 0 ) and
26
26
// exception for cases involving macros
27
27
not e .isAffectedByMacro ( )
28
- select e , "Potential unsafe sign check of a bitwise operation."
28
+ select e , "Potentially unsafe sign check of a bitwise operation."
Original file line number Diff line number Diff line change 1
- | bsc.cpp:2:10:2:32 | ... > ... | Potential unsafe sign check of a bitwise operation. |
2
- | bsc.cpp:6:10:6:32 | ... > ... | Potential unsafe sign check of a bitwise operation. |
3
- | bsc.cpp:18:10:18:28 | ... > ... | Potential unsafe sign check of a bitwise operation. |
4
- | bsc.cpp:22:10:22:28 | ... < ... | Potential unsafe sign check of a bitwise operation. |
1
+ | bsc.cpp:2:10:2:32 | ... > ... | Potentially unsafe sign check of a bitwise operation. |
2
+ | bsc.cpp:6:10:6:32 | ... > ... | Potentially unsafe sign check of a bitwise operation. |
3
+ | bsc.cpp:18:10:18:28 | ... > ... | Potentially unsafe sign check of a bitwise operation. |
4
+ | bsc.cpp:22:10:22:28 | ... < ... | Potentially unsafe sign check of a bitwise operation. |
Original file line number Diff line number Diff line change 16
16
e .isStrict ( ) and
17
17
e .getGreaterOperand ( ) instanceof BitwiseExpr and
18
18
e .getLesserOperand ( ) .( IntegerLiteral ) .getIntValue ( ) = 0
19
- select e , "Potential unsafe sign check of a bitwise operation."
19
+ select e , "Potentially unsafe sign check of a bitwise operation."
Original file line number Diff line number Diff line change 53
53
not e instanceof EqualityTest and
54
54
e .getRightOperand ( ) .getIntValue ( ) = 0 and
55
55
not acceptableSignCheck ( b )
56
- select e , "Potential unsafe sign check of a bitwise operation."
56
+ select e , "Potentially unsafe sign check of a bitwise operation."
Original file line number Diff line number Diff line change 1
- | tst.js:2:9:2:24 | (x & (1<<n)) > 0 | Potential unsafe sign check of a bitwise operation. |
2
- | tst.js:14:13:14:25 | (x >>> 0) > 0 | Potential unsafe sign check of a bitwise operation. |
3
- | tst.js:23:1:23:21 | (x & 0x ... 00) > 0 | Potential unsafe sign check of a bitwise operation. |
1
+ | tst.js:2:9:2:24 | (x & (1<<n)) > 0 | Potentially unsafe sign check of a bitwise operation. |
2
+ | tst.js:14:13:14:25 | (x >>> 0) > 0 | Potentially unsafe sign check of a bitwise operation. |
3
+ | tst.js:23:1:23:21 | (x & 0x ... 00) > 0 | Potentially unsafe sign check of a bitwise operation. |
You can’t perform that action at this time.
0 commit comments