List of all items

Structs

• CweModule
• abstract_domain::AbstractIdentifier
• abstract_domain::AbstractIdentifierData
• abstract_domain::DataDomain
• abstract_domain::DomainMap
• abstract_domain::IntersectMergeStrategy
• abstract_domain::Interval
• abstract_domain::IntervalDomain
• abstract_domain::MemRegion
• abstract_domain::MergeTopStrategy
• abstract_domain::UnionMergeStrategy
• analysis::backward_interprocedural_fixpoint::GeneralizedContext
• analysis::expression_propagation::Context
• analysis::fixpoint::Computation
• analysis::forward_interprocedural_fixpoint::GeneralizedContext
• analysis::function_signature::AccessPattern
• analysis::function_signature::FunctionSignature
• analysis::graph::NodeIndex
• analysis::pointer_inference::Config
• analysis::pointer_inference::PointerInference
• analysis::pointer_inference::State
• analysis::pointer_inference::object::AbstractObject
• analysis::string_abstraction::Config
• analysis::string_abstraction::StringAbstraction
• analysis::string_abstraction::context::Context
• analysis::string_abstraction::state::State
• analysis::taint::state::State
• checkers::cwe_134::Config
• checkers::cwe_190::Config
• checkers::cwe_243::Config
• checkers::cwe_332::Config
• checkers::cwe_337::Config
• checkers::cwe_337::Context
• checkers::cwe_416::Config
• checkers::cwe_416::WarningContext
• checkers::cwe_426::Config
• checkers::cwe_467::Config
• checkers::cwe_476::Config
• checkers::cwe_676::Config
• checkers::cwe_789::Config
• checkers::cwe_78::Config
• intermediate_representation::Blk
• intermediate_representation::ByteSize
• intermediate_representation::CallingConvention
• intermediate_representation::DatatypeProperties
• intermediate_representation::ExternSymbol
• intermediate_representation::Program
• intermediate_representation::Project
• intermediate_representation::RuntimeMemoryImage
• intermediate_representation::Sub
• intermediate_representation::Term
• intermediate_representation::Tid
• intermediate_representation::Variable
• pcode::Arg
• pcode::Blk
• pcode::Call
• pcode::CallingConvention
• pcode::Def
• pcode::Expression
• pcode::ExternSymbol
• pcode::Jmp
• pcode::Program
• pcode::Project
• pcode::RegisterProperties
• pcode::Sub
• pcode::Variable
• pipeline::AnalysisResults
• utils::binary::BareMetalConfig
• utils::binary::MemorySegment
• utils::debug::Settings
• utils::debug::SettingsBuilder
• utils::log::CweWarning
• utils::log::LogMessage
• utils::log::LogThread

Enums

• abstract_domain::AbstractLocation
• abstract_domain::AbstractMemoryLocation
• abstract_domain::BitvectorDomain
• abstract_domain::BrickDomain
• abstract_domain::BricksDomain
• abstract_domain::CharacterInclusionDomain
• abstract_domain::CharacterSet
• analysis::graph::Edge
• analysis::graph::Node
• analysis::interprocedural_fixpoint_generic::NodeValue
• analysis::pointer_inference::object::ObjectType
• analysis::taint::Taint
• checkers::cwe_134::StringLocation
• intermediate_representation::Arg
• intermediate_representation::BinOpType
• intermediate_representation::CastOpType
• intermediate_representation::Datatype
• intermediate_representation::Def
• intermediate_representation::Expression
• intermediate_representation::Jmp
• intermediate_representation::UnOpType
• pcode::ArgIntent
• pcode::ExpressionType
• pcode::JmpType
• pcode::Label
• utils::debug::IrForm
• utils::debug::PcodeForm
• utils::debug::Stage
• utils::debug::TerminationPolicy
• utils::debug::Verbosity
• utils::log::LogLevel
• utils::log::LogThreadMsg

Traits

• abstract_domain::AbstractDomain
• abstract_domain::DomainInsertion
• abstract_domain::HasTop
• abstract_domain::MapMergeStrategy
• abstract_domain::RegisterDomain
• abstract_domain::SizedDomain
• abstract_domain::SpecializeByConditional
• abstract_domain::TryToBitvec
• abstract_domain::TryToInterval
• analysis::backward_interprocedural_fixpoint::Context
• analysis::fixpoint::Context
• analysis::forward_interprocedural_fixpoint::Context
• analysis::graph::HasCfg
• analysis::taint::TaintAnalysis
• analysis::vsa_results::HasVsaResult
• analysis::vsa_results::VsaResult
• intermediate_representation::BitvectorExtended
• utils::debug::ToJsonCompact

Functions

