qtil
advanced-security/qtil-csharp 0.0.3
Search

Predicate Internal::PreCfg::CachedWithCfg::isGuard

Import path

import semmle.code.csharp.controlflow.Guards
predicate isGuard(Expr e, AbstractValue val)