Module `Pulselib`

module Pulse : sig ... end

module PulseAbductiveDecompiler : sig ... end

module PulseAbductiveDomain : sig ... end

module PulseAbstractValue : sig ... end

module PulseAccess : sig ... end

module PulseAccessResult : sig ... end

module PulseArithmetic : sig ... end

module PulseAttribute : sig ... end

module PulseBaseAddressAttributes : sig ... end

module PulseBaseDomain : sig ... end

module PulseBaseMemory : sig ... end

module PulseBaseStack : sig ... end

module PulseBasicInterface : sig ... end

Basic Pulse modules that are safe to use in any module

module PulseCItv : sig ... end

module PulseCallEvent : sig ... end

module PulseCallOperations : sig ... end

module PulseCanonValue : sig ... end

module PulseCheapCopyTypes : sig ... end

module PulseContext : sig ... end

module PulseDecompiler : sig ... end

module PulseDecompilerExpr : sig ... end

module PulseDiagnostic : sig ... end

module PulseDomainInterface : sig ... end

module PulseExecutionDomain : sig ... end

module PulseFormula : sig ... end

module PulseInterproc : sig ... end

module PulseInvalidation : sig ... end

module PulseLatentIssue : sig ... end

module PulseLoadInstrModels : sig ... end

module PulseModels : sig ... end

module PulseModelsAndroid : sig ... end

module PulseModelsC : sig ... end

module PulseModelsCSharp : sig ... end

module PulseModelsCpp : sig ... end

module PulseModelsDSL : sig ... end

module PulseModelsErlang : sig ... end

module PulseModelsGenericArrayBackedCollection : sig ... end

module PulseModelsHack : sig ... end

module PulseModelsImport : sig ... end

module PulseModelsJava : sig ... end

module PulseModelsLocks : sig ... end

module PulseModelsObjC : sig ... end

module PulseModelsOptional : sig ... end

module PulseModelsSmartPointers : sig ... end

module PulseMutualRecursion : sig ... end

module PulseNonDisjunctiveDomain : sig ... end

module PulseNonDisjunctiveOperations : sig ... end

module PulseOperationResult : sig ... end

module PulseOperations : sig ... end

module PulsePathContext : sig ... end

module PulsePp : sig ... end

module PulseRefCounting : sig ... end

module PulseReport : sig ... end

module PulseResult : sig ... end

module PulseRetainCycleChecker : sig ... end

module PulseSatUnsat : sig ... end

module PulseSkippedCalls : sig ... end

module PulseSpecialization : sig ... end

module PulseSpecializedCallGraph : sig ... end

module PulseSummary : sig ... end

module PulseTaintConfig : sig ... end

module PulseTaintItem : sig ... end

module PulseTaintItemMatcher : sig ... end

module PulseTaintOperations : sig ... end

module PulseTimestamp : sig ... end

module PulseTopl : sig ... end

module PulseTrace : sig ... end

module PulseTransitiveAccessChecker : sig ... end

module PulseTransitiveInfo : sig ... end

module PulseUninitBlocklist : sig ... end

module PulseValueHistory : sig ... end

module PulseValueOrigin : sig ... end

module QSafeCapped : sig ... end

module ZSafe : sig ... end