mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
17 lines
471 B
Plaintext
17 lines
471 B
Plaintext
import csharp
|
|
import semmle.code.csharp.dataflow.internal.rangeanalysis.SignAnalysisCommon
|
|
|
|
from ControlFlow::Nodes::ExprNode e
|
|
where
|
|
not exists(exprSign(e)) and
|
|
not e.getExpr() instanceof TypeAccess and
|
|
(
|
|
e.getType() instanceof CharType or
|
|
e.getType() instanceof IntegralType or
|
|
e.getType() instanceof FloatingPointType or
|
|
e.getType() instanceof DecimalType or
|
|
e.getType() instanceof Enum or
|
|
e.getType() instanceof PointerType
|
|
)
|
|
select e
|