Skip to content

Major refactoring, introducing EVMLiSA as a Library #44

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

Jump to bottom
Merged
VincenzoArceri merged 76 commits into from
Mar 23, 2025
Merged

Major refactoring, introducing EVMLiSA as a Library #44

VincenzoArceri merged 76 commits into from
Mar 23, 2025

Conversation

@merendamattia
Copy link
Collaborator

@merendamattia merendamattia commented Mar 2, 2025 •
edited
Loading

This PR introduces a major refactoring of EVMLiSA, improving code structure and maintainability. Additionally, it enables the use of EVMLiSA as a library, allowing users to analyze smart contracts easily.

Changes:

  • Refactored core classes for better modularity and readability.
  • Introduced new APIs to analyze smart contracts using EVMLiSA as a library.
  • Added support for contract analysis via contract addresses, bytecode paths, and raw bytecode strings.
  • Improved basic blocks and CFG generation methods.
  • Changed data structure from standard array to circular array.

@merendamattia
Refactoring
97be245
@merendamattia
Refactored the analysis of a set of contracts
6b5b641
@merendamattia
Refactoring: integrated json, basic blocks, statistics, benchmark
b7999ac
@merendamattia
Refactoring: results saved to file
6ebeeaf
@merendamattia
Refactoring: created .dot file manager
2cfbf01
@merendamattia
Added function selectors in cfg basic blocks and fixed colors
aa39f84
@merendamattia
Added legend to .dot file
e798fcf
@merendamattia
Refactoring: removed old methods, updated readme
1dc7fff
@merendamattia
Added new example
e2e99b0
@merendamattia
Merge from master branch
42cf22e
@merendamattia
Apply spotless
3cf4203
@merendamattia
Added output directory path option
e604ca3
@merendamattia
Refactored ground truth test
507a5dc
@merendamattia
Added ground truth data for test
7fcbefa
@merendamattia
Minor changes
1963b84
@merendamattia
Added javadoc
34f9f4a
@merendamattia
Fixed bug in the computation of functions entry points
21b0c4a
@merendamattia
Refactoring and added javadoc
aa43ece
@merendamattia
Added javadoc
52c28d5
@merendamattia
Removed LiSA logs printing during analysis
9c76803
@merendamattia
Fixed colors in the cfg dump
bf477f1
@merendamattia
Removed debug prints in tests, renamed extension ABI to .abi
53432ed
@merendamattia
Updated readme
c96e7c4
@merendamattia merendamattia added documentation Improvements or additions to documentation enhancement New feature or request labels Mar 2, 2025
@merendamattia merendamattia self-assigned this Mar 2, 2025
@merendamattia merendamattia marked this pull request as draft March 3, 2025 08:56
merendamattia and others added 27 commits March 12, 2025 20:38
@merendamattia
Added table of contents
ea1dcff
@merendamattia
Added sanitizers in taint abstract domain, updated TimestampDependenc…
46406e8 
…yAbstractDomain and TxOriginAbstractDomain
@VincenzoArceri
Avoiding useless clones in TaintAbstractDomain
fe23531
@VincenzoArceri
Introduced popX method, removed useless clone in EVM abstract state
b4456bc
@merendamattia
Removed tests
4d18083
@shivamkumar2402
Refactored stack structure from linear array to circular array + upda…
80e0ccd 
…te javadoc
@shivamkumar2402
Apply spotless
5dfee67
@VincenzoArceri
Merge pull request #47 from lisa-analyzer/sanitizers-taint-domain
666b3ca 
Added sanitizers support in `TaintAbstractDomain`
@shivamkumar2402
Merge remote-tracking branch 'origin/refactoring' into circ-array
f7a59bc 
Merge
@shivamkumar2402
Added popX method + javadoc
9c2e5d1
@VincenzoArceri
Refactoring AbstractStack's equals
68dd9d1
@shivamkumar2402
Added javadoc
461a639
@shivamkumar2402
Merge branch 'circ-array' of https://github.com/lisa-analyzer/evm-lisa …
03e1ea8 
…into circ-array

Merge
@VincenzoArceri
Updating tests
5403bc5
@merendamattia
Added --abi option to EVMLiSA, added setAbi in SmartContract to handl…
dab6527 
…e ABI input
@merendamattia
Added --abi option
276447e
@merendamattia
Apply spotless
ff453f9
@merendamattia
Removed jcenter repository (obsolete and deprecated), updated shadowJ…
b0dd436 
…ar base name setting
@shivamkumar2402
Refactored stack structure from ArrayList to circular array
f3cd70d
@VincenzoArceri
Removed emptiness check in small-step semantics of TaintAbstractDomain
7a9d589
@VincenzoArceri
Changed equals for taint abstract domain
c528f25
@shivamkumar2402
Added popX method and fix clone + javadoc
256a10f
@shivamkumar2402
Apply spotless
383d13b
@VincenzoArceri
Introducing popX in taint abstract domain's small-step semantics
40a6dd0
@shivamkumar2402
Checked last TODO + spotless apply
cb0ba93
@VincenzoArceri
Minor changes
f6e9b9d
@merendamattia
Merge pull request #48 from lisa-analyzer/circ-array
084b8cb 
Changed data structure from standard array to circular array
@VincenzoArceri VincenzoArceri merged commit 90d821c into master Mar 23, 2025
3 checks passed
@VincenzoArceri VincenzoArceri deleted the refactoring branch March 23, 2025 19:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@VincenzoArceri VincenzoArceri VincenzoArceri approved these changes

Assignees

@merendamattia merendamattia

Labels

documentation Improvements or additions to documentation enhancement New feature or request

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@merendamattia @VincenzoArceri @shivamkumar2402