Variable securityAnalysisConst

securityAnalysis: TaintAnalysisDefinition<
    "security",
    FiniteDomain<
        typeof Top,
        typeof Bottom,
        [
            typeof Top,
            typeof Bottom,
            typeof UserInput,
            typeof NetworkInput,
            typeof FileInput,
        ],
    >,
    AbsintVisitorConfiguration,
> = ...