HomePhabricator

[analyzer] Add StdLibraryFunctions checker.

Description

[analyzer] Add StdLibraryFunctions checker.

This checker does not emit reports, however it influences the analysis
by providing complete summaries for, or otherwise improving modeling of,
various standard library functions.

This should reduce the number of infeasible paths explored during analysis.
The custom function summary format used in this checker is superior to
body farms by causing less unnecessary state splits,
which would result in better analysis performance.

Differential Revision: https://reviews.llvm.org/D20811

Details

Committed
dergachevOct 24 2016, 2:41 AM
Differential Revision
D20811: [analyzer] Model some library functions
Parents
rL284959: [Sema][TreeTransform] Re-create DesignatedInitExpr when a field designator
Branches
Unknown
Tags
Unknown

Event Timeline

RKSimon added inline comments.
/cfe/trunk/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp
467

LLVM_ATTRIBUTE_UNUSED doesn't work on MSVC, leading to a unused variable warning. Replace with an old-style void(SizeMax) ?