mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
10 lines
348 B
Plaintext
10 lines
348 B
Plaintext
import csharp
|
|
import semmle.code.csharp.dataflow.internal.rangeanalysis.SignAnalysisCommon as Common
|
|
|
|
from ControlFlow::Nodes::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, " ")
|