whitesymex.errors module

exception whitesymex.errors.DivideByZeroError

Bases: whitesymex.errors.SymbolicExecutionError, ZeroDivisionError

exception whitesymex.errors.EmptyCallstackError

Bases: whitesymex.errors.SymbolicExecutionError

exception whitesymex.errors.EmptyStackError

Bases: whitesymex.errors.SymbolicExecutionError

exception whitesymex.errors.ParameterDecodeError

Bases: whitesymex.errors.ParserError

exception whitesymex.errors.ParserError

Bases: whitesymex.errors.WhitesymexError

exception whitesymex.errors.SolverError

Bases: whitesymex.errors.WhitesymexError

exception whitesymex.errors.StrategyError

Bases: whitesymex.errors.WhitesymexError

exception whitesymex.errors.StrategyNotImplementedError

Bases: whitesymex.errors.StrategyError, NotImplementedError

exception whitesymex.errors.SymbolicExecutionError

Bases: whitesymex.errors.WhitesymexError

exception whitesymex.errors.UnknownIMPError

Bases: whitesymex.errors.ParserError

exception whitesymex.errors.UnknownOpError

Bases: whitesymex.errors.ParserError

exception whitesymex.errors.UnknownParameterError

Bases: whitesymex.errors.ParserError

exception whitesymex.errors.WhitesymexError

Bases: Exception