Index - I
| ifTallEnough | EVM.TTY |
| IllegalOverflow | EVM |
| immutableLocations | EVM.Dapp |
| Inconsistent | EVM |
| InconsistentU | EVM |
| indent | EVM.Format |
| indentLines | EVM.UnitTest |
| index | EVM.Symbolic |
| Indexed | |
| 1 (Type/Class) | EVM.ABI |
| 2 (Data Constructor) | EVM.ABI |
| InitCode | EVM |
| initialContract | EVM |
| initialExplorationStepper | EVM.UnitTest |
| initializeUnitTest | EVM.UnitTest |
| InitialS | EVM |
| initialStateForTest | EVM.Emacs |
| initialUiVmStateForTest | EVM.TTY |
| initialUnitTestVm | EVM.UnitTest |
| initTx | EVM.Transaction, EVM.VMTest |
| initUiVmState | EVM.TTY |
| 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 |
| 4 (Function) | EVM.Emacs |
| interpret' | EVM.SymExec |
| interpretWithCoverage | EVM.UnitTest |
| interpretWithTrace | EVM.Dev |
| InvalidFormat | EVM |
| InvalidMemoryAccess | EVM |
| InvariantTest | EVM.Dapp |
| IOAct | EVM.Stepper |
| isCreate | EVM |
| isExecutionHalted | EVM.TTY |
| isFuzzTest | EVM.TTY |
| isNewTraceAdded | EVM.TTY |
| isNextSourcePosition | |
| 1 (Function) | EVM.TTY |
| 2 (Function) | EVM.Emacs |
| isNextSourcePositionWithoutEntering | EVM.TTY |
| isPrintable | EVM.Format |
| isStorageVariableDeclaration | EVM.StorageLayout |
| istanbul | EVM.FeeSchedule |
| IsUnique | EVM |
| isUnitTestContract | EVM.TTY |
| IsZero | EVM.Types |
| isZero | EVM |
| ITE | EVM.Types |
| itemInfo | EVM.RLP |
| iterations | EVM |
| iteWhiff | EVM.Types |