OXIDIZE 2026
TrustInSoft at Oxidize 2026
Visit us at Oxidize 2026 in Berlin at Tagungswerk from September 14-16th, 2026! Oxidize is the conference for companies and developers using Rust professionally. The event brings together industry leaders, open-source contributors, and engineers to share insights, tools, and success stories.
Book a meeting with our onsite expert here.
What's Left to Find in Rust?
Don't miss "What's Left to Find in Rust?" on Thursday September 18 at 16:30 pm. Rust is known for producing robust, memory-safe code through its compiler and development tooling. But these tools were designed to balance strong code quality with practical compilation times, meaning they do not provide exhaustive verification. TrustInSoft's Director of Field Engineering Rolland Dudemaine will explore the types of bugs that can remain in production Rust software and how additional analysis, including TrustInSoft Analyzer, can help uncover them. He'll also offer practical guidance on using the right tools at the right stage of development.
What you'll takeaway
- Understand the limits of the Rust compiler, Clippy, and Miri—and what they may miss.
- See how TrustInSoft Analyzer can complement existing Rust tooling to uncover additional bugs in production code.
- Learn practical best practices for choosing and combining verification tools based on your project’s requirements.
Discover TrustInSoft Analyzer
Guarantee the absence of critical errors in your source code with the power of formal methods. Read more about TrustInSoft Analyzer.