Code Unboxed with TrustInSoft: Libjxl
What is Libjxl?
Libjxl is the official implementation of JPEG XL, an advanced image format standardized as ISO/IEC 18181.
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
Watch the on demand replay
Code Unboxed with TrustInSoft is a recurring event where we show and review analysis of open source code using formal methods compared to typical static analysis and the potential impacts of any vulnerabilities we may find.