Skip to content

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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
VincenzoArceri merged 144 commits into from
May 7, 2025
Merged

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

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
144 commits
Select commit Hold shift + click to select a range
27c35fd
Merge from origin/cross-chain-analysis-old
merendamattia Mar 12, 2025
283c4a5
Restored cross-chain checkers from origin/cross-chain-analysis-old
merendamattia Mar 12, 2025
7de51a0
Restored cross-chain checkers runs and vulnerabilities prints from or…
merendamattia Mar 12, 2025
870a773
Merge branch 'refactoring' of github.com:lisa-analyzer/evm-lisa into …
merendamattia Mar 17, 2025
b7335ad
Merge branch 'refactoring' of github.com:lisa-analyzer/evm-lisa into …
merendamattia Mar 17, 2025
9510da5
Implemented getSanitizedOpcode in cross-chain abstract domain
merendamattia Mar 17, 2025
ec01847
Implemented isTainted(Statement) given a Statement in TaintAbstractDo…
merendamattia Mar 17, 2025
94ca0ca
Added a dummy bridge to simulate a Time synchronization vulnerability
merendamattia Mar 17, 2025
47ba746
Minor changes
merendamattia Mar 17, 2025
9769ec7
Added new contract and events for time synchronization vulnerability,…
merendamattia Mar 17, 2025
eb570ec
Added bytecodes and ABIs
merendamattia Mar 17, 2025
88dac93
Added TimeSynchronizationAbstractDomain for cross-chain taint analysis
merendamattia Mar 17, 2025
6f4faf9
Merge from origin/refactoring
merendamattia Mar 18, 2025
a4c9379
Merge branch 'refactoring' of github.com:lisa-analyzer/evm-lisa into …
merendamattia Mar 19, 2025
609d9e3
Refactored logging statements for consistency and clarity
merendamattia Mar 19, 2025
b752dea
Added (first draft of) time synchronization checker and related metho…
merendamattia Mar 19, 2025
d92ddee
Changed analysis graph type from HTML to DOT in LiSAConfigurationManager
merendamattia Mar 19, 2025
68ce391
Merge from refactoring
merendamattia Mar 22, 2025
e405e85
Minor changes
merendamattia Mar 22, 2025
2af51e8
Refactored SmartContract and xEVMLiSA for improved event handling and…
merendamattia Mar 22, 2025
f74b993
Added method to check reachability across cross-chain edges
merendamattia Mar 22, 2025
6d62447
Added vulnerabilities tracking to Bridge and updated JSON output
merendamattia Mar 22, 2025
be8794e
Added Time Synchronization checker
merendamattia Mar 22, 2025
18387d6
Optimized EventOrderChecker: added reachability check without SSTORE …
merendamattia Mar 23, 2025
8248f17
Added dummy bridge implementation with multiple contracts and vulnera…
merendamattia Mar 24, 2025
5a1a13e
Added method to check if any (or a set of) TaintElement is tainted or…
merendamattia Mar 24, 2025
9e792e2
Refactored TaintElement checks in TimeSynchronizationChecker and Vuln…
merendamattia Mar 24, 2025
9c9537f
Refactor reachability checks to allow avoidance of specified statemen…
merendamattia Mar 24, 2025
15c5867
Enhanced UncheckedExternalInfluenceChecker to handle Jumpi statements…
merendamattia Mar 24, 2025
9e043d4
Refactored UncheckedStateUpdateChecker to simplify taint checks and e…
merendamattia Mar 24, 2025
b7579db
Refactored TimestampDependencyChecker in RandomnessDependencyDepende…
merendamattia Mar 24, 2025
c2e8d09
Removed wrong taint opcodes from UncheckedExternalInfluenceAbstractDo…
merendamattia Mar 24, 2025
807128c
Removed wrong taint opcodes from UncheckedExternalInfluenceAbstractDo…
merendamattia Mar 24, 2025
ab06ec3
Restored RandomnessDependencyChecker to simplify warning handling and…
merendamattia Mar 24, 2025
7e5eed2
Added SmartAxe dataset manually labeled source files
merendamattia Mar 24, 2025
9b6d992
Implemented caching for reachableFromWithoutTypes method to improve p…
merendamattia Mar 24, 2025
c186713
Added name property to Bridge class
merendamattia Mar 24, 2025
f389f14
Increased capacity of _reachableFrom LRUMap to improve cache performance
merendamattia Mar 24, 2025
77ceb3a
Refactored runAnalysis and analyzeBridge methods for improved logging…
merendamattia Mar 24, 2025
798ccde
Added SmartaxeBenchmark class for analyzing manually labeled bridges …
merendamattia Mar 24, 2025
fd8281f
Updated log4j2 configuration to include class name in log output for …
merendamattia Mar 24, 2025
077cf9e
Removed cfg field from taint domain
VincenzoArceri Mar 25, 2025
e01319c
Enhance randomness dependency checks by adding methods to identify po…
merendamattia Mar 25, 2025
8180f2a
Updated references in SmartaxeBenchmark
merendamattia Mar 25, 2025
f4cc376
Enhanced logging in EVMLiSA, added help formatter for invalid options
merendamattia Mar 25, 2025
637ea22
Added javadoc, removed unused methods
merendamattia Mar 25, 2025
ec1f358
Removed vulnerabilities setting from bridge, tracked cache usage count
merendamattia Mar 25, 2025
3df4044
Added logging for cache usage in SmartaxeBenchmark
merendamattia Mar 25, 2025
7f97c50
Fixing mk methods of cross-chain abstract domains
VincenzoArceri Mar 25, 2025
8331caa
Fixed vulnerability analysis to correctly sum vulnerabilities by type
merendamattia Mar 25, 2025
ac0500d
Merge remote-tracking branch 'origin/cross-chain-analysis' into cross…
merendamattia Mar 25, 2025
8a223cc
Fixed CalldatacopyOperator semantic in TaintAbstractDomain
merendamattia Mar 25, 2025
7b04bf6
Added EVMLiSAExecutor for task management, refactored SmartaxeBenchma…
merendamattia Mar 26, 2025
cec8475
Refactored VulnerabilitiesObject to lazily initialize vulnerabilities…
merendamattia Mar 26, 2025
c94d944
Apply spotless
merendamattia Mar 26, 2025
2033fff
Minor changes
merendamattia Mar 26, 2025
1b13026
Added possible warning in tx.origin checker
merendamattia Mar 26, 2025
4cca707
Added possible warning in unchecked external influence checker
merendamattia Mar 26, 2025
2c28636
Minor changes
merendamattia Mar 26, 2025
c91c689
Added possible warning in unchecked state update checker
merendamattia Mar 26, 2025
0189836
Implementation SIVChecker and SIVAbstarctState
PaoloGiacosa Mar 26, 2025
b9d3d9b
Added methods to retrieve basic blocks in EVMCFG
merendamattia Mar 26, 2025
0d00e4d
Added dataset of SmartAxe benchmark
merendamattia Mar 26, 2025
a179aa4
Minor changes
merendamattia Mar 26, 2025
38fe0c5
Added openzeppelin library
merendamattia Mar 27, 2025
f334051
Updated scripts
merendamattia Mar 27, 2025
9ea3864
Updated datasets
merendamattia Mar 27, 2025
693dc54
Updated datasets
merendamattia Mar 27, 2025
50eb5f6
Updated datasets
merendamattia Mar 27, 2025
74fcd55
Minor changes
merendamattia Mar 27, 2025
18197e8
Added new dataset in SmartaxeBenchmark
merendamattia Mar 27, 2025
cafa894
Updated datasets
merendamattia Mar 27, 2025
5800183
Minor changes
merendamattia Mar 27, 2025
e57efc5
MyCache class updated with SIV methods
PaoloGiacosa Mar 27, 2025
db7531b
added method runSemanticIntegrityChecker to xEVMLiSA class
PaoloGiacosa Mar 27, 2025
5ac9f9c
Business logic changes in class SemanticIntegrityViolationChecker.java
PaoloGiacosa Mar 27, 2025
525de1d
Added openzeppelin contracs
merendamattia Mar 28, 2025
5c6bf13
Fixing compilation error
VincenzoArceri Mar 28, 2025
a07ea01
Apply spotless
VincenzoArceri Mar 28, 2025
b1c0402
Updated datasets
merendamattia Mar 28, 2025
ea10689
Computed 'tainted' JUMPI before executing the semantic integrity
VincenzoArceri Mar 28, 2025
c72828f
Apply spotless
VincenzoArceri Mar 28, 2025
97b3dae
Minor
merendamattia Mar 29, 2025
f8ec591
Merge branch 'cross-chain-analysis' of github.com:lisa-analyzer/evm-l…
merendamattia Mar 29, 2025
eeeb0c1
Added the control if a JUMPI is tainted in SemanticIntegrityViolation…
merendamattia Mar 29, 2025
ac24d9b
Updated datasets
merendamattia Mar 29, 2025
26cee72
Updated datasets
merendamattia Mar 29, 2025
4c48a30
Refactored core management to EVMLiSAExecutor, updated core handling …
merendamattia Mar 30, 2025
d352d18
Handled abstract memory load errors in EVMAbstractState, pushing TOP …
merendamattia Mar 30, 2025
04d7d92
Applied spotless
merendamattia Mar 30, 2025
fea5550
Added support for Calldatacopy in taint analysis
merendamattia Mar 30, 2025
498eee8
Added javadoc
merendamattia Mar 30, 2025
6e47d33
Merge pull request #50 from lisa-analyzer/cross-chain-analysis-semant…
merendamattia Mar 30, 2025
ce1a822
Added SemanticIntegrityViolationChecker in SmartaxeBenchmark
merendamattia Mar 30, 2025
31f0c83
Minor changes
merendamattia Mar 30, 2025
799b830
Added getter and setter for contract name in SmartContract
merendamattia Mar 31, 2025
8d8eac7
Added timeout handling for CompletableFutures in EVMLiSAExecutor
merendamattia Mar 31, 2025
6a03d38
Made MAX_INT and MAX_LONG public in Number
merendamattia Mar 31, 2025
aae82c1
Validated offset range of abstract memory access in EVMAbstractState
merendamattia Mar 31, 2025
71a2187
Added SLURM job script for xEVMLiSA execution
merendamattia Mar 31, 2025
62729bf
Updated SLURM job scripts for EVMLiSA execution
merendamattia Mar 31, 2025
165cd68
Refined logging messages in checkers
merendamattia Mar 31, 2025
090e86e
Refactored methods to public visibility for cross-chain edge computat…
merendamattia Apr 1, 2025
719f770
Refactored SmartaxeBenchmark to run inter-cross-chain checkers, updat…
merendamattia Apr 1, 2025
aa22aea
Updated event order checker: added definite and possible warnings
merendamattia Apr 4, 2025
b61c3a0
Added possible event order warnings to MyCache and VulnerabilitiesObject
merendamattia Apr 4, 2025
d627729
Added missing event notification checker and related functionality
merendamattia Apr 4, 2025
82186e0
Enhanced semantic integrity checks by integrating cross-chain edge va…
merendamattia Apr 4, 2025
d1a8e69
Updated Smartaxe benchmark
merendamattia Apr 4, 2025
536146f
Applied spotless
merendamattia Apr 4, 2025
2a268e1
Refactored awaitCompletionFutures method name and updated timeout val…
merendamattia Apr 6, 2025
7c05193
Fixed bug in TimeSynchronizationChecker: now it prints correct warnin…
merendamattia Apr 6, 2025
a39d92b
Enhanced time synchronization vulnerability tracking by adding possib…
merendamattia Apr 7, 2025
ff819a0
Refactored UncheckedStateUpdateChecker to UncheckedExternalCallChecke…
merendamattia Apr 8, 2025
a53ccbd
Removed unused futures
merendamattia Apr 8, 2025
b72e33e
Fixed JSON keys for unchecked external call in VulnerabilitiesObject
merendamattia Apr 8, 2025
9b4c9d2
Minor changes
merendamattia Apr 8, 2025
593e78a
Refactored getExternalData method to include CALLDATACOPY statements
merendamattia Apr 9, 2025
6b4109a
Improved event-function linking; added caching for linked events; upd…
merendamattia Apr 9, 2025
b55cf23
Minor changes
merendamattia Apr 9, 2025
eb8340a
Minor changes
merendamattia Apr 9, 2025
804b957
Added filtering for state mutability in parseABI method
merendamattia Apr 10, 2025
2141b74
Removed check for Log0 in VulnerableLOGsComputer class
merendamattia Apr 10, 2025
0eeb5b4
Fixed edge matching logic in EVMCFG class
merendamattia Apr 11, 2025
f6e91e0
Refactored TimeSynchronizationChecker and xEVMLiSA for improved loggi…
merendamattia Apr 11, 2025
e87932a
Spotless
merendamattia Apr 12, 2025
4a927ff
Updated Event Order Checker
merendamattia Apr 12, 2025
8eab04b
Refactored SmartaxeBenchmark to streamline benchmark execution; conso…
merendamattia Apr 18, 2025
0d895ec
Added logging for function and event computation to enhance traceability
merendamattia Apr 18, 2025
5233599
Improved taint analysis accuracy in VulnerableLOGsComputer
merendamattia Apr 18, 2025
6ad0cf3
Added javadoc
merendamattia Apr 18, 2025
703aaa1
Renamed TimeSynchronizationChecker to LocalDependencyChecker
merendamattia Apr 18, 2025
a8538f0
Refactored vulnerability reporting in xEVMLiSA: replaced bridge-level…
merendamattia Apr 18, 2025
5fe7c29
Renamed SemanticIntegrityViolationChecker to UncheckedExternalInfluen…
merendamattia Apr 18, 2025
24edaaf
Added javadoc
merendamattia Apr 18, 2025
fe6ba19
Minor changes
merendamattia Apr 18, 2025
076fd92
Updated filepath handling and analysis result checks.
merendamattia Apr 29, 2025
444b25a
Enhanced filtering including vulnerability type parameter in benchmar…
merendamattia May 1, 2025
dd1eada
Fixed typo.
merendamattia May 1, 2025
3ce703d
Added execution time tracking during the CFG building.
merendamattia May 3, 2025
cbfa074
Added EVMLiSAExecutor and updated references
merendamattia May 3, 2025
fbaa827
Updated benchmark scripts.
merendamattia May 3, 2025
d33b026
Refactored output directory naming; Improved checks for CFG generation.
merendamattia May 3, 2025
7f74425
Added test mode functionality.
merendamattia May 3, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion scripts/bash/evmlisa-job-cpu.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
#SBATCH --cpus-per-task=1
#SBATCH --time=3-00:00:00
#SBATCH --mem=64G
#SBATCH --mail-user=[email protected]
#SBATCH --mail-user=<email>
#SBATCH --mail-type=FAIL
#SBATCH --partition=cpu
#SBATCH --qos=cpu
Expand Down
2 changes: 1 addition & 1 deletion scripts/bash/evmlisa-job-cpu_guest.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
#SBATCH --cpus-per-task=1
#SBATCH --time=3-00:00:00
#SBATCH --mem=64G
#SBATCH --mail-user=[email protected]
#SBATCH --mail-user=<email>
#SBATCH --mail-type=FAIL
#SBATCH --partition=cpu_guest
#SBATCH --qos=cpu_guest
Expand Down
2 changes: 1 addition & 1 deletion scripts/bash/job-handler.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
#SBATCH --cpus-per-task=1
#SBATCH --time=0-06:00:00
#SBATCH --mem=16G
#SBATCH --mail-user=[email protected]
#SBATCH --mail-user=<email>
#SBATCH --mail-type=FAIL
#SBATCH --partition=cpu
#SBATCH --qos=cpu
Expand Down
199 changes: 81 additions & 118 deletions scripts/python/benchmark-checkers/compile-smart-contracts.py
View file
Open in desktop

Large diffs are not rendered by default.

Loading