Index - C
| CAbi | EVM.ABI |
| Cache | |
| 1 (Type/Class) | EVM |
| 2 (Data Constructor) | EVM |
| cache | EVM |
| cacheFacts | EVM.Facts |
| calcRoot | EVM.Patricia |
| Call | EVM.Types |
| callChecks | EVM |
| CallCode | EVM.Types |
| CallContext | EVM |
| callContextAbi | EVM |
| callContextCodehash | EVM |
| callContextContext | EVM |
| callContextData | EVM |
| callContextOffset | EVM |
| callContextReversion | EVM |
| callContextSize | EVM |
| callContextSubState | EVM |
| callContextTarget | EVM |
| calldata | EVM |
| CalldataFragment | EVM.SymExec |
| calldataV | EVM.SMT |
| CallDepthLimitReached | EVM |
| Caller | EVM.Types |
| caller | EVM |
| CallValue | EVM.Types |
| callvalue | EVM |
| Case | EVM |
| cdLen | EVM.SymExec |
| ceilDiv | EVM |
| Cex | EVM.SymExec |
| CexVars | |
| 1 (Type/Class) | EVM.SMT |
| 2 (Data Constructor) | EVM.SMT |
| ChainId | EVM.Types |
| chainId | EVM |
| cheat | EVM |
| CheatAction | EVM |
| cheatActions | EVM |
| cheatCode | EVM |
| checkAssert | EVM.SymExec |
| checkAssertions | EVM.SymExec |
| checkBranch | EVM.Fetch |
| checkEquiv | EVM.Dev |
| checkFailures | EVM.UnitTest |
| checkJump | EVM |
| checkSat | EVM.SMT |
| CheckSatResult | EVM.SMT |
| checkSymFailures | EVM.UnitTest |
| Choose | |
| 1 (Type/Class) | EVM |
| 2 (Data Constructor) | EVM |
| Code | |
| 1 (Type/Class) | EVM.Dapp |
| 2 (Data Constructor) | EVM.Dapp |
| code | EVM |
| codeContract | EVM |
| CodeFact | EVM.Facts |
| codehash | EVM |
| codelen | EVM |
| codeloc | EVM |
| CodeLocation | EVM |
| codeOps | EVM |
| CodeSize | EVM.Types |
| CodeType | EVM.Solidity |
| Coinbase | EVM.Types |
| coinbase | EVM |
| collision | EVM |
| combineFragments | EVM.SymExec |
| Comp | EVM.SymExec |
| compareCode | EVM.Dapp |
| concatBytes | EVM.SMT |
| concatMapM | EVM.Types |
| concPrefix | EVM.Expr |
| Concrete | EVM |
| ConcreteBuf | EVM.Types |
| concreteModexpGasFee | EVM |
| ConcreteRuntimeCode | EVM |
| ConcreteS | EVM |
| ConcreteStore | EVM.Types |
| ConcreteTest | EVM.Dapp |
| constraints | EVM |
| constructorInputs | EVM.Solidity |
| containsA | EVM.SymExec |
| containsLinkerHole | EVM.Solidity |
| contextEnv | EVM.Dapp |
| contextInfo | EVM.Dapp |
| Continuation | EVM.TTY |
| Continue | EVM.TTY |
| Contract | |
| 1 (Type/Class) | EVM |
| 2 (Data Constructor) | EVM |
| contract | EVM |
| ContractCode | EVM |
| contractcode | EVM |
| contractFacts | EVM.Facts |
| contractName | EVM.Solidity |
| contractNamePart | EVM.Format |
| contractPathPart | EVM.Format |
| contracts | EVM |
| copyBytesToMemory | EVM |
| copyCallBytesToMemory | EVM |
| CopySlice | EVM.Types |
| copySlice | |
| 1 (Function) | EVM.Expr |
| 2 (Function) | EVM.SMT |
| costOfCall | EVM |
| costOfCreate | EVM |
| costOfPrecompile | EVM |
| coverageForUnitTestContract | EVM.UnitTest |
| coverageReport | EVM.UnitTest |
| CoverageState | EVM.UnitTest |
| covMatch | EVM.UnitTest |
| Create | EVM.Types |
| create | EVM |
| Create2 | EVM.Types |
| create2Address | EVM.Concrete |
| createAddress | EVM.Concrete |
| Creation | EVM.Solidity |
| creationCode | EVM.Solidity |
| creationCodehash | EVM.Solidity |
| CreationContext | EVM |
| creationContextAddress | EVM |
| creationContextCodehash | EVM |
| creationContextReversion | EVM |
| creationContextSubstate | EVM |
| creationSrcmap | EVM.Solidity |
| currentContract | EVM |
| currentOpLocation | EVM.UnitTest |
| currentSrcMap | EVM.TTY |
| Custom | EVM.SMT |
| CVC5 | EVM.SMT |