mirror of
https://github.com/github/codeql.git
synced 2025-12-17 09:13:20 +01:00
19 lines
499 B
Plaintext
19 lines
499 B
Plaintext
/**
|
|
* @id cs/examples/switch-case
|
|
* @name Switch statement case missing
|
|
* @description Finds switch statements with a missing enum constant case and no default case.
|
|
* @tags switch
|
|
* case
|
|
* enum
|
|
*/
|
|
|
|
import csharp
|
|
|
|
from SwitchStmt switch, Enum enum, EnumConstant missing
|
|
where
|
|
switch.getCondition().getType() = enum and
|
|
missing.getDeclaringType() = enum and
|
|
not switch.getAConstCase().getExpr() = missing.getAnAccess() and
|
|
not exists(switch.getDefaultCase())
|
|
select switch
|