Skip to content

Taint abstract domain for EVM bytecode, tx.origin and timestamp dependency checker#33

Merged
VincenzoArceri merged 120 commits intomasterfrom
taint-domain
Feb 20, 2025
Merged

Taint abstract domain for EVM bytecode, tx.origin and timestamp dependency checker#33
VincenzoArceri merged 120 commits intomasterfrom
taint-domain

Commits

Commits on Dec 4, 2024

Commits on Dec 5, 2024

Commits on Dec 11, 2024

Commits on Dec 16, 2024

Commits on Dec 17, 2024

Commits on Dec 20, 2024

Commits on Dec 26, 2024

Commits on Jan 8, 2025

Commits on Jan 14, 2025

Commits on Jan 25, 2025

Commits on Jan 28, 2025

Commits on Jan 29, 2025

Commits on Jan 30, 2025

Commits on Feb 12, 2025

Commits on Feb 13, 2025

Commits on Feb 14, 2025

Commits on Feb 15, 2025

Commits on Feb 20, 2025