Upcoming Webinars
Webinar: From CWEs to Signal Flow: Securing Industrial Code with Sound Taint Analysis
From CWEs to Signal Flow: Securing Industrial Code with Sound Taint AnalysisTaint analysis allows for tracking the impact of critical inputs on a program. When a taint analysis is sound, it provides provably correct and reliable results. Sound — and thus secure — taint analyses are of great importance, particularly in the fields of safety and security: they can prove the absence of errors, vulnerabilities, or unintended interactions between software components within the analyzed code.
Learn moreWEBINAR Recordings
Webinar: Proving Absence of Stack Overflows in Arm-Based Safety-Critical Systems
In this webinar, we show how static analysis can be used to prove the absence of stack overflows in Arm-based systems using AbsInt StackAnalyzer. You’ll learn how worst-case stack usage can be automatically computed at the binary level across tasks and execution paths, without instrumentation or test coverage assumptions, and how results are visualized to identify worst-case scenarios.This session is ideal for engineers working on Cortex-M, Cortex-R, and Cortex-A systems who need defensible evidence of stack safety for certification and compliance.
Learn more
1-613-215-3252
1395 Brickell Ave. Suite 800, Miami FL 33131
23 Precision Dr Kemptville, ON K0G 1J0
info@joraltechnologies.com
PRODUCTS
Manufacturers
Resource center