List of all items

Structs

• air::AirBlock
• air::AirBundle
• air::AirFunction
• air::AirGlobal
• air::AirModule
• air::AirParam
• air::FieldPath
• air::Instruction
• air::StructField
• air::TypeHierarchyEntry
• air::VirtualMethodSlot
• cache::BundleCache
• config::AnalysisConfig
• config::Config
• config::IncrementalConfig
• config::PathsConfig
• config::RustConfig
• ids::BlockId
• ids::FileId
• ids::FunctionId
• ids::InstId
• ids::LocId
• ids::ModuleId
• ids::ObjId
• ids::ProgramId
• ids::TypeId
• ids::ValueId
• logging::subscriber::filter::FilterRule
• logging::subscriber::filter::SafLogFilter
• logging::subscriber::layer::SafLogLayer
• logging::subscriber::layer::SafLogVisitor
• logging::value::SafPair
• logging::value::SafRatio
• manifest::CacheManifest
• manifest::ManifestDiff
• manifest::ManifestEntry
• program::AirProgram
• program::LinkConflict
• program::LinkTable
• program::ProgramDiff
• span::SourceFile
• span::Span
• span::Symbol
• spec::AnalyzedSpecRegistry
• spec::ComputedBound
• spec::DerivedSpec
• spec::FunctionSpec
• spec::ParamSpec
• spec::ReturnSpec
• spec::SpecFile
• spec::SpecRegistry
• spec::TaintPropagation
• spec::TaintSpec
• spec::analyzed::AnalyzedSpecRegistry
• spec::derived::ComputedBound
• spec::derived::DerivedSpec
• spec::registry::SpecRegistry
• spec::schema::SpecFile
• spec::types::FunctionSpec
• spec::types::ParamSpec
• spec::types::ReturnSpec
• spec::types::TaintPropagation
• spec::types::TaintSpec
• summary::AllocationEffect
• summary::FunctionSummary
• summary::MemoryEffect
• summary::ReturnEffect
• summary::SummaryComputedBound
• summary::SummaryTaintPropagation
• summary_registry::SummaryRegistry

Enums

• air::AirType
• air::BinaryOp
• air::CastKind
• air::Constant
• air::FieldStep
• air::HeapAllocKind
• air::Operation
• air::Value
• config::AnalysisMode
• config::ConfigFieldSensitivity
• config::ExternalSideEffects
• config::Frontend
• config::PtaSolver
• error::CoreError
• logging::value::PtsDelta
• program::SplitStrategy
• spec::BoundMode
• spec::LookupResult
• spec::NamePattern
• spec::Nullness
• spec::PatternError
• spec::Pointer
• spec::RegistryError
• spec::Role
• spec::SchemaError
• spec::TaintLocation
• spec::analyzed::LookupResult
• spec::derived::BoundMode
• spec::pattern::NamePattern
• spec::pattern::PatternError
• spec::registry::RegistryError
• spec::schema::SchemaError
• spec::types::Nullness
• spec::types::Pointer
• spec::types::Role
• spec::types::TaintLocation
• summary::AccessPath
• summary::AccessPathParseError
• summary::CalleeRef
• summary::SummaryBoundMode
• summary::SummaryNullness
• summary::SummaryPrecision
• summary::SummaryRole
• summary::SummarySource

Traits

• air_visitor::AirVisitor
• ids::EntityId
• logging::value::SafLogValue

Macros

• ids::define_id_type
• logging::value::impl_saf_log_int
• saf_log
• saf_log_module

Functions

• air::default_pointer_width
• air_visitor::walk_function
• air_visitor::walk_module
• cache::hex_encode
• id::id_to_hex
• id::make_id
• ids::parse_hex_id
• layout::abi_alignment
• layout::abi_alignment_with_ptr
• layout::align_up
• layout::alloc_size
• layout::alloc_size_with_ptr
• layout::compute_struct_layout
• layout::compute_struct_layout_with_ptr
• logging::formatter::format_saf_log_line
• logging::subscriber::filter::split_respecting_brackets
• logging::subscriber::init
• program::split_by_function
• program::split_by_source_file
• program::split_module
• spec::schema::validate_spec
• spec::schema::validate_taint_location

Constants

• spec::CURRENT_VERSION
• spec::schema::CURRENT_VERSION