Skip to content

Instantly share code, notes, and snippets.

View 0xalpharush's full-sized avatar

alpharush 0xalpharush

474 followers · 142 following
View GitHub Profile
@0xalpharush
0xalpharush / erik-meijer-books.md
Created April 23, 2024 19:23 — forked from nachocodexx/erik-meijer-books.md
Erik Meijer’s List of Recommended Books

Erik Meijer’s List of Recommended Books

  1. Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)
  2. Mathematical Theory of Programme Correctness (Prentice-Hall International series in computer science)
  3. The Haskell School of Expression: Learning Functional Programming through Multimedia
  4. LaTeX: A Document Preparation System (2nd Edition)
  5. Denotational Semantics
  6. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
  7. Programs and Machines
  8. The Denotational Description of Programming Languages: An Introduction
@0xalpharush
0xalpharush / flatten-super-calls.py
Last active December 9, 2023 21:58
from slither import Slither
from slither.slithir.operations import InternalCall, SolidityCall
from slither.core.expressions.super_call_expression import SuperCallExpression
sl = Slither("MyContract.sol")
c = sl.get_contract_from_name("MyContract")[0]
def get_super_calls(x):
super_call_content = ""
@0xalpharush
0xalpharush / slither-dataflow-analysis.py
Created December 5, 2023 03:18
from typing import List, Dict, Set
from slither.core.cfg.node import NodeType, Node
from slither.slithir.variables import LocalIRVariable
from slither.core.variables.local_variable import LocalVariable
from slither.detectors.abstract_detector import AbstractDetector, DetectorClassification
from slither.slithir.operations import OperationWithLValue, Operation
@0xalpharush
0xalpharush / gist:4ca82f998263bcb3969b8caf816daccd
Last active October 19, 2023 03:04
Configuring llvm

Using LLVM from brew installation instead of XCode

PATH="/opt/homebrew/opt/llvm/bin${PATH:+:${PATH}}"; export PATH;

It should return something like:

$clang --version                           
Homebrew clang version 16.0.6
Target: arm64-apple-darwin22.6.0
Thread model: posix
@0xalpharush
0xalpharush / external_calls.py
Last active December 7, 2023 21:12
# python3 external_calls.py .
# python3 external_calls.py file.sol
# python3 external_calls.py 0xdead
import sys
from slither import Slither
from slither.slithir.operations import HighLevelCall
sl = Slither(sys.argv[1])
for contract in sl.contracts_derived:
@0xalpharush
0xalpharush / eip-1153 reentrancy protections.md
Created April 28, 2023 17:31

Do you write smart contracts? Want them to be safe and efficient? Read on!

The state of smart contract languages could historically be categorized as lacking constructs that drive programmers to write safe code and being inefficient due to poor optimizations. Oftentimes, programmers write lower level code riddled with footguns in pursuit of gas savings. What if safety and efficiency weren’t at odds?

Here’s how we can eliminate an entire class of bugs without spending an exorbitant amount of gas on safety checks thanks to EIP-1153!

For example, take the following smart contract (Figure 1) which exhibits “read-only reentrancy”. Currently, nothing prevents the following call sequence from succeeding despite there being ambiguity about what value will be returned by DataRace.price during call sequence, X.

Callstack [DataRace.withdraw, msg.sender, X, token.transfer]

@0xalpharush
0xalpharush / example-checklist.md
Created November 7, 2022 03:59

Generated with:

slither tests/detectors/constable-states/0.8.0/const_state_variables.sol --detect constable-states --checklist --markdown-root https://github.com/crytic/slither/blob/faed6d7fb2039c231d4631dbed625c7c3d6ae6b5/

Summary

constable-states

Impact: Optimization Confidence: High

  • ID-0
@0xalpharush
0xalpharush / struct_pop.sol
Created May 13, 2022 04:11
pragma solidity =0.8.13;
contract Test {
struct MyStruct{
uint num;
bytes32 info;
}
MyStruct[] myStruct;
function add(uint a, bytes32 b) external {
myStruct.push(MyStruct({num: a, info: b}));
}
@0xalpharush
0xalpharush / ir.py
Created April 26, 2022 20:03
# add this to your hardhat config
# compilers: [
# {
# version: "0.8.13",
# settings: {
# viaIR: true,
# outputSelection: {
# "*": {
# "*": ["irOptimized"],
# },
@0xalpharush
0xalpharush / slither-read-storage-usage
Created December 3, 2021 01:55
slither-read-storage rinkeby:0x172eaee7020f12b2e98f6bfd3be95a1be363fd82 ZETA --key 1 --struct-var b --rpc-url https://rinkeby.infura.io/v3/$INFURA --etherscan-apikey $SCAN
slither-read-storage rinkeby:0x172eaee7020f12b2e98f6bfd3be95a1be363fd82 ALPHA --rpc-url https://rinkeby.infura.io/v3/$INFURA --etherscan-apikey $SCAN
slither-read-storage rinkeby:0x172eaee7020f12b2e98f6bfd3be95a1be363fd82 BETA --rpc-url https://rinkeby.infura.io/v3/$INFURA --etherscan-apikey $SCAN
slither-read-storage rinkeby:0x172eaee7020f12b2e98f6bfd3be95a1be363fd82 IOTA --rpc-url https://rinkeby.infura.io/v3/$INFURA --etherscan-apikey $SCAN
slither-read-storage rinkeby:0x172eaee7020f12b2e98f6bfd3be95a1be363fd82 GAMMA --rpc-url https://rinkeby.infura.io/v3/$INFURA --etherscan-apikey $SCAN
slither-read-storage rinkeby:0xb1e6a2d5234c1bdcd44a38b7de2b06b5205ef609 ETA --key 0xb1e6a2d5234c1bdcd44a38b7de2b06b5205ef609 --deep-key 1 --struct-var a --rpc-url https://rinkeby.infura.io/v3/$INFURA --etherscan-apikey $SCAN
slither-read-storage rinkeby: