KUALA LUMPUR, Nov 13 (Bernama) -- Public benefit corporation &Truth has unveiled &Atlas, an interactive map of over 100 million lines of open-source C software spanning more than 3,000 foundational codebases.
&Truth Unveils Interactive Map To Track Software Safety
&Truth Unveils Interactive Map To Track Software S
BE Bernama 
Key takeaways
&Truth launched &Atlas, an interactive map covering over 100 million lines of open‑source C code, showing which parts have been analyzed, verified or found buggy, and plans to extend to other languages and enterprise software.
- &Atlas tracks progress toward mathematically proving safety of critical C software.
- &Truth has verified more than 100,000 lines of C code and discovered real‑world defects.
- The company aims to expand verification to Rust, Java, Go, C++ and enterprise software.
Summarised automatically by AI from the original article by Bernama. AI can make mistakes, so check the original for details.
Read the full story on Bernama That's the opening of the story. The full piece is published by Bernama.
Continue reading ↗ Story details
- Published
- Section
- news
- Format
- Article
- Original
- bernama.com ↗
Topics
%2Ffile%2Fattachments%2Forphans%2FGibranRakabumingRaka22_674325.jpg&w=480&output=webp&q=85&we)