List of all items List of all items

Structs

• disassemble::Disassembly
• engine::Engine
• engine::EngineOptions
• engine::bug::BasicInfo
• engine::bug::Witness
• engine::symbolic_state::EdgeIndex
• engine::symbolic_state::FormulaView
• engine::symbolic_state::NodeIndex
• engine::symbolic_state::SymbolicState
• path_exploration::Context
• path_exploration::ControlFlowGraph
• path_exploration::ShortestPathStrategy
• solver::BitVector
• solver::ExternalSolver
• solver::MonsterSolver

Enums

• MonsterError
• engine::EngineError
• engine::SyscallId
• engine::Value
• engine::bug::Bug
• engine::bug::Term
• engine::symbolic_state::Query
• path_exploration::ProcedureCallId
• solver::BVOperator
• solver::OperandSide
• solver::SolverError
• solver::Symbol

Traits

• path_exploration::ExplorationStrategy
• solver::Formula
• solver::FormulaVisitor
• solver::Solver

Functions

• disassemble::disassemble
• engine::instruction_to_str
• execute
• execute_elf
• execute_elf_with
• execute_with
• load_elf
• path_exploration::compute_distances
• path_exploration::compute_unrolled_cfg

Typedefs

• engine::symbolic_state::DataFlowGraph
• engine::symbolic_state::SymbolicValue
• path_exploration::DataSegment
• path_exploration::Graph
• path_exploration::UnrolledCfg
• solver::Assignment
• solver::SymbolId

Constants

• engine::DEFAULT_MAX_EXECUTION_DEPTH
• engine::DEFAULT_MEMORY_SIZE