Omniscia Echidna Finance Audit
Compilation
Compilation
The project utilizes brownie
as its development pipeline tool, containing an array of tests and scripts coded in Python.
To compile the project, the compile
command needs to be issued via the brownie
CLI tool:
brownie compile
The brownie
tool automatically selects Solidity version 0.8.11
based on the pragma
statements contained within the contracts.
The project contains discrepancies with regards to the Solidity version used, however, they are solely contained in dependencies and can be safely ignored.
We utilized pragma
version 0.8.11
for our static analysis as well as optimizational review of the codebase.
The utilization of the brownie
tool caused issues in our efforts to statically analyze the project. As evidenced by brownie#772 and brownie#941, the build artifacts of the tool are generally incompatible with static analysis tools.
To be able to run our suite of static analysis tools, we ported the codebase to a barebones truffle
installation to produce the proper compilation artifacts.
During compilation with the truffle
pipeline, no errors were identified that relate to the bytecode size or syntax of the contracts.