Omniscia Powercity Audit

Compilation

Compilation

The project is composed of barebones contracts without the utilization of a framework, however, external dependencies are located for contracts such as the PulseXToken.

To properly compile the codebase and be able to apply our static analysis toolkit, we ported the codebase to an empty hardhat project and compiled it via the hardhat pipeline.

As such, discrepancies between our static analysis toolkit outputs and those of independent runs are to be expected.

The pragma versions throughout the codebase have been locked to 0.6.11, the same version we utilized for our static analysis and optimizational run of the codebase.

No errors of syntax or size arose during the compilation process.