Omniscia DAFI Protocol Audit
Compilation
Compilation
The project is composed of barebones contracts without the utilization of a framework and as such, the compilation was a straightforward solc
instruction:
solc ./contracts/*
The project contains discrepancies with regards to the Solidity version used as the pragma
statements are not bound. The higher-most requirement was pragma solidity ^0.5.16
and as such, we utilized the 0.5.16
version for the execution of static analysis.
We strongly recommend the DAFI team to lock all contract versions to 0.5.16
strictly to prevent compilation discrepancies from arising in the future.