Code Unboxed with TrustInSoft: Trampoline OSEK
August 13, 2024
What You'll Learn:
- Detailed exploration of code vulnerabilities and their impacts
- Steps to achieve 100% code coverage with formal verification
- Insights into improving code security and reliability
Thu, August 29, 2024 4:00 PM (CEST) / 10:00 AM (EDT)
Code Unboxed with TrustInSoft is a recurring event where we show and review analysis of open source code using formal methods compared ot typical static analysis and the potential impacts of any vulnerabilities we may find.
Watch the replay: