Clang Static Analyzer

MaRDI QIDQ5974851swMATHFDO

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

Described by source

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

Cited in

(9)

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

This page was built for software: Clang Static Analyzer