DeFiAligner is a project to identify inconsistencies between project documentation and on-chain smart contracts (which exist in binary form).
Please note that this repository only showcases the core code for path generation and symbolic extraction. For utilizing Large Language Models in detection, refer to available online resources.
Paper: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.AFT.2024.7
@inproceedings{gan2024defialigner,
title={DeFiAligner: Leveraging Symbolic Analysis and Large Language Models for Inconsistency Detection in Decentralized Finance},
author={Gan, Rundong and Zhou, Liyi and Wang, Le and Qin, Kaihua and Lin, Xiaodong},
booktitle={6th Conference on Advances in Financial Technologies (AFT 2024)},
pages={7--1},
year={2024},
organization={Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik}
}
.
├── abiparser # Generates symbolic inputs based on ABIs
│ ├── abi_parser.go
│ └── ABIs
│ └── erc20.abi.json
├── case_test.go # Usage examples
├── Dockerfile
├── go.mod
├── go.sum
├── LICENSE
├── pathfeat # Symbolic feature extraction
│ ├── defi_features_extractor.go
│ ├── symbol_simplifier.go
│ └── token_balance_symbol.go
├── README.md
├── sevm # Modified Ethereum Virtual Machine supporting Z3 symbols
│ ├── common.go
│ ├── config.json
│ ├── contract.go
│ ├── execution_path.go
│ ├── instructions.go
│ ├── interpreter.go
│ ├── jump_table.go
│ ├── memory.go
│ ├── sevm.go
│ └── stack.go
└── tracer # Used for debugging, compares generated symbolic paths with actual paths
└── tracer.go
- Download the project code.
- Build and run using Docker:
sudo docker build -t DeFiAligner-v1.0
sudo docker run -it --name test-container DeFiAligner-v1.0
For usage examples, please see case_test.go.
