karmacoma-eth

from z3 import *

selector = BitVec('selector', 32)
expr = 107 + 4 * (selector % 16)
codesize = 128

s = Solver()
s.add(expr < codesize)

possible_jump_table_values = set([])

karmacoma-eth

from dataclasses import dataclass
from typing import Tuple

bytes32 = int
address = int

@dataclass
class Context:
    context_address: address

karmacoma-eth

# from https://twitter.com/0xYYY_/status/1562091599731228672

# put this before `source $ZSH/oh-my-zsh.sh`
FOUNDRY_PLUGIN_DIR=${ZSH_CUSTOM:-${ZSH:-~/.oh-my-zsh}/custom}/plugins/foundry
fpath+=$FOUNDRY_PLUGIN_DIR

fup () {
	if ! command -v foundryup &> /dev/null
	then
		echo "Install foundryup first: https://getfoundry.sh"

karmacoma-eth

Sending Ether Cheat Sheet

TLDR

🥇 Instead of sending Ether, use the withdrawal pattern

🥈 If you really need to send Ether, use a safe wrapper like OpenZeppelin's Address.sendValue(addr, amount)

🥉 If you really need to send Ether without dependencies, use (bool success, ) = addr.call{value: amount}("")