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 |
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 |
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 |