mirror of
https://github.com/github/codeql.git
synced 2026-08-04 09:23:23 +02:00
9 lines
141 B
Plaintext
9 lines
141 B
Plaintext
/**
|
|
* @name Test for well-formed ifs
|
|
*/
|
|
|
|
import csharp
|
|
|
|
where forall(IfStmt m | exists(m.getCondition()) and exists(m.getThen()))
|
|
select 1
|