mirror of
https://github.com/github/codeql.git
synced 2025-12-19 02:13:17 +01:00
20 lines
527 B
Plaintext
20 lines
527 B
Plaintext
import csharp
|
|
|
|
predicate getExpandedOperatorArgs(Expr e, Expr left, Expr right) {
|
|
e = any(BinaryArithmeticOperation bo |
|
|
bo.getLeftOperand() = left and
|
|
bo.getRightOperand() = right
|
|
)
|
|
or
|
|
e = any(OperatorCall oc |
|
|
oc.getArgument(0) = left and
|
|
oc.getArgument(1) = right
|
|
)
|
|
}
|
|
|
|
from AssignOperation ao, AssignExpr ae, Expr op, Expr left, Expr right
|
|
where ae = ao.getExpandedAssignment()
|
|
and op = ae.getRValue()
|
|
and getExpandedOperatorArgs(op, left, right)
|
|
select ao, ae, ae.getLValue(), op, left, right
|