Semgrep now supports Cairo 1.0
Blog post from Semgrep
Romain Jufer, CSO of AVNU, announces the experimental support of the Cairo 1.0 programming language in Semgrep, enhancing the development of secure smart contracts on the Starknet blockchain. Cairo joins Solidity as the second blockchain programming language supported by Semgrep, which already supports over 30 other languages. The importance of software security in smart contracts is highlighted, noting past financial losses and reputational damage from attacks. Jufer, with a background in cybersecurity, emphasizes Semgrep's usefulness in identifying code issues and its flexibility in creating custom rules, which is crucial for developing robust smart contracts in Cairo 1.0. Collaboration with Starkware and the community aims to improve Cairo 1.0 support and develop a ruleset, with an invitation for others to join the effort. Acknowledgment is given to Yoann Padioleau for his critical role in the integration process.