Index - I
| ifTallEnough | EVM.TTY |
| IllegalOverflow | |
| 1 (Data Constructor) | EVM.Types |
| 2 (Data Constructor) | EVM |
| immutableLocations | EVM.Dapp |
| immutableReferences | EVM.Solidity |
| Inconsistent | EVM |
| InconsistentU | EVM |
| 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 |
| initialContract | EVM |
| initialExplorationStepper | EVM.UnitTest |
| initializeUnitTest | EVM.UnitTest |
| InitialS | EVM |
| 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 |
| interpretWithCoverage | EVM.UnitTest |
| Invalid | EVM.Types |
| InvalidFormat | EVM |
| InvalidMemoryAccess | |
| 1 (Data Constructor) | EVM.Types |
| 2 (Data Constructor) | EVM |
| InvariantTest | EVM.Dapp |
| IOAct | EVM.Stepper |
| isCreate | EVM |
| isErr | EVM.SMT |
| isExecutionHalted | EVM.TTY |
| isFuzzTest | EVM.TTY |
| isLitByte | EVM.Expr |
| isLitWord | EVM.Expr |
| isNewTraceAdded | EVM.TTY |
| isNextSourcePosition | EVM.TTY |
| isNextSourcePositionWithoutEntering | EVM.TTY |
| isQed | EVM.SymExec |
| isSat | EVM.SMT |
| isStorageVariableDeclaration | EVM.StorageLayout |
| istanbul | EVM.FeeSchedule |
| IsUnique | EVM |
| isUnitTestContract | EVM.TTY |
| isUnsat | EVM.SMT |
| IsZero | EVM.Types |
| isZero | EVM |
| iszero | EVM.Expr |
| ITE | EVM.Types |
| itemInfo | EVM.RLP |
| iterations | EVM |