Index

A

active (whitesymex.path_group.PathGroup attribute) ADD (whitesymex.ops.ArithmeticOp attribute) add() (whitesymex.solver.Solver method) ARITHMETIC (whitesymex.imp.IMP attribute)

ArithmeticOp (class in whitesymex.ops) avoid (whitesymex.strategies.Strategy attribute) (whitesymex.strategies.strategy.Strategy attribute) avoided (whitesymex.path_group.PathGroup attribute)

B

BFS (class in whitesymex.strategies) (class in whitesymex.strategies.bfs)

C

CALL (whitesymex.ops.FlowControlOp attribute) callstack (whitesymex.state.State attribute) CHAR (whitesymex.state.VarType attribute) clone() (whitesymex.solver.Solver method) (whitesymex.state.State method)

concretize() (whitesymex.state.State method) condition_to_lambda() (in module whitesymex.path_group) constraints (whitesymex.solver.Solver attribute) COPY_TO_TOP (whitesymex.ops.StackManipulationOp attribute) create_entry_state() (whitesymex.state.State class method)

D

deadended (whitesymex.path_group.PathGroup attribute) DFS (class in whitesymex.strategies) (class in whitesymex.strategies.dfs)

DISCARD_TOP (whitesymex.ops.StackManipulationOp attribute) DIV (whitesymex.ops.ArithmeticOp attribute) DivideByZeroError DUP_TOP (whitesymex.ops.StackManipulationOp attribute)

E

EmptyCallstackError EmptyStackError errored (whitesymex.path_group.PathGroup attribute)

eval() (whitesymex.solver.Solver method) EXIT (whitesymex.ops.FlowControlOp attribute) explore() (whitesymex.path_group.PathGroup method)

F

find (whitesymex.strategies.Strategy attribute) (whitesymex.strategies.strategy.Strategy attribute)

FLOW_CONTROL (whitesymex.imp.IMP attribute) FlowControlOp (class in whitesymex.ops) found (whitesymex.path_group.PathGroup attribute)

H

heap (whitesymex.state.State attribute)

HEAP_ACCESS (whitesymex.imp.IMP attribute) HeapAccessOp (class in whitesymex.ops)

I

IMP (class in whitesymex.imp) imp (whitesymex.instruction.Instruction attribute) input (whitesymex.state.State attribute) Instruction (class in whitesymex.instruction) instruction (whitesymex.state.State property) instructions (whitesymex.state.State attribute)

IO (whitesymex.imp.IMP attribute) IOOp (class in whitesymex.ops) ip (whitesymex.state.State attribute) is_satisfiable() (whitesymex.solver.Solver method) (whitesymex.state.State method) is_symbolic_conditional() (in module whitesymex.strategies.strategy)

J

JUMP (whitesymex.ops.FlowControlOp attribute)

JUMP_IF_NEGATIVE (whitesymex.ops.FlowControlOp attribute) JUMP_IF_ZERO (whitesymex.ops.FlowControlOp attribute)

L

LABEL (whitesymex.parameter.Parameter attribute) labels (whitesymex.state.State attribute) loop_counts (whitesymex.strategies.Strategy attribute) (whitesymex.strategies.strategy.Strategy attribute)

loop_limit (whitesymex.strategies.Strategy attribute) (whitesymex.strategies.strategy.Strategy attribute)

M

main() (in module whitesymex.cli) MARK (whitesymex.ops.FlowControlOp attribute) MOD (whitesymex.ops.ArithmeticOp attribute) module whitesymex whitesymex.cli whitesymex.errors whitesymex.imp whitesymex.instruction whitesymex.ops whitesymex.parameter whitesymex.parser whitesymex.path_group whitesymex.solver whitesymex.state whitesymex.strategies whitesymex.strategies.bfs whitesymex.strategies.dfs whitesymex.strategies.random whitesymex.strategies.strategy

MUL (whitesymex.ops.ArithmeticOp attribute)

N

num_find (whitesymex.strategies.Strategy attribute) (whitesymex.strategies.strategy.Strategy attribute)

NUMBER (whitesymex.parameter.Parameter attribute) (whitesymex.state.VarType attribute)

O

Op (class in whitesymex.ops) op (whitesymex.instruction.Instruction attribute)

op_type (whitesymex.imp.IMP attribute) operations (whitesymex.state.State attribute)

P

Parameter (class in whitesymex.parameter) parameter (whitesymex.instruction.Instruction attribute) (whitesymex.ops.Op attribute) ParameterDecodeError parse_args() (in module whitesymex.cli) parse_code() (in module whitesymex.parser) parse_file() (in module whitesymex.parser) ParserError

path_group (whitesymex.strategies.Strategy attribute) (whitesymex.strategies.strategy.Strategy attribute) PathGroup (class in whitesymex.path_group) pattern (whitesymex.imp.IMP attribute) (whitesymex.ops.Op attribute) (whitesymex.parameter.Parameter attribute) PRINT_CHAR (whitesymex.ops.IOOp attribute) PRINT_NUMBER (whitesymex.ops.IOOp attribute) PUSH (whitesymex.ops.StackManipulationOp attribute)

R

Random (class in whitesymex.strategies) (class in whitesymex.strategies.random) READ_CHAR (whitesymex.ops.IOOp attribute) READ_NUMBER (whitesymex.ops.IOOp attribute)

RETRIEVE (whitesymex.ops.HeapAccessOp attribute) RETURN (whitesymex.ops.FlowControlOp attribute) run() (whitesymex.strategies.Strategy method) (whitesymex.strategies.strategy.Strategy method)

S

select_states() (whitesymex.strategies.BFS method) (whitesymex.strategies.bfs.BFS method) (whitesymex.strategies.DFS method) (whitesymex.strategies.dfs.DFS method) (whitesymex.strategies.Random method) (whitesymex.strategies.random.Random method) (whitesymex.strategies.Strategy method) (whitesymex.strategies.strategy.Strategy method) simplify() (whitesymex.solver.Solver method) SLIDE_N_OFF (whitesymex.ops.StackManipulationOp attribute) Solver (class in whitesymex.solver) solver (whitesymex.state.State attribute) SolverError stack (whitesymex.state.State attribute) STACK_MANIPULATION (whitesymex.imp.IMP attribute) StackManipulationOp (class in whitesymex.ops)

State (class in whitesymex.state) stdin (whitesymex.state.State attribute) stdout (whitesymex.state.State attribute) step() (whitesymex.state.State method) (whitesymex.strategies.Strategy method) (whitesymex.strategies.strategy.Strategy method) STORE (whitesymex.ops.HeapAccessOp attribute) store (whitesymex.solver.Solver attribute) str_to_strategy() (in module whitesymex.cli) Strategy (class in whitesymex.strategies) (class in whitesymex.strategies.strategy) StrategyError StrategyNotImplementedError SUB (whitesymex.ops.ArithmeticOp attribute) SWAP_TOP2 (whitesymex.ops.StackManipulationOp attribute) SymbolicExecutionError

U

UnknownIMPError

UnknownOpError UnknownParameterError

V

var_to_type (whitesymex.state.State attribute)

VarType (class in whitesymex.state)

W

whitesymex module whitesymex.cli module whitesymex.errors module whitesymex.imp module whitesymex.instruction module whitesymex.ops module whitesymex.parameter module whitesymex.parser module

whitesymex.path_group module whitesymex.solver module whitesymex.state module whitesymex.strategies module whitesymex.strategies.bfs module whitesymex.strategies.dfs module whitesymex.strategies.random module whitesymex.strategies.strategy module WhitesymexError