SYMBOL INDEX (1562 symbols across 197 files) FILE: mypy-stubs/z3/__init__.pyi class Context (line 16) | class Context: ... class Z3PPObject (line 17) | class Z3PPObject: ... class AstRef (line 19) | class AstRef(Z3PPObject): method __init__ (line 21) | def __init__(self, ast: Ast, ctx: Context) -> None: method __init__ (line 26) | def __init__(self, ast: Ast) -> None: method ctx_ref (line 30) | def ctx_ref(self) -> ContextObj: ... method as_ast (line 31) | def as_ast(self) -> Ast: ... method children (line 32) | def children(self) -> List[AstRef]: ... method eq (line 33) | def eq(self, other: AstRef) -> bool: ... class SortRef (line 38) | class SortRef(AstRef): ... class FuncDeclRef (line 40) | class FuncDeclRef(AstRef): method arity (line 41) | def arity(self) -> int: ... method name (line 42) | def name(self) -> str: ... method __call__ (line 43) | def __call__(self, *args: ExprRef) -> ExprRef: ... class ExprRef (line 45) | class ExprRef(AstRef): method sort (line 46) | def sort(self) -> SortRef: ... method decl (line 47) | def decl(self) -> FuncDeclRef: ... class BoolSortRef (line 49) | class BoolSortRef(SortRef): ... class ArraySortRef (line 50) | class ArraySortRef(SortRef): ... class BoolRef (line 51) | class BoolRef(ExprRef): ... function is_true (line 53) | def is_true(a: BoolRef) -> bool: ... function is_false (line 54) | def is_false(a: BoolRef) -> bool: ... function is_int_value (line 55) | def is_int_value(a: AstRef) -> bool: ... function substitute (line 56) | def substitute(a: AstRef, *m: Tuple[AstRef, AstRef]) -> AstRef: ... function simplify (line 57) | def simplify(a: AstRef, *args: Any, **kwargs: Any) -> AstRef: ... class ArithSortRef (line 59) | class ArithSortRef(SortRef): ... class ArithRef (line 61) | class ArithRef(ExprRef): method __neg__ (line 62) | def __neg__(self) -> ExprRef: ... method __le__ (line 63) | def __le__(self, other: ArithRef) -> BoolRef: ... method __lt__ (line 64) | def __lt__(self, other: ArithRef) -> BoolRef: ... method __ge__ (line 65) | def __ge__(self, other: ArithRef) -> BoolRef: ... method __gt__ (line 66) | def __gt__(self, other: ArithRef) -> BoolRef: ... method __add__ (line 67) | def __add__(self, other: ArithRef) -> ArithRef: ... method __sub__ (line 68) | def __sub__(self, other: ArithRef) -> ArithRef: ... method __mul__ (line 69) | def __mul__(self, other: ArithRef) -> ArithRef: ... method __div__ (line 70) | def __div__(self, other: ArithRef) -> ArithRef: ... method __truediv__ (line 71) | def __truediv__(self, other: ArithRef) -> ArithRef: ... method __mod__ (line 72) | def __mod__(self, other: ArithRef) -> ArithRef: ... class BitVecSortRef (line 74) | class BitVecSortRef(SortRef): ... class BitVecRef (line 76) | class BitVecRef(ExprRef): method size (line 77) | def size(self) -> int: ... method __add__ (line 78) | def __add__(self, other: Union[BitVecRef, int]) -> BitVecRef: ... method __radd__ (line 79) | def __radd__(self, other: Union[BitVecRef, int]) -> BitVecRef: ... method __mul__ (line 80) | def __mul__(self, other: Union[BitVecRef, int]) -> BitVecRef: ... method __rmul__ (line 81) | def __rmul__(self, other: Union[BitVecRef, int]) -> BitVecRef: ... method __sub__ (line 82) | def __sub__(self, other: Union[BitVecRef, int]) -> BitVecRef: ... method __rsub__ (line 83) | def __rsub__(self, other: Union[BitVecRef, int]) -> BitVecRef: ... method __or__ (line 84) | def __or__(self, other: Union[BitVecRef, int]) -> BitVecRef: ... method __ror__ (line 85) | def __ror__(self, other: Union[BitVecRef, int]) -> BitVecRef: ... method __and__ (line 86) | def __and__(self, other: Union[BitVecRef, int]) -> BitVecRef: ... method __rand__ (line 87) | def __rand__(self, other: Union[BitVecRef, int]) -> BitVecRef: ... method __xor__ (line 88) | def __xor__(self, other: Union[BitVecRef, int]) -> BitVecRef: ... method __rxor__ (line 89) | def __rxor__(self, other: Union[BitVecRef, int]) -> BitVecRef: ... method __pos__ (line 90) | def __pos__(self) -> BitVecRef: ... method __neg__ (line 91) | def __neg__(self) -> BitVecRef: ... method __invert__ (line 92) | def __invert__(self) -> BitVecRef: ... method __div__ (line 93) | def __div__(self, other: BitVecRef) -> BitVecRef: ... method __rdiv__ (line 94) | def __rdiv__(self, other: BitVecRef) -> BitVecRef: ... method __truediv__ (line 95) | def __truediv__(self, other: BitVecRef) -> BitVecRef: ... method __rtruediv__ (line 96) | def __rtruediv__(self, other: BitVecRef) -> BitVecRef: ... method __mod__ (line 97) | def __mod__(self, other: BitVecRef) -> BitVecRef: ... method __rmod__ (line 98) | def __rmod__(self, other: BitVecRef) -> BitVecRef: ... method __le__ (line 99) | def __le__(self, other: BitVecRef) -> BoolRef: ... method __lt__ (line 100) | def __lt__(self, other: BitVecRef) -> BoolRef: ... method __ge__ (line 101) | def __ge__(self, other: BitVecRef) -> BoolRef: ... method __gt__ (line 102) | def __gt__(self, other: BitVecRef) -> BoolRef: ... method __rshift__ (line 103) | def __rshift__(self, other: BitVecRef) -> BitVecRef: ... method __lshift__ (line 104) | def __lshift__(self, other: BitVecRef) -> BitVecRef: ... method __rrshift__ (line 105) | def __rrshift__(self, other: BitVecRef) -> BitVecRef: ... method __rlshift__ (line 106) | def __rlshift__(self, other: BitVecRef) -> BitVecRef: ... class BitVecNumRef (line 108) | class BitVecNumRef(BitVecRef): method as_long (line 109) | def as_long(self) -> int: ... method as_signed_long (line 110) | def as_signed_long(self) -> int: ... method as_string (line 111) | def as_string(self) -> str: ... class IntNumRef (line 113) | class IntNumRef(ArithRef): method as_long (line 114) | def as_long(self) -> int: ... method as_string (line 115) | def as_string(self) -> str: ... class SeqSortRef (line 117) | class SeqSortRef(ExprRef): ... class SeqRef (line 118) | class SeqRef(ExprRef): ... class ReSortRef (line 119) | class ReSortRef(ExprRef): ... class ReRef (line 120) | class ReRef(ExprRef): ... class ArrayRef (line 121) | class ArrayRef(ExprRef): ... class CheckSatResult (line 122) | class CheckSatResult: ... class ModelRef (line 124) | class ModelRef(Z3PPObject): method __getitem__ (line 125) | def __getitem__(self, k: FuncDeclRef) -> IntNumRef: ... method decls (line 126) | def decls(self) -> Iterable[FuncDeclRef]: ... method __iter__ (line 127) | def __iter__(self) -> Iterator[FuncDeclRef]: ... class FuncEntry (line 129) | class FuncEntry: method num_args (line 130) | def num_args(self) -> int: ... method arg_value (line 131) | def arg_value(self, idx: int) -> ExprRef: ... method value (line 132) | def value(self) -> ExprRef: ... class FuncInterp (line 134) | class FuncInterp(Z3PPObject): method else_value (line 135) | def else_value(self) -> ExprRef: ... method num_entries (line 136) | def num_entries(self) -> int: ... method arity (line 137) | def arity(self) -> int: ... method entry (line 138) | def entry(self, idx: int) -> FuncEntry: ... class Goal (line 140) | class Goal(Z3PPObject): ... class Solver (line 142) | class Solver(Z3PPObject): method __init__ (line 144) | def __init__(self, ctx: Optional[Context] = None) -> None: ... method to_smt2 (line 145) | def to_smt2(self) -> str: ... method check (line 146) | def check(self) -> CheckSatResult: ... method push (line 147) | def push(self) -> None: ... method pop (line 148) | def pop(self, num: Optional[int] = 1) -> None: ... method model (line 149) | def model(self) -> ModelRef: ... method set (line 150) | def set(self, *args: Any, **kwargs: Any) -> None: ... method add (line 152) | def add(self, *args: Union[BoolRef, Goal]) -> None: ... method add (line 154) | def add(self, args: Sequence[Union[BoolRef, Goal]]) -> None: ... method reset (line 155) | def reset(self) -> None: ... class Optimize (line 157) | class Optimize(Z3PPObject): method __init__ (line 159) | def __init__(self, ctx: Optional[Context] = None) -> None: ... method check (line 160) | def check(self) -> CheckSatResult: ... method push (line 161) | def push(self) -> None: ... method pop (line 162) | def pop(self) -> None: ... method model (line 163) | def model(self) -> ModelRef: ... method set (line 164) | def set(self, *args: Any, **kwargs: Any) -> None: ... method add (line 166) | def add(self, *args: Union[BoolRef, Goal]) -> None: ... method add (line 168) | def add(self, args: Sequence[Union[BoolRef, Goal]]) -> None: ... method minimize (line 169) | def minimize(self, element: ExprRef) -> None: ... method maximize (line 170) | def maximize(self, element: ExprRef) -> None: ... function Int (line 176) | def Int(name: str) -> ArithRef: ... function Int (line 178) | def Int(name: str, ctx: Context) -> ArithRef: ... function Bool (line 180) | def Bool(name: str) -> BoolRef: ... function Bool (line 182) | def Bool(name: str, ctx: Context) -> BoolRef: ... function parse_smt2_string (line 184) | def parse_smt2_string(s: str) -> ExprRef: ... function parse_smt2_string (line 186) | def parse_smt2_string(s: str, ctx: Context) -> ExprRef: ... function Array (line 187) | def Array(name: str, domain: SortRef, range: SortRef) -> ArrayRef: ... function K (line 188) | def K(domain: SortRef, v: Union[ExprRef, int, bool, str]) -> ArrayRef: ... function Or (line 192) | def Or(*args: Any) -> BoolRef: ... function And (line 193) | def And(*args: Any) -> BoolRef: ... function Not (line 194) | def Not(p: BoolRef, ctx: Optional[Context] = None) -> BoolRef: ... function Implies (line 195) | def Implies(a: BoolRef, b: BoolRef, ctx: Context) -> BoolRef: ... function If (line 199) | def If(a: BoolRef, b: T, c: T, ctx: Optional[Context] = None) -> T: ... function ULE (line 200) | def ULE(a: T, b: T) -> BoolRef: ... function ULT (line 201) | def ULT(a: T, b: T) -> BoolRef: ... function UGE (line 202) | def UGE(a: T, b: T) -> BoolRef: ... function UGT (line 203) | def UGT(a: T, b: T) -> BoolRef: ... function UDiv (line 204) | def UDiv(a: T, b: T) -> T: ... function URem (line 205) | def URem(a: T, b: T) -> T: ... function SRem (line 206) | def SRem(a: T, b: T) -> T: ... function LShR (line 207) | def LShR(a: T, b: T) -> T: ... function RotateLeft (line 208) | def RotateLeft(a: T, b: T) -> T: ... function RotateRight (line 209) | def RotateRight(a: T, b: T) -> T: ... function SignExt (line 210) | def SignExt(n: int, a: BitVecRef) -> BitVecRef: ... function ZeroExt (line 211) | def ZeroExt(n: int, a: BitVecRef) -> BitVecRef: ... function Concat (line 213) | def Concat(args: List[Union[SeqRef, str]]) -> SeqRef: ... function Concat (line 215) | def Concat(*args: Union[SeqRef, str]) -> SeqRef: ... function Concat (line 217) | def Concat(args: List[ReRef]) -> ReRef: ... function Concat (line 219) | def Concat(*args: ReRef) -> ReRef: ... function Concat (line 221) | def Concat(args: List[BitVecRef]) -> BitVecRef: ... function Concat (line 223) | def Concat(*args: BitVecRef) -> BitVecRef: ... function Extract (line 225) | def Extract( function Extract (line 229) | def Extract( function Sum (line 233) | def Sum(arg: BitVecRef, *args: Union[BitVecRef, int]) -> BitVecRef: ... function Sum (line 235) | def Sum(arg: Union[List[BitVecRef], int]) -> BitVecRef: ... function Sum (line 237) | def Sum(arg: ArithRef, *args: Union[ArithRef, int]) -> ArithRef: ... function Function (line 243) | def Function(name: str, *sig: SortRef) -> FuncDeclRef: ... function IntVal (line 244) | def IntVal(val: int, ctx: Optional[Context] = None) -> IntNumRef: ... function BoolVal (line 245) | def BoolVal(val: bool, ctx: Optional[Context] = None) -> BoolRef: ... function BitVecVal (line 246) | def BitVecVal( function BitVec (line 249) | def BitVec( function IntSort (line 252) | def IntSort(ctx: Optional[Context] = None) -> ArithSortRef: ... function BoolSort (line 253) | def BoolSort(ctx: Optional[Context] = None) -> BoolSortRef: ... function ArraySort (line 254) | def ArraySort(domain: SortRef, range: SortRef) -> ArraySortRef: ... function BitVecSort (line 255) | def BitVecSort(domain: int, ctx: Optional[Context] = None) -> BoolSortRe... function ForAll (line 256) | def ForAll(vs: List[ExprRef], expr: ExprRef) -> ExprRef: ... function Select (line 257) | def Select(arr: ExprRef, ind: ExprRef) -> ExprRef: ... function Update (line 258) | def Update(arr: ArrayRef, ind: ExprRef, newVal: ExprRef) -> ArrayRef: ... function Store (line 259) | def Store(arr: ArrayRef, ind: ExprRef, newVal: ExprRef) -> ArrayRef: ... function BVAddNoOverflow (line 260) | def BVAddNoOverflow(a: BitVecRef, b: BitVecRef, signed: bool) -> BoolRef... function BVAddNoUnderflow (line 261) | def BVAddNoUnderflow(a: BitVecRef, b: BitVecRef) -> BoolRef: ... function BVSubNoOverflow (line 262) | def BVSubNoOverflow(a: BitVecRef, b: BitVecRef) -> BoolRef: ... function BVSubNoUnderflow (line 263) | def BVSubNoUnderflow(a: BitVecRef, b: BitVecRef, signed: bool) -> BoolRe... function BVSDivNoOverflow (line 264) | def BVSDivNoOverflow(a: BitVecRef, b: BitVecRef) -> BoolRef: ... function BVSNegNoOverflow (line 265) | def BVSNegNoOverflow(a: BitVecRef) -> BoolRef: ... function BVMulNoOverflow (line 266) | def BVMulNoOverflow(a: BitVecRef, b: BitVecRef, signed: bool) -> BoolRef... function BVMulNoUnderflow (line 267) | def BVMulNoUnderflow(a: BitVecRef, b: BitVecRef) -> BoolRef: ... FILE: mypy-stubs/z3/z3core.pyi function Z3_mk_eq (line 3) | def Z3_mk_eq(ctx: ContextObj, a: Ast, b: Ast) -> Ast: ... function Z3_mk_div (line 4) | def Z3_mk_div(ctx: ContextObj, a: Ast, b: Ast) -> Ast: ... FILE: mypy-stubs/z3/z3types.pyi class Z3Exception (line 3) | class Z3Exception(Exception): method __init__ (line 4) | def __init__(self, a: Any) -> None: class ContextObj (line 8) | class ContextObj: ... class Ast (line 9) | class Ast: ... FILE: mythril/analysis/call_helpers.py function get_call_from_state (line 11) | def get_call_from_state(state: GlobalState) -> Union[Call, None]: FILE: mythril/analysis/callgraph.py function extract_nodes (line 129) | def extract_nodes(statespace) -> List[Dict]: function extract_edges (line 186) | def extract_edges(statespace): function generate_graph (line 218) | def generate_graph( FILE: mythril/analysis/issue_annotation.py class IssueAnnotation (line 9) | class IssueAnnotation(StateAnnotation): method __init__ (line 10) | def __init__(self, conditions: List[Bool], issue: Issue, detector): method persist_to_world_state (line 22) | def persist_to_world_state(self) -> bool: method persist_over_calls (line 26) | def persist_over_calls(self) -> bool: method __copy__ (line 29) | def __copy__(self): method check_merge_annotation (line 36) | def check_merge_annotation(self, annotation: "IssueAnnotation") -> bool: method merge_annotation (line 46) | def merge_annotation(self, annotation: "IssueAnnotation") -> "IssueAnn... FILE: mythril/analysis/module/base.py class EntryPoint (line 21) | class EntryPoint(Enum): class DetectionModule (line 32) | class DetectionModule(ABC): method __init__ (line 55) | def __init__(self) -> None: method reset_module (line 60) | def reset_module(self): method update_cache (line 64) | def update_cache(self, issues=None): method execute (line 73) | def execute(self, target: GlobalState) -> Optional[List[Issue]]: method _execute (line 102) | def _execute(self, target) -> Optional[List[Issue]]: method __repr__ (line 110) | def __repr__(self) -> str: FILE: mythril/analysis/module/loader.py class ModuleLoader (line 32) | class ModuleLoader(object, metaclass=Singleton): method __init__ (line 41) | def __init__(self): method register_module (line 45) | def register_module(self, detection_module: DetectionModule): method get_detection_modules (line 51) | def get_detection_modules( method _register_mythril_modules (line 90) | def _register_mythril_modules(self): FILE: mythril/analysis/module/module_helpers.py function is_prehook (line 4) | def is_prehook() -> bool: FILE: mythril/analysis/module/modules/arbitrary_jump.py function is_unique_jumpdest (line 21) | def is_unique_jumpdest(jump_dest: BitVec, state: GlobalState) -> bool: class ArbitraryJump (line 41) | class ArbitraryJump(DetectionModule): method reset_module (line 50) | def reset_module(self): method _execute (line 57) | def _execute(self, state: GlobalState) -> None: method _analyze_state (line 65) | def _analyze_state(self, state): FILE: mythril/analysis/module/modules/arbitrary_write.py class ArbitraryStorage (line 22) | class ArbitraryStorage(DetectionModule): method reset_module (line 31) | def reset_module(self): method _execute (line 38) | def _execute(self, state: GlobalState) -> None: method _analyze_state (line 49) | def _analyze_state(self, state): FILE: mythril/analysis/module/modules/delegatecall.py class ArbitraryDelegateCall (line 23) | class ArbitraryDelegateCall(DetectionModule): method _execute (line 32) | def _execute(self, state: GlobalState) -> None: method _analyze_state (line 43) | def _analyze_state(self, state: GlobalState) -> List[PotentialIssue]: FILE: mythril/analysis/module/modules/dependence_on_origin.py class TxOriginAnnotation (line 20) | class TxOriginAnnotation: method __init__ (line 23) | def __init__(self) -> None: class TxOrigin (line 27) | class TxOrigin(DetectionModule): method _execute (line 38) | def _execute(self, state: GlobalState) -> List[Issue]: method _analyze_state (line 46) | def _analyze_state(self, state: GlobalState) -> List[Issue]: FILE: mythril/analysis/module/modules/dependence_on_predictable_vars.py class PredictableValueAnnotation (line 23) | class PredictableValueAnnotation: method __init__ (line 26) | def __init__(self, operation: str) -> None: class OldBlockNumberUsedAnnotation (line 30) | class OldBlockNumberUsedAnnotation(StateAnnotation): method __init__ (line 33) | def __init__(self) -> None: class PredictableVariables (line 37) | class PredictableVariables(DetectionModule): method _execute (line 51) | def _execute(self, state: GlobalState) -> List[Issue]: method _analyze_state (line 59) | def _analyze_state(self, state: GlobalState) -> List[Issue]: FILE: mythril/analysis/module/modules/ether_thief.py class EtherThief (line 28) | class EtherThief(DetectionModule): method reset_module (line 38) | def reset_module(self): method _execute (line 45) | def _execute(self, state: GlobalState) -> None: method _analyze_state (line 55) | def _analyze_state(self, state): FILE: mythril/analysis/module/modules/exceptions.py class LastJumpAnnotation (line 24) | class LastJumpAnnotation(StateAnnotation): method __init__ (line 27) | def __init__(self, last_jump: Optional[int] = None) -> None: method __copy__ (line 30) | def __copy__(self): class Exceptions (line 35) | class Exceptions(DetectionModule): method __init__ (line 44) | def __init__(self): method _execute (line 48) | def _execute(self, state: GlobalState) -> List[Issue]: method _analyze_state (line 59) | def _analyze_state(self, state) -> List[Issue]: function is_assertion_failure (line 139) | def is_assertion_failure(global_state): FILE: mythril/analysis/module/modules/external_calls.py function _is_precompile_call (line 30) | def _is_precompile_call(global_state: GlobalState): class ExternalCalls (line 47) | class ExternalCalls(DetectionModule): method _execute (line 57) | def _execute(self, state: GlobalState) -> None: method _analyze_state (line 69) | def _analyze_state(self, state: GlobalState): FILE: mythril/analysis/module/modules/integer.py class OverUnderflowAnnotation (line 35) | class OverUnderflowAnnotation: method __init__ (line 38) | def __init__( method __deepcopy__ (line 45) | def __deepcopy__(self, memodict={}): class OverUnderflowStateAnnotation (line 50) | class OverUnderflowStateAnnotation(StateAnnotation): method __init__ (line 53) | def __init__(self) -> None: method __copy__ (line 56) | def __copy__(self): class IntegerArithmetics (line 66) | class IntegerArithmetics(DetectionModule): method __init__ (line 89) | def __init__(self) -> None: method reset_module (line 98) | def reset_module(self): method _execute (line 107) | def _execute(self, state: GlobalState) -> List[Issue]: method _get_args (line 134) | def _get_args(self, state): method _handle_add (line 142) | def _handle_add(self, state): method _handle_mul (line 149) | def _handle_mul(self, state): method _handle_sub (line 156) | def _handle_sub(self, state): method _handle_exp (line 163) | def _handle_exp(self, state): method _make_bitvec_if_not (line 188) | def _make_bitvec_if_not(stack, index): method _get_title (line 198) | def _get_title(_type): method _handle_sstore (line 202) | def _handle_sstore(state: GlobalState) -> None: method _handle_jumpi (line 215) | def _handle_jumpi(state): method _handle_call (line 226) | def _handle_call(state): method _handle_return (line 237) | def _handle_return(state: GlobalState) -> None: method _handle_transaction_end (line 257) | def _handle_transaction_end(self, state: GlobalState) -> List[Issue]: function _get_address_from_state (line 326) | def _get_address_from_state(state): function _get_overflowunderflow_state_annotation (line 330) | def _get_overflowunderflow_state_annotation( FILE: mythril/analysis/module/modules/multiple_sends.py class MultipleSendsAnnotation (line 20) | class MultipleSendsAnnotation(StateAnnotation): method __init__ (line 21) | def __init__(self) -> None: method __copy__ (line 24) | def __copy__(self): class MultipleSends (line 30) | class MultipleSends(DetectionModule): method _execute (line 39) | def _execute(self, state: GlobalState) -> None: method _analyze_state (line 42) | def _analyze_state(self, state: GlobalState): FILE: mythril/analysis/module/modules/requirements_violation.py class RequirementsViolation (line 18) | class RequirementsViolation(DetectionModule): method _execute (line 28) | def _execute(self, state: GlobalState) -> List[Issue]: method _analyze_state (line 39) | def _analyze_state(self, state) -> List[Issue]: FILE: mythril/analysis/module/modules/state_change_external_calls.py class StateChangeCallsAnnotation (line 29) | class StateChangeCallsAnnotation(StateAnnotation): method __init__ (line 30) | def __init__(self, call_state: GlobalState, user_defined_address: bool... method __copy__ (line 35) | def __copy__(self): method get_issue (line 42) | def get_issue( class StateChangeAfterCall (line 103) | class StateChangeAfterCall(DetectionModule): method _execute (line 113) | def _execute(self, state: GlobalState) -> None: method _add_external_call (line 120) | def _add_external_call(global_state: GlobalState) -> None: method _analyze_state (line 147) | def _analyze_state(self, global_state: GlobalState) -> List[PotentialI... method _balance_change (line 186) | def _balance_change(value: BitVec, global_state: GlobalState) -> bool: FILE: mythril/analysis/module/modules/suicide.py class AccidentallyKillable (line 24) | class AccidentallyKillable(DetectionModule): method __init__ (line 34) | def __init__(self): method reset_module (line 38) | def reset_module(self): method _execute (line 45) | def _execute(self, state: GlobalState) -> None: method _analyze_state (line 53) | def _analyze_state(self, state): FILE: mythril/analysis/module/modules/transaction_order_dependence.py class BalanceAnnotation (line 27) | class BalanceAnnotation: method __init__ (line 28) | def __init__(self, caller): class StorageAnnotation (line 32) | class StorageAnnotation: method __init__ (line 33) | def __init__(self, caller): class TransactionOrderDependence (line 37) | class TransactionOrderDependence(DetectionModule): method _execute (line 48) | def _execute(self, state: GlobalState) -> None: method annotate_balance_storage_vals (line 60) | def annotate_balance_storage_vals(state, opcode): method _analyze_state (line 70) | def _analyze_state(self, state: GlobalState): FILE: mythril/analysis/module/modules/unchecked_retval.py class RetVal (line 24) | class RetVal(TypedDict): class UncheckedRetvalAnnotation (line 29) | class UncheckedRetvalAnnotation(StateAnnotation): method __init__ (line 30) | def __init__(self) -> None: method __copy__ (line 33) | def __copy__(self): class UncheckedRetval (line 39) | class UncheckedRetval(DetectionModule): method _execute (line 57) | def _execute(self, state: GlobalState) -> List[Issue]: method _analyze_state (line 65) | def _analyze_state(self, state: GlobalState) -> list: FILE: mythril/analysis/module/modules/unexpected_ether.py class EtherBalanceCheckAnnotation (line 22) | class EtherBalanceCheckAnnotation(StateAnnotation): method __init__ (line 25) | def __init__(self, balance: BitVec) -> None: class BalanceConditionAnnotation (line 29) | class BalanceConditionAnnotation: method __init__ (line 32) | def __init__(self, address=None) -> None: class UnexpectedEther (line 36) | class UnexpectedEther(DetectionModule): method _execute (line 51) | def _execute(self, state: GlobalState) -> None: method _analyze_state (line 60) | def _analyze_state(self, state): FILE: mythril/analysis/module/modules/user_assertions.py class UserAssertions (line 33) | class UserAssertions(DetectionModule): method _execute (line 42) | def _execute(self, state: GlobalState) -> None: method _analyze_state (line 51) | def _analyze_state(self, state: GlobalState): FILE: mythril/analysis/module/util.py function get_detection_module_hooks (line 13) | def get_detection_module_hooks( function reset_callback_modules (line 45) | def reset_callback_modules(module_names: Optional[List[str]] = None): FILE: mythril/analysis/ops.py class VarType (line 10) | class VarType(Enum): class Variable (line 17) | class Variable: method __init__ (line 20) | def __init__(self, val, _type): method __str__ (line 29) | def __str__(self): function get_variable (line 37) | def get_variable(i): class Op (line 49) | class Op: method __init__ (line 52) | def __init__(self, node, state, state_index): class Call (line 64) | class Call(Op): method __init__ (line 67) | def __init__( FILE: mythril/analysis/potential_issues.py class PotentialIssue (line 11) | class PotentialIssue: method __init__ (line 14) | def __init__( class PotentialIssuesAnnotation (line 56) | class PotentialIssuesAnnotation(StateAnnotation): method __init__ (line 57) | def __init__(self): method search_importance (line 61) | def search_importance(self): function get_potential_issues_annotation (line 65) | def get_potential_issues_annotation(state: GlobalState) -> PotentialIssu... function check_potential_issues (line 82) | def check_potential_issues(state: GlobalState) -> None: FILE: mythril/analysis/report.py class Issue (line 30) | class Issue: method __init__ (line 33) | def __init__( method transaction_sequence_users (line 82) | def transaction_sequence_users(self): method transaction_sequence_jsonv2 (line 87) | def transaction_sequence_jsonv2(self): method add_block_data (line 96) | def add_block_data(transaction_sequence: Dict): method as_dict (line 109) | def as_dict(self): method _set_internal_compiler_error (line 138) | def _set_internal_compiler_error(self): method add_code_info (line 149) | def add_code_info(self, contract): method decode_bytes (line 183) | def decode_bytes(val): method resolve_function_names (line 191) | def resolve_function_names(self): method resolve_input (line 226) | def resolve_input(data, function_name): function convert_bytes (line 250) | def convert_bytes(item): class Report (line 263) | class Report: method __init__ (line 270) | def __init__( method sorted_issues (line 289) | def sorted_issues(self): method append_issue (line 297) | def append_issue(self, issue): method as_text (line 311) | def as_text(self): method as_json (line 321) | def as_json(self): method _get_exception_data (line 330) | def _get_exception_data(self) -> dict: method as_swc_standard_format (line 338) | def as_swc_standard_format(self): method as_markdown (line 395) | def as_markdown(self): method _file_name (line 404) | def _file_name(self): FILE: mythril/analysis/security.py function retrieve_callback_issues (line 14) | def retrieve_callback_issues(white_list: Optional[List[str]] = None) -> ... function fire_lasers (line 28) | def fire_lasers(statespace, white_list: Optional[List[str]] = None) -> L... FILE: mythril/analysis/solver.py function pretty_print_model (line 28) | def pretty_print_model(model): function get_transaction_sequence (line 52) | def get_transaction_sequence( function _add_calldata_placeholder (line 105) | def _add_calldata_placeholder( function _replace_with_actual_sha (line 129) | def _replace_with_actual_sha( function _get_concrete_state (line 168) | def _get_concrete_state( function _get_concrete_transaction (line 185) | def _get_concrete_transaction(model: z3.Model, transaction: BaseTransact... function _set_minimisation_constraints (line 217) | def _set_minimisation_constraints( FILE: mythril/analysis/symbolic.py class SymExecWrapper (line 44) | class SymExecWrapper: method __init__ (line 51) | def __init__( method execution_info (line 330) | def execution_info(self) -> List[ExecutionInfo]: FILE: mythril/analysis/traceexplore.py function get_serializable_statespace (line 55) | def get_serializable_statespace(statespace): FILE: mythril/concolic/concolic_execution.py function flip_branches (line 17) | def flip_branches( function concolic_execution (line 62) | def concolic_execution( FILE: mythril/concolic/concrete_data.py class AccountData (line 6) | class AccountData(TypedDict): class InitialState (line 13) | class InitialState(TypedDict): class TransactionData (line 17) | class TransactionData(TypedDict): class ConcreteData (line 33) | class ConcreteData(TypedDict): FILE: mythril/concolic/find_trace.py function setup_concrete_initial_state (line 20) | def setup_concrete_initial_state(concrete_data: ConcreteData) -> WorldSt... function concrete_execution (line 41) | def concrete_execution(concrete_data: ConcreteData) -> Tuple[WorldState,... FILE: mythril/disassembler/asm.py class EvmInstruction (line 19) | class EvmInstruction: method __init__ (line 22) | def __init__(self, address, op_code, argument=None): method to_dict (line 27) | def to_dict(self) -> dict: function instruction_list_to_easm (line 38) | def instruction_list_to_easm(instruction_list: list) -> str: function get_opcode_from_name (line 55) | def get_opcode_from_name(operation_name: str) -> int: function find_op_code_sequence (line 66) | def find_op_code_sequence(pattern: list, instruction_list: list) -> Gene... function is_sequence_match (line 79) | def is_sequence_match(pattern: list, instruction_list: list, index: int)... function disassemble (line 99) | def disassemble(bytecode) -> list: FILE: mythril/disassembler/disassembly.py class Disassembly (line 10) | class Disassembly(object): method __init__ (line 20) | def __init__(self, code: str) -> None: method assign_bytecode (line 35) | def assign_bytecode(self, bytecode): method get_easm (line 55) | def get_easm(self): function get_function_info (line 63) | def get_function_info( FILE: mythril/ethereum/evmcontract.py class EVMContract (line 15) | class EVMContract(persistent.Persistent): method __init__ (line 19) | def __init__(self, code="", creation_code="", name="Unknown"): method bytecode_hash (line 40) | def bytecode_hash(self): method creation_bytecode_hash (line 48) | def creation_bytecode_hash(self): method as_dict (line 55) | def as_dict(self): method get_easm (line 67) | def get_easm(self): method get_creation_easm (line 74) | def get_creation_easm(self): method matches_expression (line 81) | def matches_expression(self, expression): FILE: mythril/ethereum/interface/rpc/base_client.py class BaseClient (line 19) | class BaseClient(object): method _call (line 23) | def _call(self, method, params=None, _id=1): method eth_coinbase (line 34) | def eth_coinbase(self): method eth_blockNumber (line 43) | def eth_blockNumber(self): method eth_getBalance (line 52) | def eth_getBalance(self, address=None, block=BLOCK_TAG_LATEST): method eth_getStorageAt (line 63) | def eth_getStorageAt(self, address=None, position=0, block=BLOCK_TAG_L... method eth_getCode (line 73) | def eth_getCode(self, address, default_block=BLOCK_TAG_LATEST): method eth_getBlockByNumber (line 85) | def eth_getBlockByNumber(self, block=BLOCK_TAG_LATEST, tx_objects=True): method eth_getTransactionReceipt (line 95) | def eth_getTransactionReceipt(self, tx_hash): FILE: mythril/ethereum/interface/rpc/client.py class EthJsonRpc (line 31) | class EthJsonRpc(BaseClient): method __init__ (line 34) | def __init__(self, host="localhost", port=GETH_DEFAULT_RPC_PORT, tls=F... method _call (line 47) | def _call(self, method, params=None, _id=1): method close (line 87) | def close(self): FILE: mythril/ethereum/interface/rpc/exceptions.py class EthJsonRpcError (line 4) | class EthJsonRpcError(Exception): class ConnectionError (line 10) | class ConnectionError(EthJsonRpcError): class BadStatusCodeError (line 17) | class BadStatusCodeError(EthJsonRpcError): class BadJsonError (line 24) | class BadJsonError(EthJsonRpcError): class BadResponseError (line 31) | class BadResponseError(EthJsonRpcError): FILE: mythril/ethereum/interface/rpc/utils.py function hex_to_dec (line 7) | def hex_to_dec(x): function clean_hex (line 16) | def clean_hex(d): function validate_block (line 26) | def validate_block(block): function wei_to_ether (line 40) | def wei_to_ether(wei): function ether_to_wei (line 49) | def ether_to_wei(ether): FILE: mythril/ethereum/util.py function safe_decode (line 26) | def safe_decode(hex_encoded_string): function get_solc_json (line 38) | def get_solc_json(file, solc_binary="solc", solc_settings_json=None): function get_random_address (line 108) | def get_random_address(): function get_indexed_address (line 116) | def get_indexed_address(index): function solc_exists (line 125) | def solc_exists(version): function parse_pragma (line 140) | def parse_pragma(solidity_code): function remove_comments_strings (line 177) | def remove_comments_strings(program: str) -> str: function extract_version_line (line 216) | def extract_version_line(program: typing.Optional[str]) -> typing.Option... function extract_version (line 240) | def extract_version(program: typing.Optional[str]) -> typing.Optional[str]: function extract_binary (line 276) | def extract_binary(file: str) -> Tuple[str, str]: FILE: mythril/exceptions.py class MythrilBaseException (line 4) | class MythrilBaseException(Exception): class CompilerError (line 10) | class CompilerError(MythrilBaseException): class UnsatError (line 16) | class UnsatError(MythrilBaseException): class SolverTimeOutException (line 23) | class SolverTimeOutException(UnsatError): class NoContractFoundError (line 30) | class NoContractFoundError(MythrilBaseException): class CriticalError (line 37) | class CriticalError(MythrilBaseException): class DetectorNotFoundError (line 44) | class DetectorNotFoundError(MythrilBaseException): class IllegalArgumentError (line 51) | class IllegalArgumentError(ValueError): FILE: mythril/interfaces/cli.py function exit_with_error (line 66) | def exit_with_error(format_, message): function get_runtime_input_parser (line 91) | def get_runtime_input_parser() -> ArgumentParser: function get_creation_input_parser (line 111) | def get_creation_input_parser() -> ArgumentParser: function get_safe_functions_parser (line 133) | def get_safe_functions_parser() -> ArgumentParser: function get_output_parser (line 155) | def get_output_parser() -> ArgumentParser: function get_rpc_parser (line 172) | def get_rpc_parser() -> ArgumentParser: function get_utilities_parser (line 192) | def get_utilities_parser() -> ArgumentParser: function create_concolic_parser (line 215) | def create_concolic_parser(parser: ArgumentParser) -> ArgumentParser: function main (line 238) | def main() -> None: function create_disassemble_parser (line 352) | def create_disassemble_parser(parser: ArgumentParser): function create_read_storage_parser (line 367) | def create_read_storage_parser(read_storage_parser: ArgumentParser): function create_func_to_hash_parser (line 384) | def create_func_to_hash_parser(parser: ArgumentParser): function create_hash_to_addr_parser (line 395) | def create_hash_to_addr_parser(hash_parser: ArgumentParser): function add_graph_commands (line 406) | def add_graph_commands(parser: ArgumentParser): function create_safe_functions_parser (line 417) | def create_safe_functions_parser(parser: ArgumentParser): function add_analysis_args (line 433) | def add_analysis_args(options): function create_analyzer_parser (line 596) | def create_analyzer_parser(analyzer_parser: ArgumentParser): function create_foundry_parser (line 613) | def create_foundry_parser(foundry_parser: ArgumentParser): function validate_args (line 619) | def validate_args(args: Namespace): function set_config (line 666) | def set_config(args: Namespace): function load_code (line 687) | def load_code(disassembler: MythrilDisassembler, args: Namespace): function print_function_report (line 728) | def print_function_report(myth_disassembler: MythrilDisassembler, report... function execute_command (line 751) | def execute_command( function contract_hash_to_address (line 889) | def contract_hash_to_address(args: Namespace): function parse_args_and_execute (line 899) | def parse_args_and_execute(parser: ArgumentParser, args: Namespace) -> N... FILE: mythril/interfaces/epic.py function reset (line 26) | def reset(): class LolCat (line 56) | class LolCat(object): method __init__ (line 59) | def __init__(self, mode=256, output=sys.stdout): method _distance (line 63) | def _distance(self, rgb1, rgb2): method ansi (line 66) | def ansi(self, rgb): method wrap (line 107) | def wrap(self, *codes): method rainbow (line 115) | def rainbow(self, freq, i): method cat (line 127) | def cat(self, fd, options): method println (line 143) | def println(self, s, options): method println_ani (line 161) | def println_ani(self, s, options): method println_plain (line 178) | def println_plain(self, s, options): function detect_mode (line 196) | def detect_mode(term_hint="xterm-256color"): function run (line 212) | def run(): FILE: mythril/laser/ethereum/call.py function get_call_parameters (line 35) | def get_call_parameters( function _get_padded_hex_address (line 80) | def _get_padded_hex_address(address: int) -> str: function get_callee_address (line 85) | def get_callee_address( function get_callee_account (line 129) | def get_callee_account( function get_call_data (line 152) | def get_call_data( function native_call (line 198) | def native_call( FILE: mythril/laser/ethereum/cfg.py class JumpType (line 14) | class JumpType(Enum): class NodeFlags (line 24) | class NodeFlags(Flags): method __or__ (line 27) | def __or__(self, other) -> "NodeFlags": class Node (line 34) | class Node: method __init__ (line 37) | def __init__( method get_cfg_dict (line 60) | def get_cfg_dict(self) -> Dict: class Edge (line 87) | class Edge: method __init__ (line 90) | def __init__( method __str__ (line 109) | def __str__(self) -> str: method as_dict (line 117) | def as_dict(self) -> Dict[str, int]: FILE: mythril/laser/ethereum/cheat_code.py class hevm_cheat_code (line 11) | class hevm_cheat_code: method is_cheat_address (line 27) | def is_cheat_address(address): function handle_cheat_codes (line 35) | def handle_cheat_codes( FILE: mythril/laser/ethereum/evm_exceptions.py class VmException (line 4) | class VmException(Exception): class StackUnderflowException (line 10) | class StackUnderflowException(IndexError, VmException): class StackOverflowException (line 16) | class StackOverflowException(VmException): class InvalidJumpDestination (line 22) | class InvalidJumpDestination(VmException): class InvalidInstruction (line 28) | class InvalidInstruction(VmException): class OutOfGasException (line 34) | class OutOfGasException(VmException): class WriteProtection (line 40) | class WriteProtection(VmException): FILE: mythril/laser/ethereum/function_managers/exponent_function_manager.py class ExponentFunctionManager (line 18) | class ExponentFunctionManager: method __init__ (line 29) | def __init__(self): method create_condition (line 40) | def create_condition(self, base: BitVec, exponent: BitVec) -> Tuple[Bi... FILE: mythril/laser/ethereum/function_managers/keccak_function_manager.py class KeccakFunctionManager (line 25) | class KeccakFunctionManager: method __init__ (line 38) | def __init__(self): method reset (line 48) | def reset(self): method find_concrete_keccak (line 57) | def find_concrete_keccak(data: BitVec) -> BitVec: method get_function (line 71) | def get_function(self, length: int) -> Tuple[Function, Function]: method get_empty_keccak_hash (line 87) | def get_empty_keccak_hash() -> BitVec: method create_keccak (line 95) | def create_keccak(self, data: BitVec) -> BitVec: method create_conditions (line 116) | def create_conditions(self) -> Bool: method get_concrete_hash_data (line 132) | def get_concrete_hash_data(self, model) -> Dict[int, List[Optional[int... method _create_condition (line 150) | def _create_condition(self, func_input: BitVec) -> Bool: FILE: mythril/laser/ethereum/instruction_data.py function calculate_sha3_gas (line 19) | def calculate_sha3_gas(length: int): function calculate_native_gas (line 29) | def calculate_native_gas(size: int, contract: str): function get_opcode_gas (line 53) | def get_opcode_gas(opcode: str) -> Tuple[int, int]: function get_required_stack_elements (line 57) | def get_required_stack_elements(opcode: str) -> int: FILE: mythril/laser/ethereum/instructions.py function transfer_ether (line 71) | def transfer_ether( class StateTransition (line 95) | class StateTransition(object): method __init__ (line 104) | def __init__( method call_on_state_copy (line 118) | def call_on_state_copy(func: Callable, func_obj: "Instruction", state:... method increment_states_pc (line 129) | def increment_states_pc(self, states: List[GlobalState]) -> List[Globa... method check_gas_usage_limit (line 141) | def check_gas_usage_limit(global_state: GlobalState): method accumulate_gas (line 159) | def accumulate_gas(self, global_state: GlobalState): method __call__ (line 175) | def __call__(self, func: Callable) -> Callable: class Instruction (line 202) | class Instruction: method __init__ (line 206) | def __init__( method _execute_pre_hooks (line 224) | def _execute_pre_hooks(self, global_state: GlobalState): method _execute_post_hooks (line 228) | def _execute_post_hooks(self, global_state: GlobalState): method evaluate (line 232) | def evaluate(self, global_state: GlobalState, post=False) -> List[Glob... method jumpdest_ (line 267) | def jumpdest_(self, global_state: GlobalState) -> List[GlobalState]: method push_ (line 276) | def push_(self, global_state: GlobalState) -> List[GlobalState]: method dup_ (line 323) | def dup_(self, global_state: GlobalState) -> List[GlobalState]: method swap_ (line 334) | def swap_(self, global_state: GlobalState) -> List[GlobalState]: method pop_ (line 346) | def pop_(self, global_state: GlobalState) -> List[GlobalState]: method and_ (line 356) | def and_(self, global_state: GlobalState) -> List[GlobalState]: method or_ (line 381) | def or_(self, global_state: GlobalState) -> List[GlobalState]: method xor_ (line 405) | def xor_(self, global_state: GlobalState) -> List[GlobalState]: method not_ (line 416) | def not_(self, global_state: GlobalState): method byte_ (line 427) | def byte_(self, global_state: GlobalState) -> List[GlobalState]: method add_ (line 460) | def add_(self, global_state: GlobalState) -> List[GlobalState]: method sub_ (line 475) | def sub_(self, global_state: GlobalState) -> List[GlobalState]: method mul_ (line 490) | def mul_(self, global_state: GlobalState) -> List[GlobalState]: method div_ (line 506) | def div_(self, global_state: GlobalState) -> List[GlobalState]: method sdiv_ (line 523) | def sdiv_(self, global_state: GlobalState) -> List[GlobalState]: method mod_ (line 540) | def mod_(self, global_state: GlobalState) -> List[GlobalState]: method shl_ (line 554) | def shl_(self, global_state: GlobalState) -> List[GlobalState]: method shr_ (line 563) | def shr_(self, global_state: GlobalState) -> List[GlobalState]: method sar_ (line 572) | def sar_(self, global_state: GlobalState) -> List[GlobalState]: method smod_ (line 581) | def smod_(self, global_state: GlobalState) -> List[GlobalState]: method addmod_ (line 595) | def addmod_(self, global_state: GlobalState) -> List[GlobalState]: method mulmod_ (line 610) | def mulmod_(self, global_state: GlobalState) -> List[GlobalState]: method exp_ (line 625) | def exp_(self, global_state: GlobalState) -> List[GlobalState]: method signextend_ (line 641) | def signextend_(self, global_state: GlobalState) -> List[GlobalState]: method lt_ (line 672) | def lt_(self, global_state: GlobalState) -> List[GlobalState]: method gt_ (line 684) | def gt_(self, global_state: GlobalState) -> List[GlobalState]: method slt_ (line 697) | def slt_(self, global_state: GlobalState) -> List[GlobalState]: method sgt_ (line 709) | def sgt_(self, global_state: GlobalState) -> List[GlobalState]: method eq_ (line 722) | def eq_(self, global_state: GlobalState) -> List[GlobalState]: method iszero_ (line 748) | def iszero_(self, global_state: GlobalState) -> List[GlobalState]: method callvalue_ (line 767) | def callvalue_(self, global_state: GlobalState) -> List[GlobalState]: method calldataload_ (line 780) | def calldataload_(self, global_state: GlobalState) -> List[GlobalState]: method calldatasize_ (line 797) | def calldatasize_(self, global_state: GlobalState) -> List[GlobalState]: method _calldata_copy_helper (line 807) | def _calldata_copy_helper(global_state, mstate, mstart, dstart, size): method calldatacopy_ (line 878) | def calldatacopy_(self, global_state: GlobalState) -> List[GlobalState]: method address_ (line 895) | def address_(self, global_state: GlobalState) -> List[GlobalState]: method balance_ (line 907) | def balance_(self, global_state: GlobalState) -> List[GlobalState]: method origin_ (line 934) | def origin_(self, global_state: GlobalState) -> List[GlobalState]: method caller_ (line 946) | def caller_(self, global_state: GlobalState) -> List[GlobalState]: method chainid_ (line 958) | def chainid_(self, global_state: GlobalState) -> List[GlobalState]: method selfbalance_ (line 968) | def selfbalance_(self, global_state: GlobalState) -> List[GlobalState]: method codesize_ (line 979) | def codesize_(self, global_state: GlobalState) -> List[GlobalState]: method _sha3_gas_helper (line 1006) | def _sha3_gas_helper(global_state, length): method sha3_ (line 1014) | def sha3_(self, global_state: GlobalState) -> List[GlobalState]: method gasprice_ (line 1054) | def gasprice_(self, global_state: GlobalState) -> List[GlobalState]: method basefee_ (line 1064) | def basefee_(self, global_state: GlobalState) -> List[GlobalState]: method codecopy_ (line 1074) | def codecopy_(self, global_state: GlobalState) -> List[GlobalState]: method extcodesize_ (line 1155) | def extcodesize_(self, global_state: GlobalState) -> List[GlobalState]: method _code_copy_helper (line 1183) | def _code_copy_helper( method extcodecopy_ (line 1256) | def extcodecopy_(self, global_state: GlobalState) -> List[GlobalState]: method extcodehash_ (line 1293) | def extcodehash_(self, global_state: GlobalState) -> List[GlobalState]: method returndatacopy_ (line 1317) | def returndatacopy_(self, global_state: GlobalState) -> List[GlobalSta... method returndatasize_ (line 1362) | def returndatasize_(self, global_state: GlobalState) -> List[GlobalSta... method blockhash_ (line 1375) | def blockhash_(self, global_state: GlobalState) -> List[GlobalState]: method coinbase_ (line 1389) | def coinbase_(self, global_state: GlobalState) -> List[GlobalState]: method timestamp_ (line 1399) | def timestamp_(self, global_state: GlobalState) -> List[GlobalState]: method number_ (line 1409) | def number_(self, global_state: GlobalState) -> List[GlobalState]: method difficulty_ (line 1419) | def difficulty_(self, global_state: GlobalState) -> List[GlobalState]: method gaslimit_ (line 1431) | def gaslimit_(self, global_state: GlobalState) -> List[GlobalState]: method mload_ (line 1442) | def mload_(self, global_state: GlobalState) -> List[GlobalState]: method mstore_ (line 1457) | def mstore_(self, global_state: GlobalState) -> List[GlobalState]: method mstore8_ (line 1476) | def mstore8_(self, global_state: GlobalState) -> List[GlobalState]: method sload_ (line 1497) | def sload_(self, global_state: GlobalState) -> List[GlobalState]: method sstore_ (line 1510) | def sstore_(self, global_state: GlobalState) -> List[GlobalState]: method tload_ (line 1522) | def tload_(self, global_state: GlobalState) -> List[GlobalState]: method tstore_ (line 1537) | def tstore_(self, global_state: GlobalState) -> List[GlobalState]: method jump_ (line 1550) | def jump_(self, global_state: GlobalState) -> List[GlobalState]: method jumpi_ (line 1588) | def jumpi_(self, global_state: GlobalState) -> List[GlobalState]: method pc_ (line 1668) | def pc_(self, global_state: GlobalState) -> List[GlobalState]: method msize_ (line 1683) | def msize_(self, global_state: GlobalState) -> List[GlobalState]: method gas_ (line 1693) | def gas_(self, global_state: GlobalState) -> List[GlobalState]: method log_ (line 1704) | def log_(self, global_state: GlobalState) -> List[GlobalState]: method _create_transaction_helper (line 1718) | def _create_transaction_helper( method create_ (line 1814) | def create_(self, global_state: GlobalState) -> List[GlobalState]: method create_post (line 1826) | def create_post(self, global_state: GlobalState) -> List[GlobalState]: method create2_ (line 1830) | def create2_(self, global_state: GlobalState) -> List[GlobalState]: method create2_post (line 1843) | def create2_post(self, global_state: GlobalState) -> List[GlobalState]: method _handle_create_type_post (line 1847) | def _handle_create_type_post(global_state, opcode="create"): method return_ (line 1862) | def return_(self, global_state: GlobalState): method selfdestruct_ (line 1881) | def selfdestruct_(self, global_state: GlobalState): method revert_ (line 1904) | def revert_(self, global_state: GlobalState) -> None: method assert_fail_ (line 1941) | def assert_fail_(self, global_state: GlobalState): method invalid_ (line 1950) | def invalid_(self, global_state: GlobalState): method stop_ (line 1958) | def stop_(self, global_state: GlobalState): method _write_symbolic_returndata (line 1966) | def _write_symbolic_returndata( method call_ (line 2003) | def call_(self, global_state: GlobalState) -> List[GlobalState]: method call_post (line 2088) | def call_post(self, global_state: GlobalState) -> List[GlobalState]: method callcode_ (line 2098) | def callcode_(self, global_state: GlobalState) -> List[GlobalState]: method callcode_post (line 2167) | def callcode_post(self, global_state: GlobalState) -> List[GlobalState]: method delegatecall_ (line 2248) | def delegatecall_(self, global_state: GlobalState) -> List[GlobalState]: method delegatecall_post (line 2317) | def delegatecall_post(self, global_state: GlobalState) -> List[GlobalS... method staticcall_ (line 2396) | def staticcall_(self, global_state: GlobalState) -> List[GlobalState]: method staticcall_post (line 2467) | def staticcall_post(self, global_state: GlobalState) -> List[GlobalSta... method post_handler (line 2470) | def post_handler(self, global_state, function_name: str): FILE: mythril/laser/ethereum/natives.py function encode_int32 (line 24) | def encode_int32(v): function safe_ord (line 28) | def safe_ord(value): function int_to_32bytearray (line 35) | def int_to_32bytearray(i): function ecrecover_to_pub (line 43) | def ecrecover_to_pub(rawhash, v, r, s): class NativeContractException (line 67) | class NativeContractException(Exception): function ecrecover (line 73) | def ecrecover(data: List[int]) -> List[int]: function sha256 (line 100) | def sha256(data: List[int]) -> List[int]: function ripemd160 (line 113) | def ripemd160(data: List[int]) -> List[int]: function identity (line 128) | def identity(data: List[int]) -> List[int]: function mod_exp (line 137) | def mod_exp(data: List[int]) -> List[int]: function ec_add (line 169) | def ec_add(data: List[int]) -> List[int]: function ec_mul (line 186) | def ec_mul(data: List[int]) -> List[int]: function ec_pair (line 201) | def ec_pair(data: List[int]) -> List[int]: function blake2b_fcompress (line 236) | def blake2b_fcompress(data: List[int]) -> List[int]: function native_contracts (line 265) | def native_contracts(address: int, data: BaseCalldata) -> List[int]: FILE: mythril/laser/ethereum/state/account.py class Storage (line 18) | class Storage: method __init__ (line 21) | def __init__(self, concrete=False, address=None, dynamic_loader=None) ... method __getitem__ (line 43) | def __getitem__(self, item: BitVec) -> BitVec: method __setitem__ (line 77) | def __setitem__(self, key, value: Any) -> None: method __deepcopy__ (line 89) | def __deepcopy__(self, memodict=dict()): method __str__ (line 101) | def __str__(self) -> str: class Account (line 106) | class Account: method __init__ (line 109) | def __init__( method __str__ (line 155) | def __str__(self) -> str: method set_balance (line 158) | def set_balance(self, balance: Union[int, BitVec]) -> None: method set_storage (line 171) | def set_storage(self, storage: Dict): method add_balance (line 181) | def add_balance(self, balance: Union[int, BitVec]) -> None: method as_dict (line 194) | def as_dict(self) -> Dict: method serialised_code (line 206) | def serialised_code(self): method __copy__ (line 217) | def __copy__(self, memodict={}): FILE: mythril/laser/ethereum/state/annotation.py class StateAnnotation (line 10) | class StateAnnotation: method persist_to_world_state (line 20) | def persist_to_world_state(self) -> bool: method persist_over_calls (line 32) | def persist_over_calls(self) -> bool: method search_importance (line 40) | def search_importance(self) -> int: class MergeableStateAnnotation (line 48) | class MergeableStateAnnotation(StateAnnotation): method check_merge_annotation (line 54) | def check_merge_annotation(self, annotation) -> bool: method merge_annotation (line 58) | def merge_annotation(self, annotation): class NoCopyAnnotation (line 62) | class NoCopyAnnotation(StateAnnotation): method __copy__ (line 70) | def __copy__(self): method __deepcopy__ (line 73) | def __deepcopy__(self, _): FILE: mythril/laser/ethereum/state/calldata.py class BaseCalldata (line 25) | class BaseCalldata: method __init__ (line 29) | def __init__(self, tx_id: str) -> None: method calldatasize (line 37) | def calldatasize(self) -> BitVec: method get_word_at (line 47) | def get_word_at(self, offset: int) -> Expression: method __getitem__ (line 56) | def __getitem__(self, item: Union[int, slice, BitVec]) -> Any: method _load (line 97) | def _load(self, item: Union[int, BitVec]) -> Any: method size (line 105) | def size(self) -> Union[BitVec, int]: method concrete (line 112) | def concrete(self, model: Model) -> list: class ConcreteCalldata (line 120) | class ConcreteCalldata(BaseCalldata): method __init__ (line 123) | def __init__(self, tx_id: str, calldata: list) -> None: method _load (line 141) | def _load(self, item: Union[int, BitVec]) -> BitVec: method concrete (line 150) | def concrete(self, model: Model) -> list: method size (line 159) | def size(self) -> int: class BasicConcreteCalldata (line 167) | class BasicConcreteCalldata(BaseCalldata): method __init__ (line 170) | def __init__(self, tx_id: str, calldata: list) -> None: method _load (line 179) | def _load(self, item: Union[int, Expression]) -> Any: method concrete (line 196) | def concrete(self, model: Model) -> list: method size (line 213) | def size(self) -> int: class SymbolicCalldata (line 221) | class SymbolicCalldata(BaseCalldata): method __init__ (line 224) | def __init__(self, tx_id: str) -> None: method _load (line 233) | def _load(self, item: Union[int, BitVec]) -> Any: method concrete (line 248) | def concrete(self, model: Model) -> list: method size (line 264) | def size(self) -> BitVec: class BasicSymbolicCalldata (line 272) | class BasicSymbolicCalldata(BaseCalldata): method __init__ (line 275) | def __init__(self, tx_id: str) -> None: method _load (line 284) | def _load(self, item: Union[int, BitVec], clean=False) -> Any: method concrete (line 305) | def concrete(self, model: Model) -> list: method size (line 321) | def size(self) -> BitVec: FILE: mythril/laser/ethereum/state/constraints.py class Constraints (line 15) | class Constraints(list): method __init__ (line 22) | def __init__(self, constraint_list: Optional[List[Bool]] = None) -> None: method is_possible (line 31) | def is_possible(self, solver_timeout=None) -> bool: method get_model (line 48) | def get_model(self, solver_timeout=None) -> Optional[Model]: method append (line 60) | def append(self, constraint: Union[bool, Bool]) -> None: method as_list (line 73) | def as_list(self) -> List[Bool]: method __copy__ (line 79) | def __copy__(self) -> "Constraints": method copy (line 87) | def copy(self) -> "Constraints": method __deepcopy__ (line 90) | def __deepcopy__(self, memodict=None) -> "Constraints": method __add__ (line 101) | def __add__(self, constraints: List[Union[bool, Bool]]) -> "Constraints": method __iadd__ (line 111) | def __iadd__(self, constraints: Iterable[Union[bool, Bool]]) -> "Const... method _get_smt_bool_list (line 122) | def _get_smt_bool_list(constraints: Iterable[Union[bool, Bool]]) -> Li... method get_all_constraints (line 132) | def get_all_constraints(self): method __hash__ (line 135) | def __hash__(self): FILE: mythril/laser/ethereum/state/environment.py class Environment (line 13) | class Environment: method __init__ (line 17) | def __init__( method __str__ (line 62) | def __str__(self) -> str: method as_dict (line 70) | def as_dict(self) -> Dict: FILE: mythril/laser/ethereum/state/global_state.py class GlobalState (line 22) | class GlobalState: method __init__ (line 25) | def __init__( method add_annotations (line 56) | def add_annotations(self, annotations: List[StateAnnotation]): method __copy__ (line 64) | def __copy__(self) -> "GlobalState": method __deepcopy__ (line 85) | def __deepcopy__(self, _) -> "GlobalState": method accounts (line 106) | def accounts(self) -> Dict: method get_current_instruction (line 114) | def get_current_instruction(self) -> Dict: method current_transaction (line 126) | def current_transaction( method instruction (line 140) | def instruction(self) -> Dict: method new_bitvec (line 147) | def new_bitvec(self, name: str, size=256, annotations=None) -> BitVec: method annotate (line 159) | def annotate(self, annotation: StateAnnotation) -> None: method annotations (line 170) | def annotations(self) -> List[StateAnnotation]: method get_annotations (line 177) | def get_annotations(self, annotation_type: type) -> Iterable[StateAnno... FILE: mythril/laser/ethereum/state/machine_state.py class MachineStack (line 20) | class MachineStack(list): method __init__ (line 25) | def __init__(self, default_list=None) -> None: method append (line 32) | def append(self, element: Union[int, Expression]) -> None: method pop (line 56) | def pop(self, index=-1) -> Union[int, Expression]: method __getitem__ (line 69) | def __getitem__(self, item: Union[int, slice]) -> Any: method __add__ (line 82) | def __add__(self, other): method __iadd__ (line 89) | def __iadd__(self, other): class MachineState (line 97) | class MachineState: method __init__ (line 102) | def __init__( method calculate_extension_size (line 132) | def calculate_extension_size(self, start: int, size: int) -> int: method calculate_memory_gas (line 148) | def calculate_memory_gas(self, start: int, size: int): method check_gas (line 166) | def check_gas(self): method mem_extend (line 171) | def mem_extend(self, start: Union[int, BitVec], size: Union[int, BitVe... method memory_write (line 193) | def memory_write(self, offset: int, data: List[Union[int, BitVec]]) ->... method pop (line 202) | def pop(self, amount=1) -> Union[BitVec, List[BitVec]]: method __deepcopy__ (line 215) | def __deepcopy__(self, memodict=None): method __str__ (line 233) | def __str__(self): method memory_size (line 241) | def memory_size(self) -> int: method as_dict (line 249) | def as_dict(self) -> Dict: FILE: mythril/laser/ethereum/state/memory.py function convert_bv (line 22) | def convert_bv(val: Union[int, BitVec]) -> BitVec: class Memory (line 32) | class Memory: method __init__ (line 35) | def __init__(self): method __len__ (line 40) | def __len__(self): method __copy__ (line 47) | def __copy__(self): method extend (line 53) | def extend(self, size: int): method get_word_at (line 60) | def get_word_at(self, index: int) -> Union[int, BitVec]: method write_word_at (line 88) | def write_word_at(self, index: int, value: Union[int, BitVec, bool, Bo... method __getitem__ (line 122) | def __getitem__(self, item: BitVec) -> Union[int, BitVec]: ... method __getitem__ (line 125) | def __getitem__(self, item: slice) -> List[Union[int, BitVec]]: ... method __getitem__ (line 127) | def __getitem__( method __setitem__ (line 163) | def __setitem__( FILE: mythril/laser/ethereum/state/return_data.py class ReturnData (line 10) | class ReturnData: method __init__ (line 13) | def __init__(self, return_data: List[BitVec], return_data_size: BitVec... method size (line 22) | def size(self) -> BitVec: method __getitem__ (line 29) | def __getitem__(self, index): FILE: mythril/laser/ethereum/state/transient_storage.py class TransientStorage (line 6) | class TransientStorage: method __init__ (line 12) | def __init__(self, journal=None): method get (line 21) | def get(self, addr, index): method set (line 41) | def set(self, addr, index, value): method clear (line 53) | def clear(self): method __copy__ (line 60) | def __copy__(self): method __deepcopy__ (line 66) | def __deepcopy__(self): FILE: mythril/laser/ethereum/state/world_state.py class WorldState (line 20) | class WorldState: method __init__ (line 24) | def __init__( method accounts (line 47) | def accounts(self): method __getitem__ (line 50) | def __getitem__(self, item: BitVec) -> Account: method __copy__ (line 63) | def __copy__(self) -> "WorldState": method __deepcopy__ (line 83) | def __deepcopy__(self, _) -> "WorldState": method accounts_exist_or_load (line 102) | def accounts_exist_or_load(self, addr, dynamic_loader: DynLoader) -> A... method create_account (line 150) | def create_account( method create_initialized_contract_account (line 198) | def create_initialized_contract_account(self, contract_code, storage) ... method annotate (line 214) | def annotate(self, annotation: StateAnnotation) -> None: method annotations (line 222) | def annotations(self) -> List[StateAnnotation]: method get_annotations (line 229) | def get_annotations(self, annotation_type: type) -> Iterator[StateAnno... method _generate_new_address (line 239) | def _generate_new_address(self, creator=None, nonce=0) -> BitVec: method put_account (line 253) | def put_account(self, account: Account) -> None: FILE: mythril/laser/ethereum/strategy/__init__.py class BasicSearchStrategy (line 7) | class BasicSearchStrategy(ABC): method __init__ (line 12) | def __init__(self, work_list, max_depth, **kwargs): method __iter__ (line 16) | def __iter__(self): method get_strategic_global_state (line 20) | def get_strategic_global_state(self): method run_check (line 24) | def run_check(self): method __next__ (line 27) | def __next__(self): class CriterionSearchStrategy (line 37) | class CriterionSearchStrategy(BasicSearchStrategy): method __init__ (line 42) | def __init__(self, work_list, max_depth, **kwargs): method get_strategic_global_state (line 46) | def get_strategic_global_state(self): method set_criterion_satisfied (line 54) | def set_criterion_satisfied(self): FILE: mythril/laser/ethereum/strategy/basic.py class DepthFirstSearchStrategy (line 10) | class DepthFirstSearchStrategy(BasicSearchStrategy): method get_strategic_global_state (line 16) | def get_strategic_global_state(self) -> GlobalState: method view_strategic_global_state (line 23) | def view_strategic_global_state(self) -> GlobalState: class BreadthFirstSearchStrategy (line 31) | class BreadthFirstSearchStrategy(BasicSearchStrategy): method get_strategic_global_state (line 37) | def get_strategic_global_state(self) -> GlobalState: method view_strategic_global_state (line 44) | def view_strategic_global_state(self) -> GlobalState: class ReturnRandomNaivelyStrategy (line 52) | class ReturnRandomNaivelyStrategy(BasicSearchStrategy): method __init__ (line 55) | def __init__(self, work_list, max_depth, **kwargs): method get_strategic_global_state (line 59) | def get_strategic_global_state(self) -> GlobalState: method view_strategic_global_state (line 74) | def view_strategic_global_state(self) -> GlobalState: class ReturnWeightedRandomStrategy (line 86) | class ReturnWeightedRandomStrategy(BasicSearchStrategy): method __init__ (line 90) | def __init__(self, work_list, max_depth, **kwargs): method get_strategic_global_state (line 94) | def get_strategic_global_state(self) -> GlobalState: method view_strategic_global_state (line 111) | def view_strategic_global_state(self) -> GlobalState: FILE: mythril/laser/ethereum/strategy/beam.py class BeamSearch (line 6) | class BeamSearch(BasicSearchStrategy): method __init__ (line 9) | def __init__(self, work_list, max_depth, beam_width, **kwargs): method beam_priority (line 14) | def beam_priority(state): method sort_and_eliminate_states (line 17) | def sort_and_eliminate_states(self): method view_strategic_global_state (line 21) | def view_strategic_global_state(self) -> GlobalState: method get_strategic_global_state (line 32) | def get_strategic_global_state(self) -> GlobalState: FILE: mythril/laser/ethereum/strategy/concolic.py class TraceAnnotation (line 19) | class TraceAnnotation(StateAnnotation): method __init__ (line 24) | def __init__(self, trace=None): method persist_over_calls (line 28) | def persist_over_calls(self) -> bool: method __copy__ (line 31) | def __copy__(self): class ConcolicStrategy (line 35) | class ConcolicStrategy(CriterionSearchStrategy): method __init__ (line 40) | def __init__( method check_completion_criterion (line 60) | def check_completion_criterion(self): method get_strategic_global_state (line 64) | def get_strategic_global_state(self) -> GlobalState: FILE: mythril/laser/ethereum/strategy/constraint_strategy.py class DelayConstraintStrategy (line 10) | class DelayConstraintStrategy(BasicSearchStrategy): method __init__ (line 11) | def __init__(self, work_list, max_depth, **kwargs): method get_strategic_global_state (line 17) | def get_strategic_global_state(self) -> GlobalState: FILE: mythril/laser/ethereum/strategy/extensions/bounded_loops.py class JumpdestCountAnnotation (line 13) | class JumpdestCountAnnotation(StateAnnotation): method __init__ (line 16) | def __init__(self) -> None: method __copy__ (line 20) | def __copy__(self): class BoundedLoopsStrategy (line 27) | class BoundedLoopsStrategy(BasicSearchStrategy): method __init__ (line 32) | def __init__(self, super_strategy: BasicSearchStrategy, **kwargs) -> N... method calculate_hash (line 49) | def calculate_hash(i: int, j: int, trace: List[int]) -> int: method count_key (line 66) | def count_key(trace: List[int], key: int, start: int, size: int) -> int: method get_loop_count (line 84) | def get_loop_count(trace: List[int]) -> int: method get_strategic_global_state (line 104) | def get_strategic_global_state(self) -> GlobalState: FILE: mythril/laser/ethereum/svm.py class SVMError (line 37) | class SVMError(Exception): class LaserEVM (line 43) | class LaserEVM: method __init__ (line 54) | def __init__( method extend_strategy (line 148) | def extend_strategy(self, extension: ABCMeta, **kwargs) -> None: method sym_exec (line 151) | def sym_exec( method execute_transactions (line 220) | def execute_transactions(self, address) -> None: method _execute_transactions_non_ordered (line 241) | def _execute_transactions_non_ordered(self, address): method _execute_transactions_incremental (line 252) | def _execute_transactions_incremental(self, address, txs=None): method _check_create_termination (line 311) | def _check_create_termination(self) -> bool: method _check_execution_termination (line 319) | def _check_execution_termination(self) -> bool: method exec (line 325) | def exec(self, create=False, track_gas=False) -> Optional[List[GlobalS... method _add_world_state (line 370) | def _add_world_state(self, global_state: GlobalState): method handle_vm_exception (line 381) | def handle_vm_exception( method execute_state (line 400) | def execute_state( method _end_message_call (line 523) | def _end_message_call( method manage_cfg (line 579) | def manage_cfg(self, opcode: str, new_states: List[GlobalState]) -> None: method _new_node_state (line 602) | def _new_node_state( method register_hooks (line 667) | def register_hooks(self, hook_type: str, hook_dict: Dict[str, List[Cal... method register_laser_hooks (line 685) | def register_laser_hooks(self, hook_type: str, hook: Callable): method register_instr_hooks (line 693) | def register_instr_hooks(self, hook_type: str, opcode: str, hook: Call... method instr_hook (line 708) | def instr_hook(self, hook_type, opcode) -> Callable: method laser_hook (line 724) | def laser_hook(self, hook_type: str) -> Callable: method _execute_pre_hook (line 741) | def _execute_pre_hook(self, op_code: str, global_state: GlobalState) -... method _execute_post_hook (line 753) | def _execute_post_hook( method pre_hook (line 772) | def pre_hook(self, op_code: str) -> Callable: method post_hook (line 792) | def post_hook(self, op_code: str) -> Callable: FILE: mythril/laser/ethereum/time_handler.py class TimeHandler (line 6) | class TimeHandler(object, metaclass=Singleton): method __init__ (line 7) | def __init__(self): method start_execution (line 11) | def start_execution(self, execution_time): method time_remaining (line 15) | def time_remaining(self): FILE: mythril/laser/ethereum/transaction/concolic.py function execute_contract_creation (line 21) | def execute_contract_creation( function execute_message_call (line 73) | def execute_message_call( function _setup_global_state_for_execution (line 123) | def _setup_global_state_for_execution(laser_evm, transaction) -> None: function execute_transaction (line 157) | def execute_transaction(*args, **kwargs) -> Union[None, List[GlobalState]]: FILE: mythril/laser/ethereum/transaction/symbolic.py class Actors (line 26) | class Actors: method __init__ (line 27) | def __init__( method __setitem__ (line 39) | def __setitem__(self, actor: str, address: Optional[str]): method __getitem__ (line 56) | def __getitem__(self, actor: str): method creator (line 60) | def creator(self): method attacker (line 64) | def attacker(self): method __len__ (line 67) | def __len__(self): function generate_function_constraints (line 74) | def generate_function_constraints( function execute_message_call (line 103) | def execute_message_call( function execute_contract_creation (line 151) | def execute_contract_creation( function _setup_global_state_for_execution (line 199) | def _setup_global_state_for_execution( function execute_transaction (line 243) | def execute_transaction(*args, **kwargs): FILE: mythril/laser/ethereum/transaction/transaction_models.py class TxIdManager (line 26) | class TxIdManager(object, metaclass=Singleton): method __init__ (line 27) | def __init__(self): method get_next_tx_id (line 30) | def get_next_tx_id(self): method restart_counter (line 34) | def restart_counter(self): method set_counter (line 37) | def set_counter(self, tx_id): class TransactionEndSignal (line 44) | class TransactionEndSignal(Exception): method __init__ (line 47) | def __init__(self, global_state: GlobalState, revert=False) -> None: class TransactionStartSignal (line 52) | class TransactionStartSignal(Exception): method __init__ (line 55) | def __init__( class BaseTransaction (line 66) | class BaseTransaction: method __init__ (line 69) | def __init__( method initial_global_state_from_environment (line 129) | def initial_global_state_from_environment(self, environment, active_fu... method initial_global_state (line 156) | def initial_global_state(self) -> GlobalState: method __str__ (line 159) | def __str__(self) -> str: class MessageCallTransaction (line 176) | class MessageCallTransaction(BaseTransaction): method __init__ (line 179) | def __init__(self, *args, **kwargs) -> None: method initial_global_state (line 182) | def initial_global_state(self) -> GlobalState: method end (line 199) | def end(self, global_state: GlobalState, return_data=None, revert=Fals... class ContractCreationTransaction (line 211) | class ContractCreationTransaction(BaseTransaction): method __init__ (line 214) | def __init__( method initial_global_state (line 255) | def initial_global_state(self) -> GlobalState: method end (line 271) | def end(self, global_state: GlobalState, return_data=None, revert=False): FILE: mythril/laser/ethereum/tx_prioritiser/rf_prioritiser.py class RfTxPrioritiser (line 9) | class RfTxPrioritiser: method __init__ (line 10) | def __init__(self, contract, depth=3, model_path=None): method preprocess_features (line 25) | def preprocess_features(self, features_dict): method __next__ (line 33) | def __next__(self, address): FILE: mythril/laser/ethereum/util.py function safe_decode (line 26) | def safe_decode(hex_encoded_string: str) -> bytes: function insert_ret_val (line 38) | def insert_ret_val(global_state: "GlobalState"): function to_signed (line 46) | def to_signed(i: int) -> int: function get_instruction_index (line 55) | def get_instruction_index( function get_trace_line (line 72) | def get_trace_line(instr: Dict, state: "MachineState") -> str: function pop_bitvec (line 85) | def pop_bitvec(state: "MachineState") -> BitVec: function get_concrete_int (line 109) | def get_concrete_int(item: Union[int, Expression]) -> int: function concrete_int_from_bytes (line 130) | def concrete_int_from_bytes( function concrete_int_to_bytes (line 149) | def concrete_int_to_bytes(val): function bytearray_to_int (line 161) | def bytearray_to_int(arr): function extract_copy (line 173) | def extract_copy( function extract32 (line 183) | def extract32(data: bytearray, i: int) -> int: FILE: mythril/laser/execution_info.py class ExecutionInfo (line 4) | class ExecutionInfo(ABC): method as_dict (line 6) | def as_dict(self): FILE: mythril/laser/plugin/builder.py class PluginBuilder (line 6) | class PluginBuilder(ABC): method __init__ (line 14) | def __init__(self): method __call__ (line 18) | def __call__(self, *args, **kwargs) -> LaserPlugin: FILE: mythril/laser/plugin/interface.py class LaserPlugin (line 4) | class LaserPlugin: method initialize (line 18) | def initialize(self, symbolic_vm: LaserEVM) -> None: FILE: mythril/laser/plugin/loader.py class LaserPluginLoader (line 12) | class LaserPluginLoader(object, metaclass=Singleton): method __init__ (line 18) | def __init__(self) -> None: method add_args (line 24) | def add_args(self, plugin_name, **kwargs): method load (line 27) | def load(self, plugin_builder: PluginBuilder) -> None: method is_enabled (line 40) | def is_enabled(self, plugin_name: str) -> bool: method enable (line 50) | def enable(self, plugin_name: str): method instrument_virtual_machine (line 55) | def instrument_virtual_machine( FILE: mythril/laser/plugin/plugins/benchmark.py class BenchmarkPluginBuilder (line 13) | class BenchmarkPluginBuilder(PluginBuilder): method __call__ (line 16) | def __call__(self, *args, **kwargs): class BenchmarkPlugin (line 21) | class BenchmarkPlugin(LaserPlugin): method __init__ (line 32) | def __init__(self, name=None): method initialize (line 43) | def initialize(self, symbolic_vm: LaserEVM): method _reset (line 74) | def _reset(self): method _store_report (line 81) | def _store_report(self): method _write_to_graph (line 85) | def _write_to_graph(self): FILE: mythril/laser/plugin/plugins/call_depth_limiter.py class CallDepthLimitBuilder (line 8) | class CallDepthLimitBuilder(PluginBuilder): method __call__ (line 11) | def __call__(self, *args, **kwargs): class CallDepthLimit (line 15) | class CallDepthLimit(LaserPlugin): method __init__ (line 16) | def __init__(self, call_depth_limit: int): method initialize (line 19) | def initialize(self, symbolic_vm: LaserEVM): FILE: mythril/laser/plugin/plugins/coverage/coverage_plugin.py class CoveragePluginBuilder (line 12) | class CoveragePluginBuilder(PluginBuilder): method __call__ (line 15) | def __call__(self, *args, **kwargs): class InstructionCoveragePlugin (line 19) | class InstructionCoveragePlugin(LaserPlugin): method __init__ (line 31) | def __init__(self): method initialize (line 36) | def initialize(self, symbolic_vm: LaserEVM): method _get_covered_instructions (line 99) | def _get_covered_instructions(self) -> int: method is_instruction_covered (line 109) | def is_instruction_covered(self, bytecode, index): FILE: mythril/laser/plugin/plugins/coverage/coverage_strategy.py class CoverageStrategy (line 6) | class CoverageStrategy(BasicSearchStrategy): method __init__ (line 15) | def __init__( method get_strategic_global_state (line 26) | def get_strategic_global_state(self) -> GlobalState: method _is_covered (line 37) | def _is_covered(self, global_state: GlobalState) -> bool: FILE: mythril/laser/plugin/plugins/coverage_metrics/coverage_data.py class InstructionCoverageInfo (line 7) | class InstructionCoverageInfo(ExecutionInfo): method __init__ (line 8) | def __init__(self): method as_dict (line 11) | def as_dict(self): method get_code_instr_hex (line 14) | def get_code_instr_hex(self, code: str, instruction: int): method is_covered (line 19) | def is_covered(self, code: str, instruction: int): method add_data (line 23) | def add_data(self, code: str, instruction: int, discovery_time: int): method output (line 27) | def output(self, filename: str): class CoverageData (line 34) | class CoverageData: method __init__ (line 35) | def __init__( method as_dict (line 55) | def as_dict(self): class CoverageTimeSeries (line 59) | class CoverageTimeSeries(ExecutionInfo): method __init__ (line 60) | def __init__(self): method output (line 63) | def output(self, filename: str): method as_dict (line 67) | def as_dict(self): method add_data (line 70) | def add_data(self, *args, **kwargs): FILE: mythril/laser/plugin/plugins/coverage_metrics/metrics_plugin.py class CoverageMetricsPluginBuilder (line 18) | class CoverageMetricsPluginBuilder(PluginBuilder): method __call__ (line 36) | def __call__(self, *args, **kwargs): class LaserCoveragePlugin (line 41) | class LaserCoveragePlugin(LaserPlugin): method __init__ (line 42) | def __init__(self): method initialize (line 51) | def initialize(self, symbolic_vm: LaserEVM) -> None: method _update_instruction_coverage_data (line 86) | def _update_instruction_coverage_data(self, global_state: GlobalState): method _update_branch_coverage_data (line 99) | def _update_branch_coverage_data(self, global_state: GlobalState): method _record_coverage (line 114) | def _record_coverage(self): FILE: mythril/laser/plugin/plugins/dependency_pruner.py function get_dependency_annotation (line 22) | def get_dependency_annotation(state: GlobalState) -> DependencyAnnotation: function get_ws_dependency_annotation (line 52) | def get_ws_dependency_annotation(state: GlobalState) -> WSDependencyAnno... class DependencyPrunerBuilder (line 72) | class DependencyPrunerBuilder(PluginBuilder): method __call__ (line 75) | def __call__(self, *args, **kwargs): class DependencyPruner (line 79) | class DependencyPruner(LaserPlugin): method __init__ (line 91) | def __init__(self): method _reset (line 95) | def _reset(self): method update_sloads (line 102) | def update_sloads(self, path: List[int], target_location: object) -> N... method update_sstores (line 116) | def update_sstores(self, path: List[int], target_location: object) -> ... method update_calls (line 130) | def update_calls(self, path: List[int]) -> None: method wanna_execute (line 141) | def wanna_execute(self, address: int, annotation: DependencyAnnotation... method initialize (line 195) | def initialize(self, symbolic_vm: LaserEVM) -> None: FILE: mythril/laser/plugin/plugins/instruction_profiler.py class InstructionProfilerBuilder (line 34) | class InstructionProfilerBuilder(PluginBuilder): method __call__ (line 37) | def __call__(self, *args, **kwargs): class InstructionProfiler (line 41) | class InstructionProfiler(LaserPlugin): method __init__ (line 44) | def __init__(self): method _reset (line 47) | def _reset(self): method initialize (line 51) | def initialize(self, symbolic_vm: LaserEVM) -> None: method _make_stats (line 94) | def _make_stats(self) -> Tuple[float, _InstrExecStatistics]: FILE: mythril/laser/plugin/plugins/mutation_pruner.py class MutationPrunerBuilder (line 15) | class MutationPrunerBuilder(PluginBuilder): method __call__ (line 18) | def __call__(self, *args, **kwargs): class MutationPruner (line 22) | class MutationPruner(LaserPlugin): method initialize (line 37) | def initialize(self, symbolic_vm: LaserEVM): FILE: mythril/laser/plugin/plugins/plugin_annotations.py class MutationAnnotation (line 13) | class MutationAnnotation(StateAnnotation): method __init__ (line 19) | def __init__(self): method persist_over_calls (line 23) | def persist_over_calls(self) -> bool: class DependencyAnnotation (line 27) | class DependencyAnnotation(MergeableStateAnnotation): method __init__ (line 33) | def __init__(self): method __copy__ (line 40) | def __copy__(self): method get_storage_write_cache (line 49) | def get_storage_write_cache(self, iteration: int): method extend_storage_write_cache (line 52) | def extend_storage_write_cache(self, iteration: int, value: object): method check_merge_annotation (line 57) | def check_merge_annotation(self, other: "DependencyAnnotation"): method merge_annotation (line 62) | def merge_annotation(self, other: "DependencyAnnotation"): class WSDependencyAnnotation (line 81) | class WSDependencyAnnotation(MergeableStateAnnotation): method __init__ (line 88) | def __init__(self): method __copy__ (line 91) | def __copy__(self): method check_merge_annotation (line 96) | def check_merge_annotation(self, annotation: "WSDependencyAnnotation")... method merge_annotation (line 115) | def merge_annotation( FILE: mythril/laser/plugin/plugins/state_merge/check_mergeability.py function check_node_merge_condition (line 14) | def check_node_merge_condition(node1: Node, node2: Node): function check_account_merge_condition (line 30) | def check_account_merge_condition(account1: Account, account2: Account): function check_ws_merge_condition (line 43) | def check_ws_merge_condition(state1: WorldState, state2: WorldState): function _check_merge_annotations (line 63) | def _check_merge_annotations(state1: WorldState, state2: WorldState): function _check_constraint_merge (line 89) | def _check_constraint_merge( FILE: mythril/laser/plugin/plugins/state_merge/merge_states.py function merge_states (line 14) | def merge_states(state1: WorldState, state2: WorldState): function merge_nodes (line 49) | def merge_nodes(node1: Node, node2: Node, constraints: Constraints): function merge_accounts (line 63) | def merge_accounts( function merge_storage (line 88) | def merge_storage(storage1: Storage, storage2: Storage, path_condition: ... function _merge_annotations (line 111) | def _merge_annotations(state1: "WorldState", state2: "WorldState"): function _merge_constraints (line 129) | def _merge_constraints( FILE: mythril/laser/plugin/plugins/state_merge/state_merge_plugin.py class MergeAnnotation (line 16) | class MergeAnnotation(StateAnnotation): class StateMergePluginBuilder (line 20) | class StateMergePluginBuilder(LaserPlugin): method __call__ (line 31) | def __call__(self, *args, **kwargs): class StateMergePlugin (line 35) | class StateMergePlugin(LaserPlugin): method initialize (line 44) | def initialize(self, symbolic_vm: LaserEVM): method _look_for_merges (line 77) | def _look_for_merges( FILE: mythril/laser/plugin/plugins/summary/annotations.py class SummaryTrackingAnnotation (line 11) | class SummaryTrackingAnnotation(StateAnnotation): method __init__ (line 17) | def __init__( method __copy__ (line 34) | def __copy__(self): FILE: mythril/laser/plugin/plugins/summary/core.py class SymbolicSummaryPluginBuilder (line 45) | class SymbolicSummaryPluginBuilder(PluginBuilder): method __call__ (line 48) | def __call__(self, *args, **kwargs): class SymbolicSummaryPlugin (line 52) | class SymbolicSummaryPlugin(LaserPlugin): method __init__ (line 53) | def __init__(self): method initialize (line 60) | def initialize(self, symbolic_vm: LaserEVM): method _summary_entry (line 111) | def _summary_entry(self, global_state: GlobalState): method _create_summary_environment (line 155) | def _create_summary_environment(self, base_environment: Environment) -... method _restore_environment (line 177) | def _restore_environment( method check_for_issues (line 200) | def check_for_issues(self, global_state): method storage_dependent (line 205) | def storage_dependent(self, summary, global_state: GlobalState) -> bool: method _apply_summaries (line 233) | def _apply_summaries(self, laser_evm: LaserEVM, global_state: GlobalSt... method issue_in_cache (line 257) | def issue_in_cache( method _check_issue (line 269) | def _check_issue( method _translate_condition (line 308) | def _translate_condition(self, global_state: GlobalState, condition: L... method _summary_exit (line 316) | def _summary_exit( method _get_and_remove_summary_tracking_annotation (line 338) | def _get_and_remove_summary_tracking_annotation( method _record_symbolic_summary (line 354) | def _record_symbolic_summary( method _restore_previous_state (line 410) | def _restore_previous_state( method _rewrite (line 425) | def _rewrite(global_state: GlobalState, original: Expression, new: Exp... FILE: mythril/laser/plugin/plugins/summary/summary.py class SymbolicSummary (line 14) | class SymbolicSummary: method __init__ (line 20) | def __init__( method as_csv (line 49) | def as_csv(self, delimiter=",", sub_array_delimiter=";", tuple_delimit... method as_dict (line 75) | def as_dict(self): method apply_summary (line 89) | def apply_summary(self, global_state: GlobalState): function substitute_exprs (line 127) | def substitute_exprs(expression, account_id, account, global_state): FILE: mythril/laser/plugin/plugins/trace.py class TraceFinderBuilder (line 9) | class TraceFinderBuilder(PluginBuilder): method __call__ (line 21) | def __call__(self, *args, **kwargs): class TraceFinder (line 25) | class TraceFinder(LaserPlugin): method __init__ (line 26) | def __init__(self): method _reset (line 29) | def _reset(self): method initialize (line 32) | def initialize(self, symbolic_vm: LaserEVM): FILE: mythril/laser/plugin/signals.py class PluginSignal (line 1) | class PluginSignal(Exception): class PluginSkipWorldState (line 10) | class PluginSkipWorldState(PluginSignal): class PluginSkipState (line 20) | class PluginSkipState(PluginSignal): FILE: mythril/laser/smt/__init__.py class SymbolFactory (line 36) | class SymbolFactory(Generic[T, U]): method Bool (line 40) | def Bool(value: "__builtins__.bool", annotations: Annotations = None) ... method BoolSym (line 50) | def BoolSym(name: str, annotations: Annotations = None) -> T: method BitVecVal (line 60) | def BitVecVal(value: int, size: int, annotations: Annotations = None) ... method BitVecSym (line 71) | def BitVecSym(name: str, size: int, annotations: Annotations = None) -... class _SmtSymbolFactory (line 82) | class _SmtSymbolFactory(SymbolFactory[SMTBool, BitVec]): method Bool (line 89) | def Bool(value: "__builtins__.bool", annotations: Annotations = None) ... method BoolSym (line 100) | def BoolSym(name: str, annotations: Annotations = None) -> SMTBool: method BitVecVal (line 111) | def BitVecVal(value: int, size: int, annotations: Annotations = None) ... method BitVecSym (line 117) | def BitVecSym(name: str, size: int, annotations: Annotations = None) -... class _Z3SymbolFactory (line 123) | class _Z3SymbolFactory(SymbolFactory[z3.BoolRef, z3.BitVecRef]): method Bool (line 130) | def Bool(value: "__builtins__.bool", annotations: Annotations = None) ... method BitVecVal (line 135) | def BitVecVal( method BitVecSym (line 142) | def BitVecSym( FILE: mythril/laser/smt/array.py class BaseArray (line 15) | class BaseArray: method __init__ (line 18) | def __init__(self, raw): method __getitem__ (line 21) | def __getitem__(self, item: BitVec) -> BitVec: method __setitem__ (line 29) | def __setitem__(self, key: BitVec, value: BitVec) -> None: method substitute (line 33) | def substitute(self, original_expression, new_expression): class Array (line 46) | class Array(BaseArray): method __init__ (line 49) | def __init__(self, name: str, domain: int, value_range: int): class K (line 61) | class K(BaseArray): method __init__ (line 65) | def __init__(self, domain: int, value_range: int, value: int): FILE: mythril/laser/smt/bitvec.py function _padded_operation (line 16) | def _padded_operation(a: z3.BitVec, b: z3.BitVec, operator): class BitVec (line 25) | class BitVec(Expression[z3.BitVecRef]): method __init__ (line 28) | def __init__(self, raw: z3.BitVecRef, annotations: Optional[Annotation... method size (line 36) | def size(self) -> int: method symbolic (line 44) | def symbolic(self) -> bool: method value (line 53) | def value(self) -> Optional[int]: method __add__ (line 63) | def __add__(self, other: Union[int, "BitVec"]) -> "BitVec": method __sub__ (line 75) | def __sub__(self, other: Union[int, "BitVec"]) -> "BitVec": method __mul__ (line 87) | def __mul__(self, other: "BitVec") -> "BitVec": method __truediv__ (line 96) | def __truediv__(self, other: "BitVec") -> "BitVec": method __and__ (line 105) | def __and__(self, other: Union[int, "BitVec"]) -> "BitVec": method __or__ (line 116) | def __or__(self, other: Union[int, "BitVec"]) -> "BitVec": method __xor__ (line 127) | def __xor__(self, other: Union[int, "BitVec"]) -> "BitVec": method __lt__ (line 138) | def __lt__(self, other: Union[int, "BitVec"]) -> Bool: method __gt__ (line 149) | def __gt__(self, other: Union[int, "BitVec"]) -> Bool: method __le__ (line 160) | def __le__(self, other: Union[int, "BitVec"]) -> Bool: method __ge__ (line 171) | def __ge__(self, other: Union[int, "BitVec"]) -> Bool: method __eq__ (line 183) | def __eq__(self, other: Union[int, "BitVec"]) -> Bool: # type: ignore method __ne__ (line 201) | def __ne__(self, other: Union[int, "BitVec"]) -> Bool: # type: ignore method _handle_shift (line 218) | def _handle_shift(self, other: Union[int, "BitVec"], operator: Callabl... method __lshift__ (line 232) | def __lshift__(self, other: Union[int, "BitVec"]) -> "BitVec": method __rshift__ (line 240) | def __rshift__(self, other: Union[int, "BitVec"]) -> "BitVec": method __hash__ (line 248) | def __hash__(self) -> int: FILE: mythril/laser/smt/bitvec_helper.py function _z3_array_converter (line 12) | def _z3_array_converter(array: Union[z3.Array, z3.K]) -> Array: function _comparison_helper (line 20) | def _comparison_helper(a: BitVec, b: BitVec, operation: Callable) -> Bool: function _arithmetic_helper (line 25) | def _arithmetic_helper(a: BitVec, b: BitVec, operation: Callable) -> Bit... function LShR (line 31) | def LShR(a: BitVec, b: BitVec): function If (line 36) | def If( function If (line 42) | def If(a: Union[Bool, bool], b: BaseArray, c: BaseArray) -> BaseArray: ... function If (line 45) | def If( function UGT (line 76) | def UGT(a: BitVec, b: BitVec) -> Bool: function UGE (line 86) | def UGE(a: BitVec, b: BitVec) -> Bool: function ULT (line 96) | def ULT(a: BitVec, b: BitVec) -> Bool: function ULE (line 106) | def ULE(a: BitVec, b: BitVec) -> Bool: function Concat (line 117) | def Concat(*args: List[BitVec]) -> BitVec: ... function Concat (line 121) | def Concat(*args: BitVec) -> BitVec: ... function Concat (line 124) | def Concat(*args: Union[BitVec, List[BitVec]]) -> BitVec: function Extract (line 144) | def Extract(high: int, low: int, bv: BitVec) -> BitVec: function URem (line 156) | def URem(a: BitVec, b: BitVec) -> BitVec: function SRem (line 166) | def SRem(a: BitVec, b: BitVec) -> BitVec: function UDiv (line 176) | def UDiv(a: BitVec, b: BitVec) -> BitVec: function Sum (line 186) | def Sum(*args: BitVec) -> BitVec: function BVAddNoOverflow (line 199) | def BVAddNoOverflow(a: Union[BitVec, int], b: Union[BitVec, int], signed... function BVMulNoOverflow (line 214) | def BVMulNoOverflow(a: Union[BitVec, int], b: Union[BitVec, int], signed... function BVSubNoUnderflow (line 230) | def BVSubNoUnderflow( FILE: mythril/laser/smt/bool.py class Bool (line 13) | class Bool(Expression[z3.BoolRef]): method is_false (line 17) | def is_false(self) -> bool: method is_true (line 26) | def is_true(self) -> bool: method value (line 35) | def value(self) -> Union[bool, None]: method __eq__ (line 49) | def __eq__(self, other: object) -> "Bool": # type: ignore method __ne__ (line 61) | def __ne__(self, other: object) -> "Bool": # type: ignore method __bool__ (line 72) | def __bool__(self) -> bool: method substitute (line 82) | def substitute(self, original_expression, new_expression): method __hash__ (line 94) | def __hash__(self) -> int: function And (line 98) | def And(*args: Union[Bool, bool]) -> Bool: function Xor (line 107) | def Xor(a: Bool, b: Bool) -> Bool: function Or (line 114) | def Or(*args: Union[Bool, bool]) -> Bool: function Not (line 128) | def Not(a: Bool) -> Bool: function is_false (line 137) | def is_false(a: Bool) -> bool: function is_true (line 146) | def is_true(a: Bool) -> bool: FILE: mythril/laser/smt/expression.py class Expression (line 11) | class Expression(Generic[T]): method __init__ (line 15) | def __init__(self, raw: T, annotations: Optional[Annotations] = None): method annotations (line 29) | def annotations(self) -> Annotations: method annotate (line 37) | def annotate(self, annotation: Any) -> None: method simplify (line 45) | def simplify(self) -> None: method __repr__ (line 49) | def __repr__(self) -> str: method size (line 52) | def size(self): method __hash__ (line 55) | def __hash__(self) -> int: method get_annotations (line 58) | def get_annotations(self, annotation: Any): function simplify (line 65) | def simplify(expression: G) -> G: FILE: mythril/laser/smt/function.py class Function (line 8) | class Function: method __init__ (line 11) | def __init__(self, name: str, domain: List[int], value_range: int): method __call__ (line 24) | def __call__(self, *items) -> BitVec: FILE: mythril/laser/smt/model.py class Model (line 6) | class Model: method __init__ (line 13) | def __init__(self, models: List[z3.ModelRef] = None): method decls (line 20) | def decls(self) -> List[z3.ExprRef]: method __getitem__ (line 27) | def __getitem__(self, item) -> Union[None, z3.ExprRef]: method eval (line 45) | def eval( FILE: mythril/laser/smt/solver/independence_solver.py function _get_expr_variables (line 10) | def _get_expr_variables(expression: z3.ExprRef) -> List[z3.ExprRef]: class DependenceBucket (line 25) | class DependenceBucket: method __init__ (line 28) | def __init__(self, variables=None, conditions=None): class DependenceMap (line 38) | class DependenceMap: method __init__ (line 41) | def __init__(self): method add_condition (line 46) | def add_condition(self, condition: z3.BoolRef) -> None: method _merge_buckets (line 71) | def _merge_buckets(self, bucket_list: Set[DependenceBucket]) -> Depend... class IndependenceSolver (line 86) | class IndependenceSolver: method __init__ (line 89) | def __init__(self): method set_timeout (line 95) | def set_timeout(self, timeout: int) -> None: method add (line 103) | def add(self, *constraints: Bool) -> None: method append (line 113) | def append(self, *constraints: Tuple[Bool]) -> None: method check (line 124) | def check(self) -> z3.CheckSatResult: method model (line 142) | def model(self) -> Model: method reset (line 146) | def reset(self) -> None: method pop (line 150) | def pop(self, num) -> None: FILE: mythril/laser/smt/solver/solver.py class BaseSolver (line 20) | class BaseSolver(Generic[T]): method __init__ (line 21) | def __init__(self, raw: T) -> None: method set_timeout (line 25) | def set_timeout(self, timeout: int) -> None: method set_unsat_core (line 33) | def set_unsat_core(self) -> None: method add (line 42) | def add(self, *constraints: Bool) -> None: method assert_and_track (line 53) | def assert_and_track(self, constraints: Bool, name: str) -> None: method append (line 64) | def append(self, *constraints: Bool) -> None: method check (line 73) | def check(self, *args) -> z3.CheckSatResult: method model (line 90) | def model(self) -> Model: method sexpr (line 101) | def sexpr(self): class Solver (line 105) | class Solver(BaseSolver[z3.Solver]): method __init__ (line 108) | def __init__(self) -> None: method reset (line 112) | def reset(self) -> None: method pop (line 116) | def pop(self, num: int) -> None: class Optimize (line 124) | class Optimize(BaseSolver[z3.Optimize]): method __init__ (line 127) | def __init__(self) -> None: method minimize (line 131) | def minimize(self, element: Expression[z3.ExprRef]) -> None: method maximize (line 138) | def maximize(self, element: Expression[z3.ExprRef]) -> None: FILE: mythril/laser/smt/solver/solver_statistics.py function stat_smt_query (line 7) | def stat_smt_query(func: Callable): class SolverStatistics (line 28) | class SolverStatistics(object, metaclass=Singleton): method __init__ (line 34) | def __init__(self): method __repr__ (line 39) | def __repr__(self): FILE: mythril/mythril/mythril_analyzer.py class MythrilAnalyzer (line 30) | class MythrilAnalyzer: method __init__ (line 36) | def __init__( method dump_statespace (line 84) | def dump_statespace(self, contract: EVMContract = None) -> str: method graph_html (line 105) | def graph_html( method fire_lasers (line 136) | def fire_lasers( FILE: mythril/mythril/mythril_config.py class MythrilConfig (line 16) | class MythrilConfig: method __init__ (line 22) | def __init__(self): method set_api_infura_id (line 29) | def set_api_infura_id(self, id): method init_mythril_dir (line 33) | def init_mythril_dir() -> str: method _init_config (line 58) | def _init_config(self): method _add_default_options (line 90) | def _add_default_options(config: ConfigParser) -> None: method _add_dynamic_loading_option (line 99) | def _add_dynamic_loading_option(config: ConfigParser) -> None: method set_api_rpc_infura (line 119) | def set_api_rpc_infura(self) -> None: method set_api_rpc (line 126) | def set_api_rpc(self, rpc: str = None, rpctls: bool = False) -> None: method set_api_rpc_localhost (line 192) | def set_api_rpc_localhost(self) -> None: method set_api_from_config_path (line 197) | def set_api_from_config_path(self) -> None: method _set_rpc (line 208) | def _set_rpc(self, rpc_type: str) -> None: FILE: mythril/mythril/mythril_disassembler.py function format_warning (line 30) | def format_warning(message, category, filename, lineno, line=""): class MythrilDisassembler (line 40) | class MythrilDisassembler: method __init__ (line 48) | def __init__( method _init_solc_binary (line 64) | def _init_solc_binary(version: str) -> Optional[str]: method load_from_bytecode (line 98) | def load_from_bytecode( method load_from_address (line 127) | def load_from_address(self, address: str) -> Tuple[str, EVMContract]: method load_from_foundry (line 160) | def load_from_foundry(self): method check_run_integer_module (line 218) | def check_run_integer_module(self, source_file): method load_from_solidity (line 241) | def load_from_solidity( method hash_for_function_signature (line 320) | def hash_for_function_signature(func: str) -> str: method get_state_variable_from_storage (line 328) | def get_state_variable_from_storage( FILE: mythril/plugin/discovery.py class PluginDiscovery (line 13) | class PluginDiscovery(object, metaclass=Singleton): method init_installed_plugins (line 22) | def init_installed_plugins(self): method installed_plugins (line 39) | def installed_plugins(self): method is_installed (line 44) | def is_installed(self, plugin_name: str) -> bool: method build_plugin (line 48) | def build_plugin(self, plugin_name: str, plugin_args: Dict) -> Mythril... method get_plugins (line 59) | def get_plugins(self, default_enabled=None) -> List[str]: FILE: mythril/plugin/interface.py class MythrilPlugin (line 6) | class MythrilPlugin: method __init__ (line 23) | def __init__(self, **kwargs): method __repr__ (line 26) | def __repr__(self): class MythrilCLIPlugin (line 31) | class MythrilCLIPlugin(MythrilPlugin): class MythrilLaserPlugin (line 40) | class MythrilLaserPlugin(MythrilPlugin, LaserPluginBuilder, ABC): FILE: mythril/plugin/loader.py class UnsupportedPluginType (line 14) | class UnsupportedPluginType(Exception): class MythrilPluginLoader (line 20) | class MythrilPluginLoader(object, metaclass=Singleton): method __init__ (line 26) | def __init__(self): method set_args (line 32) | def set_args(self, plugin_name: str, **kwargs): method load (line 35) | def load(self, plugin: MythrilPlugin): method _load_detection_module (line 59) | def _load_detection_module(plugin: DetectionModule): method _load_laser_plugin (line 65) | def _load_laser_plugin(plugin: MythrilLaserPlugin): method _load_default_enabled (line 70) | def _load_default_enabled(self): FILE: mythril/solidity/features.py class SolidityFeatureExtractor (line 4) | class SolidityFeatureExtractor: method __init__ (line 5) | def __init__(self, ast): method extract_features (line 8) | def extract_features(self): method find_function_nodes (line 54) | def find_function_nodes(self, node): method find_modifier_nodes (line 62) | def find_modifier_nodes(self, node): method get_function_name (line 70) | def get_function_name(self, node): method contains_command (line 73) | def contains_command(self, node, command): method contains_call (line 90) | def contains_call(self, node): method is_function_payable (line 93) | def is_function_payable(self, node): method has_isowner_modifier (line 96) | def has_isowner_modifier(self, node): method contains_assert (line 103) | def contains_assert(self, node): method contains_selfdestruct (line 106) | def contains_selfdestruct(self, node): method contains_delegatecall (line 109) | def contains_delegatecall(self, node): method contains_callcode (line 112) | def contains_callcode(self, node): method contains_staticcall (line 115) | def contains_staticcall(self, node): method contains_require (line 118) | def contains_require(self, node): method extract_nodes (line 121) | def extract_nodes(self, node, command, parent=None): method find_all_variables (line 135) | def find_all_variables(self, node): method find_variables_in_require (line 153) | def find_variables_in_require(self, node): method find_variables_in_if (line 163) | def find_variables_in_if(self, node): method extract_address_variable (line 208) | def extract_address_variable(self, node): FILE: mythril/solidity/soliditycontract.py class SolcAST (line 16) | class SolcAST: method __init__ (line 17) | def __init__(self, ast): method node_type (line 21) | def node_type(self): method abs_path (line 29) | def abs_path(self): method nodes (line 36) | def nodes(self): method __next__ (line 43) | def __next__(self): method __getitem__ (line 46) | def __getitem__(self, item): class SolcSource (line 50) | class SolcSource: method __init__ (line 51) | def __init__(self, source): method ast (line 55) | def ast(self): method id (line 63) | def id(self): method name (line 67) | def name(self): method contents (line 71) | def contents(self): class SourceMapping (line 75) | class SourceMapping: method __init__ (line 76) | def __init__(self, solidity_file_idx, offset, length, lineno, mapping): class SolidityFile (line 86) | class SolidityFile: method __init__ (line 89) | def __init__(self, filename: str, data: str, full_contract_src_maps: S... class SourceCodeInfo (line 101) | class SourceCodeInfo: method __init__ (line 102) | def __init__(self, filename, lineno, code, mapping): function get_contracts_from_file (line 111) | def get_contracts_from_file(input_file, solc_settings_json=None, solc_bi... function get_contracts_from_foundry (line 141) | def get_contracts_from_foundry(input_file, foundry_json): class SolidityContract (line 169) | class SolidityContract(EVMContract): method __init__ (line 172) | def __init__( method get_sources (line 242) | def get_sources(indices_data: Dict, source_data: Dict) -> None: method get_solc_indices (line 259) | def get_solc_indices(input_file: str, data: Dict) -> Dict: method get_full_contract_src_maps (line 290) | def get_full_contract_src_maps(ast: SolcAST) -> Set[str]: method get_source_info (line 307) | def get_source_info(self, address, constructor=False): method _is_autogenerated_code (line 341) | def _is_autogenerated_code(self, offset: int, length: int, file_index:... method _get_solc_mappings (line 361) | def _get_solc_mappings(self, srcmap, constructor=False): FILE: mythril/support/loader.py class DynLoader (line 17) | class DynLoader: method __init__ (line 20) | def __init__(self, eth: Optional[EthJsonRpc], active=True): method read_storage (line 30) | def read_storage(self, contract_address: str, index: int) -> str: method read_balance (line 50) | def read_balance(self, address: str) -> str: method dynld (line 66) | def dynld(self, dependency_address: str) -> Optional[Disassembly]: FILE: mythril/support/lock.py class LockFileException (line 10) | class LockFileException(Exception): class LockFile (line 14) | class LockFile(object): method __init__ (line 19) | def __init__(self, file_name, timeout=100, delay=0.05): method acquire (line 31) | def acquire(self): method release (line 50) | def release(self): method __enter__ (line 59) | def __enter__(self): method __exit__ (line 67) | def __exit__(self, type, value, traceback): method __del__ (line 74) | def __del__(self): FILE: mythril/support/model.py function solver_worker (line 23) | def solver_worker( function get_model (line 64) | def get_model( FILE: mythril/support/signatures.py function synchronized (line 18) | def synchronized(sync_lock): class Singleton (line 44) | class Singleton(type): method __call__ (line 50) | def __call__(cls, *args, **kwargs): class SQLiteDB (line 66) | class SQLiteDB(object): method __init__ (line 72) | def __init__(self, path): method __enter__ (line 81) | def __enter__(self): method __exit__ (line 93) | def __exit__(self, exc_class, exc, traceback): method __repr__ (line 103) | def __repr__(self): class SignatureDB (line 107) | class SignatureDB(object, metaclass=Singleton): method __init__ (line 110) | def __init__(self, path: str = None) -> None: method __getitem__ (line 135) | def __getitem__(self, item: str) -> List[str]: method _normalize_byte_sig (line 144) | def _normalize_byte_sig(byte_sig: str) -> str: method add (line 158) | def add(self, byte_sig: str, text_sig: str) -> None: method get (line 173) | def get(self, byte_sig: str, online_timeout: int = 2) -> List[str]: method import_solidity_file (line 199) | def import_solidity_file( method add_sigs (line 212) | def add_sigs(self, file_path: str, solc_json): method __repr__ (line 224) | def __repr__(self): FILE: mythril/support/source_support.py class Source (line 5) | class Source: method __init__ (line 8) | def __init__(self, source_type=None, source_format=None, source_list=N... method get_source_from_contracts_list (line 20) | def get_source_from_contracts_list(self, contracts): method get_source_index (line 54) | def get_source_index(self, bytecode_hash: str) -> int: FILE: mythril/support/start_time.py class StartTime (line 6) | class StartTime(metaclass=Singleton): method __init__ (line 9) | def __init__(self): FILE: mythril/support/support_args.py class Args (line 6) | class Args(object, metaclass=Singleton): method __init__ (line 12) | def __init__(self): FILE: mythril/support/support_utils.py class Singleton (line 15) | class Singleton(type): method __call__ (line 20) | def __call__(cls, *args, **kwargs): class LRUCache (line 35) | class LRUCache: method __init__ (line 36) | def __init__(self, size): method get (line 40) | def get(self, key): method put (line 48) | def put(self, key, value): class ModelCache (line 57) | class ModelCache: method __init__ (line 58) | def __init__(self): method check_quick_sat (line 62) | def check_quick_sat(self, constraints) -> bool: method put (line 70) | def put(self, key, value): function get_code_hash (line 75) | def get_code_hash(code) -> str: function sha3 (line 93) | def sha3(value): function zpad (line 104) | def zpad(x, l): function rzpad (line 111) | def rzpad(value, total_length): FILE: setup.py function get_requirements (line 29) | def get_requirements(): class VerifyVersionCommand (line 86) | class VerifyVersionCommand(_install): method run (line 91) | def run(self): FILE: tests/__init__.py class BaseTestCase (line 19) | class BaseTestCase(TestCase): method setUp (line 20) | def setUp(self): method compare_files_error_message (line 24) | def compare_files_error_message(self): method found_changed_files (line 38) | def found_changed_files(self, input_file, output_expected, output_curr... method assert_and_show_changed_files (line 47) | def assert_and_show_changed_files(self): FILE: tests/analysis/abi_decode_test.py function test_abi_decode (line 29) | def test_abi_decode(call_data, signature, expected): FILE: tests/analysis/arbitrary_jump_test.py function get_global_state (line 21) | def get_global_state(constraints): function test_unique_jumpdest (line 74) | def test_unique_jumpdest(global_state, unique): function test_module (line 92) | def test_module(global_state, has_issue): FILE: tests/cli_tests/cli_opts_test.py function test_version_opt (line 9) | def test_version_opt(capsys): FILE: tests/cmd_line_test.py function output_of (line 8) | def output_of(command): function total_output (line 20) | def total_output(command): class CommandLineToolTestCase (line 27) | class CommandLineToolTestCase(BaseTestCase): method test_disassemble_code_correctly (line 28) | def test_disassemble_code_correctly(self): method test_disassemble_solidity_file_correctly (line 32) | def test_disassemble_solidity_file_correctly(self): method test_hash_a_function_correctly (line 37) | def test_hash_a_function_correctly(self): method test_failure_json (line 41) | def test_failure_json(self): method test_failure_text (line 46) | def test_failure_text(self): method test_failure_jsonv2 (line 50) | def test_failure_jsonv2(self): method test_analyze (line 54) | def test_analyze(self): method test_analyze_bytecode (line 59) | def test_analyze_bytecode(self): method test_invalid_args_iprof (line 64) | def test_invalid_args_iprof(self): method test_only_epic (line 71) | def test_only_epic(self): FILE: tests/concolic/concolic_tests.py function output_of (line 24) | def output_of(command): function validate_simple_example (line 34) | def validate_simple_example(output, branches): function validate_multiple_example (line 45) | def validate_multiple_example(output, branches): function validate_two_contract (line 70) | def validate_two_contract(output, branches): function validate_multi_contract (line 102) | def validate_multi_contract(output, branches): function test_concolic_conditions (line 144) | def test_concolic_conditions(input_file, validate_function, branches): function test_concolic_error (line 154) | def test_concolic_error(input_file, branch): function get_pc_from_disassembler (line 167) | def get_pc_from_disassembler(concrete_data, branches): function run_concolic (line 205) | def run_concolic(input_path, output, branches): function test_validate_concolic_output (line 226) | def test_validate_concolic_output(input_file, branches): FILE: tests/disassembler/asm_test.py function test_get_opcode (line 14) | def test_get_opcode(operation_name: str, hex_value: int): function test_get_unknown_opcode (line 21) | def test_get_unknown_opcode(): function test_is_sequence_match (line 83) | def test_is_sequence_match(pattern, instruction_list, index, expected_re... function test_find_op_code_sequence (line 115) | def test_find_op_code_sequence(pattern, instruction_list, expected_result): function test_disassemble (line 123) | def test_disassemble(): FILE: tests/disassembler/disassembly_test.py function test_get_function_info (line 11) | def test_get_function_info(mocker): function test_get_function_info_multiple_names (line 30) | def test_get_function_info_multiple_names(mocker): function test_get_function_info_no_names (line 50) | def test_get_function_info_no_names(mocker): FILE: tests/disassembler_test.py class DisassemblerTestCase (line 12) | class DisassemblerTestCase(BaseTestCase): method test_instruction_list (line 13) | def test_instruction_list(self): method test_easm_from_solidity_files (line 18) | def test_easm_from_solidity_files(self): FILE: tests/evmcontract_test.py class EVMContractTestCase (line 5) | class EVMContractTestCase(BaseTestCase): method setUp (line 6) | def setUp(self): class Getinstruction_listTestCase (line 13) | class Getinstruction_listTestCase(EVMContractTestCase): method runTest (line 14) | def runTest(self): class GetEASMTestCase (line 27) | class GetEASMTestCase(EVMContractTestCase): method runTest (line 28) | def runTest(self): class MatchesExpressionTestCase (line 40) | class MatchesExpressionTestCase(EVMContractTestCase): method runTest (line 41) | def runTest(self): FILE: tests/features_test.py function test_features (line 123) | def test_features(file_name, num_funcs, func_name, field, expected_value... FILE: tests/graph_test.py function test_generate_graph (line 13) | def test_generate_graph(): FILE: tests/instructions/basefee_test.py function test_basefee (line 11) | def test_basefee(): FILE: tests/instructions/codecopy_test.py function test_codecopy_concrete (line 10) | def test_codecopy_concrete(): FILE: tests/instructions/create2_test.py function generate_salted_address (line 22) | def generate_salted_address(code_str, salt, caller): function test_create2 (line 35) | def test_create2(): FILE: tests/instructions/create_test.py function test_create (line 20) | def test_create(): FILE: tests/instructions/extcodecopy_test.py function test_extcodecopy (line 11) | def test_extcodecopy(): function test_extcodecopy_fail (line 36) | def test_extcodecopy_fail(): FILE: tests/instructions/extcodehash_test.py function test_extcodehash_no_account (line 25) | def test_extcodehash_no_account(): function test_extcodehash_no_code (line 32) | def test_extcodehash_no_code(): function test_extcodehash_return_hash (line 39) | def test_extcodehash_return_hash(): FILE: tests/instructions/push_test.py function get_state (line 13) | def get_state(input): function test_push0 (line 38) | def test_push0(inputs, output): FILE: tests/instructions/sar_test.py function get_state (line 13) | def get_state(): function test_sar (line 38) | def test_sar(inputs, output): function test_concrete_sar (line 138) | def test_concrete_sar(val1, val2, expected): FILE: tests/instructions/shl_test.py function get_state (line 13) | def get_state(): function test_shl (line 38) | def test_shl(inputs, output): function test_concrete_shl (line 113) | def test_concrete_shl(val1, val2, expected): FILE: tests/instructions/shr_test.py function get_state (line 13) | def get_state(): function test_shr (line 41) | def test_shr(inputs, output): function test_concrete_shr (line 116) | def test_concrete_shr(val1, val2, expected): FILE: tests/instructions/static_call_test.py function get_global_state (line 19) | def get_global_state(): function test_staticcall (line 45) | def test_staticcall(f1): function test_staticness (line 72) | def test_staticness(input): function test_staticness_call_concrete (line 89) | def test_staticness_call_concrete(f1, input, success): function test_staticness_call_symbolic (line 109) | def test_staticness_call_symbolic(f1): FILE: tests/integration_tests/analysis_tests.py function test_analysis (line 58) | def test_analysis(file_name, tx_data, calldata): function test_analysis_pending (line 72) | def test_analysis_pending(file_name, tx_data, calldata): function test_analysis_code (line 95) | def test_analysis_code(swc, file_path, exists): FILE: tests/integration_tests/coverage_metrics_test.py function test_basic_coverage (line 15) | def test_basic_coverage(code, exists): FILE: tests/integration_tests/old_version_test.py function test_analysis_old (line 16) | def test_analysis_old(file_name, issues): FILE: tests/integration_tests/safe_functions_test.py function test_analysis (line 33) | def test_analysis(file_name, safe_funcs, version): function test_bytecode_analysis (line 43) | def test_bytecode_analysis(file_name, safe_funcs): FILE: tests/integration_tests/solc_settings_test.py function test_positive_solc_settings (line 8) | def test_positive_solc_settings(): function test_positive_solc_args (line 18) | def test_positive_solc_args(): function test_neg_optimizer_solc_settings (line 28) | def test_neg_optimizer_solc_settings(): function test_negative_solc_settings (line 38) | def test_negative_solc_settings(): FILE: tests/integration_tests/src_mapping_test.py function test_positive_solc_settings (line 10) | def test_positive_solc_settings(): FILE: tests/integration_tests/state_merge_tests.py function output_with_stderr (line 11) | def output_with_stderr(command): function test_merge (line 29) | def test_merge(swc, code, states_reduction): FILE: tests/integration_tests/summary_test.py function test_analysis (line 97) | def test_analysis(file_name, tx_data): FILE: tests/integration_tests/transient_storage_test.py function test_positive_solc_settings (line 17) | def test_positive_solc_settings(file_name, expected_has_bug): FILE: tests/integration_tests/utils.py function output_of (line 4) | def output_of(command, stderr=None): FILE: tests/integration_tests/version_test.py function test_analysis (line 23) | def test_analysis(file_name, version, has_overflow): FILE: tests/laser/Precompiles/blake2_test.py function test_blake2 (line 42) | def test_blake2(input_hex, expected_result): FILE: tests/laser/Precompiles/ec_add_test.py function test_ec_add_sanity (line 18) | def test_ec_add_sanity(): function test_ec_add (line 25) | def test_ec_add(f1, f2, f3): FILE: tests/laser/Precompiles/ecrecover_test.py function test_ecrecover (line 58) | def test_ecrecover(input_list, expected_result): function test_ecrecover_symbol (line 62) | def test_ecrecover_symbol(): FILE: tests/laser/Precompiles/elliptic_curves_test.py function test_ec_pair_192_check (line 8) | def test_ec_pair_192_check(): function test_ec_pair (line 17) | def test_ec_pair(f1, f2, f3, f4): function test_ec_pair_point_validation_failure (line 26) | def test_ec_pair_point_validation_failure(f1): function test_ec_pair_field_exceed_mod (line 32) | def test_ec_pair_field_exceed_mod(f1): FILE: tests/laser/Precompiles/elliptic_mul_test.py function test_ec_mul (line 21) | def test_ec_mul(f1, f2, f3): function test_ec_mul_validation_failure (line 28) | def test_ec_mul_validation_failure(): FILE: tests/laser/Precompiles/identity_test.py function test_identity (line 9) | def test_identity(input_list, expected_result): FILE: tests/laser/Precompiles/mod_exp_test.py function test_modexp_result (line 58) | def test_modexp_result(data, expected): FILE: tests/laser/Precompiles/ripemd_test.py function test_ripemd160 (line 86) | def test_ripemd160(input_list, expected_result): function test_ripemd160_symbol (line 90) | def test_ripemd160_symbol(): FILE: tests/laser/Precompiles/sha256_test.py function test_sha256 (line 86) | def test_sha256(input_list, expected_result): function test_sha_symbol (line 90) | def test_sha_symbol(): FILE: tests/laser/evm_testsuite/evm_test.py function load_test_data (line 62) | def load_test_data(designations): function test_vmtest (line 107) | def test_vmtest( FILE: tests/laser/keccak_tests.py function test_keccak_basic (line 31) | def test_keccak_basic(input1, input2, expected): function test_keccak_symbol_and_val (line 42) | def test_keccak_symbol_and_val(): function test_keccak_complex_eq (line 60) | def test_keccak_complex_eq(): function test_keccak_complex_eq2 (line 85) | def test_keccak_complex_eq2(): function test_keccak_simple_number (line 111) | def test_keccak_simple_number(): function test_keccak_other_num (line 128) | def test_keccak_other_num(): FILE: tests/laser/smt/independece_solver_test.py function test_get_expr_variables (line 12) | def test_get_expr_variables(): function test_get_expr_variables_num (line 30) | def test_get_expr_variables_num(): function test_create_bucket (line 42) | def test_create_bucket(): function test_dependence_map (line 54) | def test_dependence_map(): function test_Independence_solver_unsat (line 88) | def test_Independence_solver_unsat(): function test_independence_solver_unsat_in_second_bucket (line 108) | def test_independence_solver_unsat_in_second_bucket(): function test_independence_solver_sat (line 128) | def test_independence_solver_sat(): FILE: tests/laser/smt/model_test.py function test_decls (line 6) | def test_decls(): function test_get_item (line 24) | def test_get_item(): function test_as_long (line 42) | def test_as_long(): FILE: tests/laser/state/calldata_test.py function test_concrete_calldata_uninitialized_index (line 14) | def test_concrete_calldata_uninitialized_index(starting_calldata): function test_concrete_calldata_calldatasize (line 27) | def test_concrete_calldata_calldatasize(): function test_concrete_calldata_constrain_index (line 41) | def test_concrete_calldata_constrain_index(): function test_symbolic_calldata_constrain_index (line 57) | def test_symbolic_calldata_constrain_index(): function test_symbolic_calldata_equal_indices (line 75) | def test_symbolic_calldata_equal_indices(): FILE: tests/laser/state/mstack_test.py class MachineStackTest (line 11) | class MachineStackTest(BaseTestCase): method test_mstack_constructor (line 13) | def test_mstack_constructor(): method test_mstack_append_single_element (line 18) | def test_mstack_append_single_element(): method test_mstack_append_multiple_elements (line 26) | def test_mstack_append_multiple_elements(): method test_mstack_pop (line 36) | def test_mstack_pop(): method test_mstack_no_support_add (line 45) | def test_mstack_no_support_add(): method test_mstack_no_support_iadd (line 52) | def test_mstack_no_support_iadd(): FILE: tests/laser/state/mstate_test.py function test_memory_extension (line 15) | def test_memory_extension(initial_size, start, extension_size): function test_stack_pop_too_many (line 35) | def test_stack_pop_too_many(initial_size, overflow): function test_stack_multiple_pop (line 52) | def test_stack_multiple_pop(initial_stack, amount, expected): function test_stack_multiple_pop_ (line 66) | def test_stack_multiple_pop_(): function test_stack_single_pop (line 79) | def test_stack_single_pop(): function test_memory_zeroed (line 91) | def test_memory_zeroed(): function test_memory_write (line 106) | def test_memory_write(): function test_memory_symbolic (line 129) | def test_memory_symbolic(): FILE: tests/laser/state/storage_test.py function test_concrete_storage_uninitialized_index (line 13) | def test_concrete_storage_uninitialized_index(initial_storage, key): function test_symbolic_storage_uninitialized_index (line 28) | def test_symbolic_storage_uninitialized_index(initial_storage, key): function test_storage_set_item (line 41) | def test_storage_set_item(): function test_storage_change_item (line 52) | def test_storage_change_item(): FILE: tests/laser/strategy/beam_test.py function test_priority_sum (line 47) | def test_priority_sum(state, priority): function test_elimination (line 101) | def test_elimination(states, width): FILE: tests/laser/strategy/loop_bound_test.py function test_loop_count (line 20) | def test_loop_count(trace, count): FILE: tests/laser/transaction/create_transaction_test.py function test_create (line 16) | def test_create(): function test_sym_exec (line 39) | def test_sym_exec(): FILE: tests/laser/transaction/symbolic_test.py function _is_message_call (line 18) | def _is_message_call(_, transaction, transaction_sequences): function _is_contract_creation (line 22) | def _is_contract_creation(_, transaction): function test_execute_message_call (line 29) | def test_execute_message_call(mocked_setup: MagicMock): function test_execute_contract_creation (line 56) | def test_execute_contract_creation(mocked_setup: MagicMock): FILE: tests/laser/transaction_test.py function test_intercontract_call (line 8) | def test_intercontract_call(): FILE: tests/laser/tx_prioritisation_test.py function mock_predict_proba (line 9) | def mock_predict_proba(X): class MockSolidityContract (line 18) | class MockSolidityContract: method __init__ (line 19) | def __init__(self, features): function rftp_instance (line 24) | def rftp_instance(): function test_preprocess_features (line 39) | def test_preprocess_features(rftp_instance): function test_next_method (line 55) | def test_next_method(rftp_instance, address, previous_predictions, expec... FILE: tests/mythril/mythril_analyzer_test.py function test_fire_lasers (line 15) | def test_fire_lasers(mock_sym, mock_fire_lasers, mock_code_info): FILE: tests/mythril/mythril_config_test.py function test_config_path_dynloading (line 10) | def test_config_path_dynloading(): function test_set_rpc (line 33) | def test_set_rpc(rpc_type, host, port, success): function test_dynld_config_addition (line 43) | def test_dynld_config_addition(): FILE: tests/mythril/mythril_disassembler_test.py function test_solc_install (line 68) | def test_solc_install(): FILE: tests/plugin/interface_test.py function test_construct_cli_plugin (line 4) | def test_construct_cli_plugin(): function test_construct_mythril_plugin (line 8) | def test_construct_mythril_plugin(): FILE: tests/plugin/loader_test.py function test_typecheck_load (line 7) | def test_typecheck_load(): function test_unsupported_plugin_type (line 16) | def test_unsupported_plugin_type(): FILE: tests/rpc_test.py class RpcTest (line 5) | class RpcTest(BaseTestCase): method setUp (line 8) | def setUp(self): method tearDown (line 12) | def tearDown(self): method test_eth_blockNumber (line 16) | def test_eth_blockNumber(self): method test_eth_getBalance (line 22) | def test_eth_getBalance(self): method test_eth_getStorageAt (line 30) | def test_eth_getStorageAt(self): method test_eth_getBlockByNumber (line 39) | def test_eth_getBlockByNumber(self): method test_eth_getCode (line 47) | def test_eth_getCode(self): method test_eth_getTransactionReceipt (line 54) | def test_eth_getTransactionReceipt(self): FILE: tests/solidity_contract_test.py class SolidityContractTest (line 11) | class SolidityContractTest(BaseTestCase): method test_get_source_info_without_name_gets_latest_contract_info (line 12) | def test_get_source_info_without_name_gets_latest_contract_info(self): method test_get_source_info_with_contract_name_specified (line 21) | def test_get_source_info_with_contract_name_specified(self): method test_get_source_info_with_contract_name_specified_constructor (line 33) | def test_get_source_info_with_contract_name_specified_constructor(self): FILE: tests/statespace_test.py function test_statespace_dump (line 9) | def test_statespace_dump(): FILE: tests/util_tests.py function test_sar (line 92) | def test_sar(input_, output):