List of all items
Structs
- analysis::BorrowCheckError
- analysis::borrows::BorrowChecker
- analysis::function_pointer_safety::SafeFnAssignmentCheck
- analysis::lifetime_checker::LifetimeScope
- analysis::lifetime_inference::InferredLifetime
- analysis::lifetime_inference::LifetimeInferencer
- analysis::lifetimes::LifetimeAnalyzer
- analysis::liveness::LivenessAnalyzer
- analysis::liveness::UseInfo
- analysis::ownership::OwnershipAnalyzer
- analysis::raii_tracking::ContainerBorrow
- analysis::raii_tracking::HeapAllocation
- analysis::raii_tracking::IteratorBorrow
- analysis::raii_tracking::LambdaCapture
- analysis::raii_tracking::MemberBorrow
- analysis::raii_tracking::RaiiTracker
- analysis::scope_lifetime::LifetimeConstraint
- analysis::scope_lifetime::Scope
- analysis::scope_lifetime::ScopedLifetimeTracker
- analysis::this_tracking::ThisPointerTracker
- diagnostics::BorrowCheckDiagnostic
- diagnostics::Location
- ir::BasicBlock
- ir::IrFunction
- ir::IrProgram
- ir::LambdaCaptureInfo
- ir::Lifetime
- ir::LifetimeConstraint
- ir::LifetimeParam
- ir::ParameterLifetime
- ir::ReturnLifetime
- ir::VariableInfo
- parser::annotations::FunctionSignature
- parser::annotations::LifetimeBound
- parser::ast_visitor::Class
- parser::ast_visitor::CppAst
- parser::ast_visitor::Function
- parser::ast_visitor::SourceLocation
- parser::ast_visitor::Variable
- parser::external_annotations::ExternalAnnotations
- parser::external_annotations::ExternalFunctionAnnotation
- parser::external_annotations::ExternalProfile
- parser::header_cache::HeaderCache
- parser::safety_annotations::FunctionSignature
- parser::safety_annotations::SafetyContext
- parser::template_context::TemplateContext
- parser::type_annotations::MethodLifetime
- parser::type_annotations::TypeLifetimeRegistry
- parser::type_annotations::TypeLifetimeSpec
- solver::ConstraintSolver
- solver::Solution
Enums
- analysis::ErrorKind
- analysis::lifetimes::LifetimeConstraint
- analysis::liveness::UseType
- analysis::raii_tracking::AllocationState
- analysis::scope_lifetime::ConstraintKind
- analysis::scope_lifetime::ScopeKind
- diagnostics::Severity
- ir::BorrowKind
- ir::IrExpression
- ir::IrStatement
- ir::OwnershipEdge
- ir::OwnershipState
- ir::Terminator
- ir::VariableType
- parser::annotations::LifetimeAnnotation
- parser::annotations::SafetyAnnotation
- parser::ast_visitor::Expression
- parser::ast_visitor::LambdaCaptureKind
- parser::ast_visitor::MethodQualifier
- parser::ast_visitor::MoveKind
- parser::ast_visitor::Statement
- parser::external_annotations::ExternalSafety
- parser::safety_annotations::ClassAnnotation
- parser::safety_annotations::SafetyMode
- parser::type_annotations::TypeLifetime
- solver::LifetimeConstraint
Macros
Functions
- analysis::check_borrows
- analysis::check_borrows_with_annotations
- analysis::check_borrows_with_annotations_and_safety
- analysis::check_borrows_with_safety_context
- analysis::function_pointer_safety::check_function_pointer_safety
- analysis::function_pointer_safety::check_raw_function_pointer_call
- analysis::function_pointer_safety::is_member_fn_wrapper_type
- analysis::function_pointer_safety::is_raw_function_pointer_type
- analysis::function_pointer_safety::is_raw_member_function_pointer_type
- analysis::function_pointer_safety::is_safe_fn_call
- analysis::function_pointer_safety::is_safe_fn_type
- analysis::function_pointer_safety::is_unsafe_fn_call_unsafe_method
- analysis::function_pointer_safety::is_unsafe_fn_type
- analysis::inheritance_safety::check_inheritance_safety
- analysis::inheritance_safety::check_method_safety_contracts
- analysis::inheritance_safety::check_safe_class_copy_semantics
- analysis::inheritance_safety::check_safe_inheritance
- analysis::inheritance_safety::collect_interface_map
- analysis::inheritance_safety::collect_interfaces
- analysis::inheritance_safety::validate_interface
- analysis::inheritance_safety::validate_interface_inheritance
- analysis::lambda_capture_safety::check_lambda_capture_safety
- analysis::lifetime_checker::check_lifetimes_with_annotations
- analysis::lifetime_inference::infer_and_validate_lifetimes
- analysis::mutable_checker::check_mutable_fields
- analysis::pointer_safety::check_function_for_pointers
- analysis::pointer_safety::check_parsed_function_for_pointers
- analysis::pointer_safety::check_parsed_statement_for_pointers
- analysis::pointer_safety::check_std_move_on_references
- analysis::raii_tracking::check_raii_issues
- analysis::raii_tracking::has_user_defined_destructor
- analysis::scope_lifetime::analyze_function_scopes
- analysis::scope_lifetime::check_scoped_lifetimes
- analysis::unsafe_propagation::check_unsafe_propagation
- analysis::unsafe_propagation::check_unsafe_propagation_with_external
- diagnostics::format_double_borrow
- diagnostics::format_lifetime_error
- diagnostics::format_use_after_move
- ir::build_ir
- ir::build_ir_with_safety_context
- ir::is_raii_type_with_user_defined
- ir::populate_lifetime_info
- parser::annotations::extract_annotations
- parser::ast_visitor::extract_class
- parser::ast_visitor::extract_function
- parser::ast_visitor::extract_template_parameters
- parser::ast_visitor::extract_variable
- parser::ast_visitor::get_qualified_name
- parser::check_file_safety_annotation
- parser::parse_cpp_file
- parser::parse_cpp_file_with_includes
- parser::parse_cpp_file_with_includes_and_defines
- parser::safety_annotations::check_class_interface_annotation
- parser::safety_annotations::check_method_safety_annotation
- parser::safety_annotations::parse_class_annotation
- parser::safety_annotations::parse_entity_safety
- parser::safety_annotations::parse_safety_annotations
- parser::type_annotations::parse_type_lifetime_annotation