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 |