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.