Upcoming Webinars
WEBINAR Recordings

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
EMBEDDED IS EVERYWHERE

1-613-215-3252
1395 Brickell Ave. Suite 800, Miami FL 33131
23 Precision Dr Kemptville, ON K0G 1J0
info@joraltechnologies.com
CONTACT US
PRODUCTS
Manufacturers
Resource center
Copyright © 2026 | Developed by Dango
