Index - C
| C | EVM.Types |
| CAbi | EVM.ABI |
| Cache | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| callChecks | EVM |
| CallContext | EVM.Types |
| CalldataFragment | EVM.SymExec |
| CallDepthLimitReached | 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 |
| checkCommand | EVM.Solvers |
| 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 |
| CodeHash | EVM.Types |
| codelen | EVM |
| codeloc | EVM |
| CodeLocation | EVM.Types |
| CodeSize | EVM.Types |
| CodeType | EVM.Solidity |
| Coinbase | EVM.Types |
| collapse | EVM.SMT |
| CollectBufs | |
| 1 (Type/Class) | EVM.Fuzz |
| 2 (Data Constructor) | EVM.Fuzz |
| CollectStorage | |
| 1 (Type/Class) | EVM.Fuzz |
| 2 (Data Constructor) | EVM.Fuzz |
| CollectVars | |
| 1 (Type/Class) | EVM.Fuzz |
| 2 (Data Constructor) | EVM.Fuzz |
| collision | EVM |
| CombinedJSON | EVM.Solidity |
| 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 |
| concKeccakOnePass | EVM.Expr |
| concKeccakProps | EVM.Expr |
| concKeccakSimpExpr | EVM.Expr |
| Concrete | EVM.Types |
| ConcreteBuf | EVM.Types |
| ConcreteMemory | EVM.Types |
| concreteModexpGasFee | EVM |
| concretePrefix | EVM.Expr |
| ConcreteRuntimeCode | EVM.Types |
| ConcreteStore | EVM.Types |
| Config | |
| 1 (Type/Class) | EVM.Effects |
| 2 (Data Constructor) | EVM.Effects |
| constFoldProp | EVM.Expr |
| ConstState | |
| 1 (Type/Class) | EVM.Expr |
| 2 (Data Constructor) | EVM.Expr |
| containsLinkerHole | EVM.Solidity |
| containsNode | EVM.Expr |
| Contract | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| ContractCode | EVM.Types |
| 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.Types |
| costOfCreate | EVM.Types |
| costOfPrecompile | EVM |
| create | EVM |
| create2Address | |
| 1 (Function) | EVM.Concrete |
| 2 (Function) | EVM |
| createAddress | |
| 1 (Function) | EVM.Concrete |
| 2 (Function) | EVM |
| Creation | EVM.Solidity |
| CreationContext | EVM.Types |
| currentContract | EVM |
| Custom | EVM.Solvers |
| CVC5 | EVM.Solvers |