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 |