Index - I
| ifTallEnough | EVM.TTY |
| 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 |
| InitCode | EVM.Types |
| initialContract | EVM |
| initialExplorationStepper | EVM.UnitTest |
| initializeUnitTest | EVM.UnitTest |
| InitialS | EVM.Types |
| initialUiVmStateForTest | EVM.TTY |
| initialUnitTestVm | EVM.UnitTest |
| initTx | EVM.Transaction |
| initUiVmState | EVM.TTY |
| initVm | EVM.Dev |
| inRange | EVM.SymExec |
| insert | EVM.Patricia |
| insertDB | EVM.Patricia |
| insertRef | EVM.Patricia |
| insertTrace | EVM |
| insertValues | EVM.Patricia |
| Int512 | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| interpret | |
| 1 (Function) | EVM.Stepper |
| 2 (Function) | EVM.SymExec |
| 3 (Function) | EVM.TTY |
| interpret1DArray | EVM.SMT |
| interpret2DArray | EVM.SMT |
| interpretNDArray | EVM.SMT |
| interpretWithCoverage | EVM.UnitTest |
| intToOpName | EVM.Op |
| InvalidFormat | EVM.Types |
| InvalidMemoryAccess | EVM.Types |
| InvariantTest | EVM.Dapp |
| IOAct | EVM.Stepper |
| isCex | EVM.SymExec |
| isErr | EVM.Solvers |
| isExecutionHalted | EVM.TTY |
| isFuzzTest | EVM.TTY |
| isLitByte | EVM.Expr |
| isLitWord | EVM.Expr |
| isLoopHead | EVM.SymExec |
| isNewTraceAdded | EVM.TTY |
| isNextSourcePosition | EVM.TTY |
| isNextSourcePositionWithoutEntering | EVM.TTY |
| isPartial | EVM.SymExec |
| isQed | EVM.SymExec |
| isSat | EVM.Solvers |
| isStorageVariableDeclaration | EVM.StorageLayout |
| istanbul | EVM.FeeSchedule |
| isTimeout | EVM.SymExec |
| isUnitTestContract | EVM.TTY |
| isUnsat | EVM.Solvers |
| isValidJumpDest | EVM |
| IsZero | EVM.Types |
| isZero | EVM |
| iszero | EVM.Expr |
| ITE | EVM.Types |
| itemInfo | EVM.RLP |