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.
The map tracks the company’s progress towards mathematically proving that critical software is safe, beginning with C, which underpins operating systems, browsers, databases and networks, according to &Truth in a statement.
Users can explore codebases and their dependencies and see which code has been analysed, which has been mathematically verified and which bugs have been found, although the company said the map does not suggest the entire ecosystem is already secure.
“Finding bugs is just the beginning. Our goal is to fix them, properly coordinate reporting, and mathematically prove that entire classes of failures will never recur in the code we verify,” said &Truth Co-Founder, Co-Chief Executive Officer and Executive Chairman, Chris Hsu.
&Truth said it has verified more than 100,000 lines of C code so far and found numerous real-world defects, which it is working with software maintainers to fix through coordinated disclosure, without publicly exposing unresolved security issues.
The company said the need to prove what code can and cannot do is increasingly urgent as artificial intelligence speeds up both software development and cyberattacks.
&Truth plans to extend its work to other languages, including Rust, Java, Go and C++, and from open-source to enterprise software.
-- BERNAMA