BadCheatCode | EVM.Types |
BadJumpDestination | EVM.Types |
Balance | EVM.Types |
BalanceTooLow | EVM.Types |
Base | EVM.SMT |
BaseFee | EVM.Types |
BaseState | EVM.Types |
Bitwuzla | EVM.Solvers |
blankState | EVM |
Block | |
1 (Type/Class) | EVM.Types |
2 (Data Constructor) | EVM.Types |
BlockHash | EVM.Types |
BlockNumber | |
1 (Data Constructor) | EVM.Types |
2 (Type/Class) | EVM.Fetch |
3 (Data Constructor) | EVM.Fetch |
bool | EVM.SymExec |
both' | EVM.SymExec |
branch | EVM.Types |
BranchCondition | EVM.Types |
BS | EVM.RLP |
bssToBs | EVM.Types |
bsToHex | EVM.Format |
Buf | EVM.Types |
BufEnv | EVM.CSE |
BufLength | EVM.Types |
bufLength | EVM.Expr |
bufLengthEnv | EVM.Expr |
BufModel | EVM.SMT |
BufVar | EVM.Types |
BuildOutput | |
1 (Type/Class) | EVM.Solidity |
2 (Data Constructor) | EVM.Solidity |
burn | EVM |
burn' | EVM.Types |
burnCalldatacopy | EVM.Types |
burnCodecopy | EVM.Types |
burnExp | EVM.Types |
burnExtcodecopy | EVM.Types |
burnLog | EVM.Types |
burnReturndatacopy | EVM.Types |
burnSha3 | EVM.Types |
Byte | EVM.Types |
bytecode | EVM |
bytesToW256 | EVM.Expr |
ByteStringS | |
1 (Type/Class) | EVM.Types |
2 (Data Constructor) | EVM.Types |
byteStringSliceWithDefaultZeroes | EVM.Concrete |