Clang Static Analyzer

swMATH44682MaRDI QIDQ5974851FDOQ5974851

Author name not available (Why is that?)

Official website: https://clang-analyzer.llvm.org

Described by source

• Improved Loop Execution Modeling in the Clang Static Analyzer
• Detecting Uninitialized Variables in C++ with the Clang Static Analyzer

Cited In (9)

• \textsc{SparrowHawk}: memory safety flaw detection via data-driven source code annotation
• SANTE
• JCrasher
• LibTIFF
• Sparrow
• GraphicsMagick
• OSMOSE
• Jessie
• Juliet Test Suite

This page was built for software: Clang Static Analyzer