List of all items

Structs

• DeclId
• FileModel
• SchemaModel
• SemanticModel
• StatementId
• calls::CallSite
• canonical::CanonicalisationContext
• canonical::CanonicalisationStats
• column_edges::ColumnEdge
• decl::AnchoredType
• decl::ColumnDecl
• decl::CursorDecl
• decl::DeclCommon
• decl::FunctionDecl
• decl::IndexDecl
• decl::PackageDecl
• decl::ParamDecl
• decl::ProcedureDecl
• decl::SequenceDecl
• decl::SynonymDecl
• decl::TableDecl
• decl::TriggerDecl
• decl::TypeDecl
• decl::VariableDecl
• decl::ViewDecl
• dml_edges::TableAccess
• expr::NameRef
• fact::Fact
• fact::FactId
• fact::FactProvenance
• fact::FactStore
• fact_emit::CursorForLoopSite
• fact_emit::DetailFactSite
• fact_emit::ExceptionHandlerSite
• fact_emit::HardcodedCredentialSite
• fact_emit::InvokerRightsSite
• fact_emit::IsNullIndexedSite
• fact_emit::MissingInstrumentationSite
• fact_emit::SynonymFactSite
• fact_emit::UnitFactSite
• flow::Taint
• flow::ValueFlow
• flow_inter::CallEdgeFlow
• flow_inter::FlowUnknownFact
• flow_inter::InterFlowResult
• flow_inter::PropagatedReturn
• flow_inter::RoutineFlowSummary
• flow_intra::FlowEnv
• flow_intra::TaintSources
• flow_query::FlowQuery
• flow_query::TaintAnswer
• lower::LoweredFile
• recursion_guard::RecursionOutcome
• sql_sem::AliasBinding
• sql_sem::AliasScope
• sql_sem::ColumnUse
• sql_sem::ProjectionItem
• sql_sem::SqlSemanticModel
• sql_sem::SqlStatementModel
• sql_sem::TableUse
• stmt::IfArm

Enums

• calls::CallContext
• column_edges::ColumnEdgeKind
• decl::DeclKind
• decl::Declaration
• decl::ParamMode
• decl::TypeRef
• dml_edges::AccessKind
• expr::Expr
• expr::UnknownExprReason
• fact::FactKind
• fact::FactPayload
• flow::ConstantValue
• flow::StringShape
• flow::TaintCleanser
• flow::TaintKind
• flow::ValueSet
• flow_inter::FlowUnknownReason
• sql_sem::ColumnResolution
• sql_sem::SqlSemanticVerb
• sql_sem::TableUsageKind
• stmt::SqlVerb
• stmt::Statement
• stmt::UnknownStatementReason

Traits

• table_stub::DeclLike

Functions

• calls::extract_call_sites
• calls::extract_call_sites_bounded
• canonical::canonicalize_expr
• canonical::canonicalize_statements
• column_edges::extract_column_edges
• column_edges::extract_column_edges_for_model
• dml_edges::extract_table_accesses
• dml_edges::extract_table_accesses_bounded
• expr::lower_expression
• fact::mint_fact
• fact_emit::emit_call_facts
• fact_emit::emit_cross_schema_write_facts
• fact_emit::emit_cursor_for_loop_facts
• fact_emit::emit_declaration_facts
• fact_emit::emit_declarations_from
• fact_emit::emit_deprecated_feature_facts
• fact_emit::emit_deterministic_misuse_facts
• fact_emit::emit_dml_in_function_facts
• fact_emit::emit_dynamic_sql_facts
• fact_emit::emit_exception_handler_facts
• fact_emit::emit_flow_env_facts
• fact_emit::emit_flow_facts
• fact_emit::emit_hardcoded_credential_facts
• fact_emit::emit_invoker_rights_facts
• fact_emit::emit_is_null_on_indexed_column_facts
• fact_emit::emit_log_without_reraise_facts
• fact_emit::emit_missing_instrumentation_facts
• fact_emit::emit_mutating_table_trigger_facts
• fact_emit::emit_privilege_facts
• fact_emit::emit_ref_cursor_return_facts
• fact_emit::emit_reference_facts
• fact_emit::emit_sensitive_public_synonym_facts
• fact_emit::emit_unbounded_bulk_collect_facts
• fact_emit::emit_unknown_facts
• fact_emit::scan_cross_schema_write
• fact_emit::scan_cursor_for_loops
• fact_emit::scan_deprecated_features
• fact_emit::scan_deterministic_misuse
• fact_emit::scan_dml_in_function
• fact_emit::scan_exception_handlers
• fact_emit::scan_hardcoded_credentials
• fact_emit::scan_invoker_rights
• fact_emit::scan_is_null_on_indexed_column
• fact_emit::scan_log_without_reraise
• fact_emit::scan_missing_instrumentation
• fact_emit::scan_mutating_table_trigger
• fact_emit::scan_ref_cursor_return
• fact_emit::scan_sensitive_public_synonym
• fact_emit::scan_unbounded_bulk_collect
• flow_inter::propagate_inter
• flow_intra::analyze_flow
• flow_intra::analyze_flow_bounded
• lower::lower_top_level
• sql_columns::extract_columns
• sql_columns::extract_columns_for_model
• sql_fact_emit::emit_sql_use_facts
• sql_fact_emit::emit_sql_use_facts_for_model
• sql_resolve::resolve_sql
• stmt::lower_statement_body

Constants

• expr::MAX_EXPR_DEPTH
• recursion_guard::MAX_RELOWER_DEPTH