Index - B
| 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 |
| 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 |
| Byte | EVM.Types |
| bytecode | EVM |
| bytesToW256 | EVM.Expr |
| ByteStringS | |
| 1 (Type/Class) | EVM.Types |
| 2 (Data Constructor) | EVM.Types |
| byteStringSliceWithDefaultZeroes | EVM.Concrete |