Skip to content

Cart

Your cart is empty

Upcoming Webinars

WEBINAR Recordings

Integrating AbsInt Static Analysis Tool with the KEIL Studio and using VS code
AbsInt Aug 12, 2026 - Aug 12, 2026

Integrating AbsInt Static Analysis Tool with the KEIL Studio and using VS code

Integrating static analysis directly into the development workflow is essential for improving software quality while maintaining developer productivity. In this webinar, we will demonstrate how Astrée integrates seamlessly with Arm Keil Studio and Visual Studio Code, enabling developers to perform sound static analysis without leaving their familiar development environment. The session will cover automatic extraction of build configurations and compiler-specific language settings, analyze-as-you-code workflows, inspection of Astrée findings directly within Visual Studio Code, and the use of AI copilots to explain results and suggest potential fixes.
Learn more