Coverity

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

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 3 articles )

Showing results 1 to 3 of 3.
Sorted by year (citations)

  1. Cook, Byron; Khazem, Kareem; Kroening, Daniel; Tasiran, Serdar; Tautschnig, Michael; Tuttle, Mark R.: Model checking boot code from AWS data centers (2021)
  2. 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)
  3. Vojdani, Vesal: Static data race analysis of heap-manipulating C programs (2010)