mirror of
https://github.com/github/codeql.git
synced 2026-05-20 06:07:07 +02:00
10 lines
346 B
Plaintext
10 lines
346 B
Plaintext
import csharp
|
|
import semmle.code.csharp.dataflow.internal.rangeanalysis.SignAnalysisCommon as Common
|
|
|
|
from ControlFlowNodes::ExprNode e, Expr expr
|
|
where
|
|
e.getExpr() = expr and
|
|
expr.getFile().getStem() = "SignAnalysis" and
|
|
expr instanceof UnsignedRightShiftExpr
|
|
select e, strictconcat(string s | s = Common::exprSign(e).toString() | s, " ")
|