dwarfcore.plugins.under_constrained_symex.exceptions module¶

exception dwarfcore.plugins.under_constrained_symex.exceptions.BaseNotUniqueException¶

An exception raised when a symbolic pointer contains more than one base in its expression.

exception dwarfcore.plugins.under_constrained_symex.exceptions.ExpressionTooComplexException¶

An exception raised when an expression is too complex to be broken down into base+offset.

exception dwarfcore.plugins.under_constrained_symex.exceptions.FatalSymexError¶

Exception raised when symex can not continue because an error can’t be fixed.

exception dwarfcore.plugins.under_constrained_symex.exceptions.InputError¶

Exception raised when user inputs invalid data to the plugin.

exception dwarfcore.plugins.under_constrained_symex.exceptions.NoBaseException¶

An exception raised when a symbolic pointer contains no base.

exception dwarfcore.plugins.under_constrained_symex.exceptions.UCDwarfException¶

Exception raised on errors manipulating dwarf information.

exception dwarfcore.plugins.under_constrained_symex.exceptions.UCException¶

Bases: Exception

Generic class for exceptions thrown by the under-constrained manticore plugin.

exception dwarfcore.plugins.under_constrained_symex.exceptions.UncomputableMetaVar¶

An exception raised when UC memory can’t find a possible value for a metavar.

exception dwarfcore.plugins.under_constrained_symex.exceptions.VTableException¶

An exception raise when the plugin fails to initialise a class vtable.