Fix bug with flags during benchmark execution in Python scripts.#51

Merged

VincenzoArceri merged 144 commits intomasterfrom

bug-fix-benchmark-script

May 7, 2025

Commits on Mar 12, 2025

Commits on Mar 17, 2025

Merge branch 'refactoring' of github.com:lisa-analyzer/evm-lisa into cross-chain-analysis
merendamattia
committed
Merge branch 'refactoring' of github.com:lisa-analyzer/evm-lisa into cross-chain-analysis
merendamattia
committed
Implemented getSanitizedOpcode in cross-chain abstract domain
merendamattia
committed
Implemented isTainted(Statement) given a Statement in TaintAbstractDomain, updated sub-classes
merendamattia
committed
Added a dummy bridge to simulate a Time synchronization vulnerability
merendamattia
committed
Minor changes
merendamattia
committed
Added new contract and events for time synchronization vulnerability, updated existing contracts and match-file index.
merendamattia
committed
Added bytecodes and ABIs
merendamattia
committed
Added TimeSynchronizationAbstractDomain for cross-chain taint analysis
merendamattia
committed

Commits on Mar 18, 2025

Merge from origin/refactoring
merendamattia
committed

Commits on Mar 23, 2025

Optimized EventOrderChecker: added reachability check without SSTORE operation instead of 2 dfs'
merendamattia
committed

Commits on Mar 24, 2025

Commits on Mar 25, 2025

Commits on Mar 26, 2025

Commits on Mar 27, 2025

Commits on Mar 30, 2025

Commits on Apr 1, 2025

Commits on Apr 6, 2025

Commits on Apr 7, 2025

Enhanced time synchronization vulnerability tracking by adding possible warnings, updated VulnerabilitiesObject and MyCache to include possible time synchronization warnings.
merendamattia
committed

Commits on Apr 10, 2025

Commits on Apr 11, 2025

Commits on Apr 12, 2025

Commits on Apr 18, 2025

Commits on Apr 29, 2025

Updated filepath handling and analysis result checks.
merendamattia
committed

Commits on May 1, 2025