This report has been prepared for Popsicle Finance to discover issues and vulnerabilities in the source code of the Core Contract as well as any contract dependencies that were not part of an officially recognized library. A comprehensive examination has been performed, utilizing Static Analysis and Manual Review techniques.