Coverity: Static Code Analysis. Find critical defects and security weaknesses in code as it’s written before they become vulnerabilities, crashes, or maintenance headaches.
Keywords for this software
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Cook, Byron; Khazem, Kareem; Kroening, Daniel; Tasiran, Serdar; Tautschnig, Michael; Tuttle, Mark R.: Model checking boot code from AWS data centers (2021)
- Alzetta, Giovanni; Arndt, Daniel; Bangerth, Wolfgang; Boddu, Vishal; Brands, Benjamin; Davydov, Denis; Gassmöller, Rene; Heister, Timo; Heltai, Luca; Kormann, Katharina; Kronbichler, Martin; Maier, Matthias; Pelteret, Jean-Paul; Turcksin, Bruno; Wells, David: The deal.II library, version 9.0 (2018)
- Vojdani, Vesal: Static data race analysis of heap-manipulating C programs (2010)