Index - C
| CAbi | EVM.ABI |
| Cache | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| cacheFacts | EVM.Facts |
| calcRoot | EVM.Patricia |
| Call | EVM.Types |
| callChecks | EVM |
| CallCode | EVM.Types |
| CallContext | EVM.Types |
| CalldataFragment | EVM.SymExec |
| CallDepthLimitReached | EVM.Types |
| Caller | EVM.Types |
| CallValue | EVM.Types |
| Case | EVM.Types |
| cdLen | EVM.SymExec |
| ceilDiv | EVM |
| Cex | EVM.SymExec |
| CexVars | |
| 1 (Type/Class) | EVM.SMT |
| 2 (Data Constructor) | EVM.SMT |
| ChainId | EVM.Types |
| 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.Solvers |
| CheckSatResult | EVM.Solvers |
| checkSymFailures | EVM.UnitTest |
| Choose | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| choose | EVM |
| Code | |
| 1 (Type/Class) | EVM.Dapp |
| 2 (Data Constructor) | EVM.Dapp |
| CodeFact | EVM.Facts |
| codelen | EVM |
| codeloc | EVM |
| CodeLocation | EVM.Types |
| CodeSize | EVM.Types |
| CodeType | EVM.Solidity |
| Coinbase | EVM.Types |
| collapse | EVM.SMT |
| collision | EVM |
| combineFragments | EVM.SymExec |
| Comp | |
| 1 (Data Constructor) | EVM.SMT |
| 2 (Data Constructor) | EVM.SymExec |
| compareCode | EVM.Dapp |
| CompressedBuf | EVM.SMT |
| concatBytes | EVM.SMT |
| concatMapM | EVM.Types |
| concPrefix | EVM.Expr |
| ConcreteBuf | EVM.Types |
| concreteModexpGasFee | EVM |
| ConcreteRuntimeCode | EVM.Types |
| ConcreteS | EVM.Types |
| ConcreteStore | EVM.Types |
| ConcreteTest | EVM.Dapp |
| containsLinkerHole | EVM.Solidity |
| containsNode | EVM.Expr |
| Continuation | EVM.TTY |
| Continue | EVM.TTY |
| Contract | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| ContractCode | EVM.Types |
| contractFacts | EVM.Facts |
| contractNamePart | EVM.Format |
| contractPathPart | EVM.Format |
| Contracts | |
| 1 (Type/Class) | EVM.Solidity |
| 2 (Data Constructor) | EVM.Solidity |
| 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 |
| Create | EVM.Types |
| create | EVM |
| Create2 | EVM.Types |
| create2Address | EVM.Concrete |
| createAddress | EVM.Concrete |
| Creation | EVM.Solidity |
| CreationContext | EVM.Types |
| currentContract | EVM |
| currentOpLocation | EVM.UnitTest |
| currentSrcMap | EVM.TTY |
| Custom | EVM.Solvers |
| CVC5 | EVM.Solvers |