Index - I
| idsDontMatch | EVM.Expr |
| IllegalOverflow | EVM.Types |
| indent | EVM.Format |
| indentLines | EVM.UnitTest |
| Indexed | |
| 1 (Type/Class) | EVM.ABI |
| 2 (Data Constructor) | EVM.ABI |
| IndexWord | EVM.Types |
| indexWord | EVM.Expr |
| initBufsState | EVM.Fuzz |
| InitCode | EVM.Types |
| initialContract | EVM |
| initialGas | EVM.Types |
| initializeUnitTest | EVM.UnitTest |
| initialUnitTestVm | EVM.UnitTest |
| initStorageState | EVM.Fuzz |
| initTx | EVM.Transaction |
| initVarsState | EVM.Fuzz |
| inRange | EVM.Expr |
| insertTrace | EVM |
| Int512 | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| internalError | EVM.Types |
| interpret | |
| 1 (Function) | EVM.Stepper |
| 2 (Function) | EVM.SymExec |
| interpret1DArray | EVM.SMT |
| interpretNDArray | EVM.SMT |
| intToOpName | EVM.Op |
| InvalidFormat | EVM.Types |
| InvalidMemoryAccess | EVM.Types |
| IOAct | EVM.Stepper |
| isCex | EVM.SymExec |
| isCreation | EVM |
| isErr | EVM.Solvers |
| isFailure | EVM.Expr |
| isLitByte | EVM.Expr |
| isLitWord | EVM.Expr |
| isLoopHead | EVM.SymExec |
| isPartial | |
| 1 (Function) | EVM.Expr |
| 2 (Function) | EVM.SymExec |
| isPBool | EVM.Types |
| isPrecompileAddr | EVM |
| isQed | EVM.SymExec |
| isSat | EVM.Solvers |
| isSt | EVM.SymExec |
| isSuccess | EVM.Expr |
| isTimeout | EVM.SymExec |
| isUnsat | EVM.Solvers |
| isValidJumpDest | EVM |
| IsZero | EVM.Types |
| isZero | EVM |
| iszero | EVM.Expr |
| ITE | EVM.Types |
| itemInfo | EVM.RLP |