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.