Omniscia Olive 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 ExampleContract.sol
The project contains discrepancies with regards to the Solidity version used, however, they are solely contained in dependencies and can be safely ignored.
The Olive Protocol team has locked their pragma
statements to 0.8.4
, the same version utilized for our static analysis as well as optimizational review of the codebase.
During compilation with the solc
pipeline, multiple errors were identified mainly stemming from missing dependencies of the fxPortal
as well as the convoluted structure of the contracts under the interfaces
folder.
We proceeded with multiple adjustments, simplifications and custom contracts to be able to compile the codebase for our static analysis run and as such our results may deviate from independent runs.