Artifact
DeFiAligner Software
Author
- Part of: Collection: Supplementary Materials
- License: MIT License
- Publication Date: 2024-11-28
Document Identifiers
Content
- Software (Source Code): https://github.com/DeFiAligner/DeFiAligner
-
archived version
Version/Status
- Content created at: 2024-08-28
- Status: WIP (at the time of publication 2024-11-28)
Cite As Get BibTex
Rundong Gan. DeFiAligner (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/artifacts.22516
Description
DeFiAligner is a project to identify inconsistencies between project documentation and on-chain smart contracts (which exist in binary form).
Subject Classification
Keywords
- Inconsistency Detection
- Symbolic Analysis
- Smart Contracts
Programming Languages
- Golang
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)