List of all items[−]
Structs
- SmtGenerationOptions
- disassemble::Disassembly
- engine::memory::VirtualMemory
- engine::rarity_simulation::Executor
- engine::rarity_simulation::RarityBugInfo
- engine::rarity_simulation::RaritySimulation
- engine::rarity_simulation::RaritySimulationOptions
- engine::rarity_simulation::State
- engine::symbolic_execution::SymbolicExecutionBugInfo
- engine::symbolic_execution::SymbolicExecutionEngine
- engine::symbolic_execution::SymbolicExecutionOptions
- engine::symbolic_execution::SymbolicExecutor
- engine::symbolic_state::EdgeIndex
- engine::symbolic_state::FormulaView
- engine::symbolic_state::NodeIndex
- engine::symbolic_state::SymbolicState
- engine::symbolic_state::Witness
- path_exploration::CoinFlipStrategy
- path_exploration::Context
- path_exploration::ControlFlowGraph
- path_exploration::ShortestPathStrategy
- solver::BitVector
- solver::MonsterSolver
- solver::SmtGenerationOptions
- solver::SmtWriter
Enums
- MonsterError
- SmtType
- engine::bug::Bug
- engine::bug::UninitializedMemoryAccessReason
- engine::rarity_simulation::MeanType
- engine::rarity_simulation::RaritySimulationError
- engine::rarity_simulation::Value
- engine::symbolic_execution::SymbolicExecutionError
- engine::symbolic_execution::Value
- engine::symbolic_state::Query
- engine::symbolic_state::QueryResult
- engine::system::SyscallId
- path_exploration::ExplorationStrategyType
- path_exploration::ProcedureCallId
- solver::BVOperator
- solver::OperandSide
- solver::SmtType
- solver::SolverError
- solver::SolverType
- solver::Symbol
Traits
- engine::BugFinder
- engine::bug::BugInfo
- path_exploration::ExplorationStrategy
- solver::Formula
- solver::FormulaVisitor
- solver::SmtSolver
- solver::Solver
Functions
- disassemble::disassemble
- engine::system::instruction_to_str
- generate_smt
- generate_smt_to_file
- load_elf
- path_exploration::compute_distances
- path_exploration::compute_unrolled_cfg
- rarity_simulate
- rarity_simulate_elf
- rarity_simulate_elf_with
- rarity_simulate_with
- symbolically_execute
- symbolically_execute_elf_with
- symbolically_execute_with
- symbollically_execute_elf
Typedefs
- engine::rarity_simulation::RaritySimulationBug
- engine::symbolic_execution::SymbolicExecutionBug
- engine::symbolic_execution::SymbolicExecutionResult
- engine::symbolic_state::DataFlowGraph
- engine::symbolic_state::SymbolicValue
- path_exploration::DataSegment
- path_exploration::Graph
- path_exploration::UnrolledCfg
- solver::Assignment
- solver::SymbolId
Constants
- engine::rarity_simulation::defaults::AMOUNT_OF_STATES
- engine::rarity_simulation::defaults::COPY_INIT_RATIO
- engine::rarity_simulation::defaults::ITERATIONS
- engine::rarity_simulation::defaults::MEAN_TYPE
- engine::rarity_simulation::defaults::MEMORY_SIZE
- engine::rarity_simulation::defaults::SELECTION
- engine::rarity_simulation::defaults::STEP_SIZE
- engine::symbolic_execution::defaults::MAX_EXECUTION_DEPTH
- engine::symbolic_execution::defaults::MEMORY_SIZE
- engine::symbolic_execution::defaults::OPTIMISTICALLY_PRUNE_SEARCH_SPACE
- solver::defaults::MAX_EXECUTION_DEPTH
- solver::defaults::MEMORY_SIZE
- solver::defaults::SMT_TYPE