Truth, a public benefit corporation building the universal verification machine for code, today unveiled &Atlas, an interactive map of over 100 million lines of open-source C software spanning more ...