• analysis::backward_interprocedural_fixpoint::create_computation
• analysis::backward_interprocedural_fixpoint::create_computation_with_bottom_up_worklist_order
• analysis::backward_interprocedural_fixpoint::create_computation_with_top_down_worklist_order
• analysis::callgraph::find_call_sequences_to_target
• analysis::callgraph::get_program_callgraph
• analysis::dead_variable_elimination::compute_alive_vars
• analysis::dead_variable_elimination::remove_dead_var_assignments
• analysis::expression_propagation::merge_def_assignments_to_same_var
• analysis::expression_propagation::propagate_input_expression
• analysis::expression_propagation::propagate_input_expressions
• analysis::forward_interprocedural_fixpoint::create_bottom_up_worklist
• analysis::forward_interprocedural_fixpoint::create_computation
• analysis::forward_interprocedural_fixpoint::create_computation_with_bottom_up_worklist_order
• analysis::forward_interprocedural_fixpoint::create_computation_with_top_down_worklist_order
• analysis::forward_interprocedural_fixpoint::create_top_down_worklist
• analysis::function_signature::compute_function_signatures
• analysis::function_signature::stubs::compute_return_value_for_stubbed_function
• analysis::function_signature::stubs::generate_param_access_stubs
• analysis::function_signature::stubs::get_stubbed_variadic_symbols
• analysis::function_signature::stubs::return_value_stubs::copy_param
• analysis::function_signature::stubs::return_value_stubs::new_mem_object_id
• analysis::function_signature::stubs::return_value_stubs::or_null
• analysis::function_signature::stubs::return_value_stubs::param_plus_unknown_offset
• analysis::function_signature::stubs::return_value_stubs::untracked
• analysis::graph::get_entry_nodes_of_subs
• analysis::graph::get_program_cfg
• analysis::graph::get_program_cfg_with_logs
• analysis::interprocedural_fixpoint_generic::merge_option
• analysis::pointer_inference::extract_pi_analysis_results
• analysis::pointer_inference::run
• analysis::stack_alignment_substitution::substitute_and_on_stackpointer
• analysis::string_abstraction::run
• checkers::cwe_119::check_cwe
• checkers::cwe_134::check_cwe
• checkers::cwe_190::check_cwe
• checkers::cwe_215::check_cwe
• checkers::cwe_243::check_cwe
• checkers::cwe_252::check_cwe
• checkers::cwe_332::check_cwe
• checkers::cwe_337::check_cwe
• checkers::cwe_367::check_cwe
• checkers::cwe_416::check_cwe
• checkers::cwe_426::check_cwe
• checkers::cwe_467::check_cwe
• checkers::cwe_476::check_cwe
• checkers::cwe_560::check_cwe
• checkers::cwe_676::check_cwe
• checkers::cwe_676::generate_cwe_warnings
• checkers::cwe_676::get_calls
• checkers::cwe_676::resolve_symbols
• checkers::cwe_782::check_cwe
• checkers::cwe_782::generate_cwe_warning
• checkers::cwe_782::handle_sub
• checkers::cwe_789::check_cwe
• checkers::cwe_78::check_cwe
• checkers::cwe_78::check_if_string_domain_indicates_vulnerability
• checkers::cwe_78::check_system_call_parameter
• checkers::cwe_78::generate_cwe_warning
• get_modules
• intermediate_representation::propagate_control_flow::propagate_control_flow
• pipeline::disassemble_binary
• utils::arguments::calculate_parameter_locations
• utils::arguments::get_input_format_string
• utils::arguments::get_variable_parameters
• utils::arguments::parse_format_string_destination_and_return_content
• utils::arguments::parse_format_string_parameters
• utils::binary::parse_hex_string_to_u64
• utils::get_ghidra_plugin_path
• utils::ghidra::get_project_from_ghidra
• utils::ghidra::parse_pcode_project_to_ir_project
• utils::graph_utils::is_sink_call_reachable_from_source_call
• utils::log::add_debug_log_statistics
• utils::log::print_all_messages
• utils::read_config_file
• utils::symbol_utils::find_symbol
• utils::symbol_utils::get_calls_to_symbols
• utils::symbol_utils::get_callsites
• utils::symbol_utils::get_symbol_map
• utils::symbol_utils::get_symbol_map_fast

Type Aliases

• CweModuleFn
• analysis::callgraph::CallGraph
• analysis::graph::Graph
• analysis::pointer_inference::Data
• analysis::pointer_inference::ValueDomain
• intermediate_representation::Bitvector

Statics

• analysis::pointer_inference::CWE_MODULE
• checkers::cwe_119::CWE_MODULE
• checkers::cwe_134::CWE_MODULE
• checkers::cwe_190::CWE_MODULE
• checkers::cwe_215::CWE_MODULE
• checkers::cwe_243::CWE_MODULE
• checkers::cwe_252::CWE_MODULE
• checkers::cwe_332::CWE_MODULE
• checkers::cwe_337::CWE_MODULE
• checkers::cwe_367::CWE_MODULE
• checkers::cwe_416::CWE_MODULE
• checkers::cwe_426::CWE_MODULE
• checkers::cwe_467::CWE_MODULE
• checkers::cwe_476::CWE_MODULE
• checkers::cwe_560::CWE_MODULE
• checkers::cwe_560::UPPER_BOUND_CORRECT_CHMOD_ARG_VALUE
• checkers::cwe_560::UPPER_BOUND_CORRECT_UMASK_ARG_VALUE
• checkers::cwe_676::CWE_MODULE
• checkers::cwe_782::CWE_MODULE
• checkers::cwe_789::CWE_MODULE
• checkers::cwe_78::CWE_MODULE

Constants

• checkers::MODULES_LKM