Module Checkers

module AddressTaken : sig ... end
module AnnotationReachability : sig ... end
module AnnotationReachabilityDomain : sig ... end
module Control : sig ... end
module DisjunctiveDemo : sig ... end
module Dominators : sig ... end
module ExternalConfigImpactData : sig ... end
module FragmentRetainsViewChecker : sig ... end
module Impurity : sig ... end
module ImpurityDomain : sig ... end
module InefficientKeysetIterator : sig ... end
module Lineage : sig ... end
module LineageBase : sig ... end
module LineageShape : sig ... end
module LithoDomain : sig ... end
module Liveness : sig ... end
module LoopInvariant : sig ... end
module Loop_control : sig ... end
module ParameterNotNullChecked : sig ... end

Checker for when an Objective-C block is a parameter of a function or method, and it's executed in the method's body without being checked for null first.

module PrintfArgs : sig ... end
module PurityAnalysis : sig ... end
module PurityChecker : sig ... end
module PurityDomain : sig ... end
module PurityModels : sig ... end
module ReachingDefs : sig ... end
module RequiredProps : sig ... end
module ScopeLeakage : sig ... end
module SelfInBlock : sig ... end
module SilValidation : sig ... end
module Siof : sig ... end
module SiofDomain : sig ... end
module SiofTrace : sig ... end