Add files via upload

Author: ihsinme

cpp/ql/test/experimental/query-tests/Security/CWE/CWE-783/semmle/tests/OperatorPrecedenceLogicErrorWhenUseBitwiseOrLogicalOperations.expected

@@ -0,0 +1,7 @@
+| test.cpp:7:6:7:15 | ... \|\| ... | Logical and has a higher priority. |
+| test.cpp:14:6:14:14 | ... \|\| ... | Binary operations has higher priority. |
+| test.cpp:18:6:18:14 | ... \|\| ... | Binary operations has higher priority. |
+| test.cpp:23:6:23:13 | ... \| ... | Expression ranges do not match operation precedence. |
+| test.cpp:27:6:27:13 | ... ^ ... | Expression ranges do not match operation precedence. |
+| test.cpp:32:6:32:13 | ... \| ... | Expression ranges do not match operation precedence. |
+| test.cpp:37:6:37:13 | ... \| ... | specify the priority with parentheses. |

cpp/ql/test/experimental/query-tests/Security/CWE/CWE-783/semmle/tests/OperatorPrecedenceLogicErrorWhenUseBitwiseOrLogicalOperations.qlref

@@ -0,0 +1 @@
+experimental/Security/CWE/CWE-783/OperatorPrecedenceLogicErrorWhenUseBitwiseOrLogicalOperations.ql

cpp/ql/test/experimental/query-tests/Security/CWE/CWE-783/semmle/tests/test.cpp

@@ -0,0 +1,42 @@
+void testFunction()
+{
+  int i1,i2,i3;
+  bool b1,b2,b3;
+  char c1;
+  
+  if(b1||b2&&b3) //BAD
+    return;
+  if((b1||b2)&&b3) //GOOD
+    return;
+  if(b1||(b2&&b3)) //GOOD
+    return;
+
+  if(b1||b2&i1) //BAD
+    return;
+  if((b1||b2)&i1) //GOOD
+    return;
+  if(b1||b2|i1) //BAD
+    return;
+  if((b1||b2)|i1) //GOOD
+    return;
+
+  if(i1|i2&c1) //BAD
+    return;
+  if((i1|i2)&i3) //GOOD
+    return;
+  if(i1^i2&c1) //BAD
+    return;
+  if((i1^i2)&i3) //GOOD
+    return;
+  
+  if(i1|i2^c1) //BAD
+    return;
+  if((i1|i2)^i3) //GOOD
+    return;
+  
+  if(b1|b2^b3) //BAD
+    return;
+  if((b1|b2)^b3) //GOOD
+    return;
+  
+}