AleoVera is an Aleo analyzer & disassembler written in Python 3. AleoVera's features also include the generation of the call graph of a given Aleo compilation artifact (.avm).
sudo apt install graphviz
git clone https://github.com/FuzzingLabs/ALeoVera && cd AleoVera
pip install .
aleovera -h
aleo new foo
cd foo
aleo build
aleovera -f ./build/main.avm
aleovera -f tests/finalize/build/main.avm -color
The call flow graph represents calling relationships between functions, imported functions and closures of the contract.
python3 main.py -f tests/multiple_calls/build/main.avm -c
python3 tests/test.py
# Install sphinx
apt-get install python3-sphinx
#Create the docs folder
mkdir docs & cd docs
#Init the folder
sphinx-quickstart docs
#Modify the `conf.py` file by adding
import aleovera
#Generate the .rst files before the .html files
sphinx-apidoc -f -o . ..
#Generate the .html files
make html
#Run a python http server
cd _build/html; python3 -m http.server
AleoVera is licensed and distributed under the AGPLv3 license. Contact us if you're looking for an exception to the terms.