aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp
AgeCommit message (Expand)AuthorFilesLines
2017-06-22[analyzer] Do not continue to analyze a path if the constraints contradict wi...Gabor Horvath1-1/+3
2017-05-12[analyzer] Add modelling of __builtin_assumeGabor Horvath1-0/+16
2016-10-31Add support for __builtin_alloca_with_alignDavid Majnemer1-0/+1
2015-09-02add __builtin_unpredictable and convert to metadataSanjay Patel1-2/+3
2014-09-09Teach the analyzer that __builtin_assume_aligned returns its first argument.Jordan Rose1-1/+3
2013-08-19Omit arguments of __builtin_object_size from the CFG.Jordan Rose1-6/+19
2013-07-12[analyzer] Add support for __builtin_addressof.Jordan Rose1-1/+4
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie1-1/+1
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth1-1/+1
2012-11-26[analyzer] Fix a crash reported in PR 14400.Anna Zaks1-0/+1
2012-08-22Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.Ted Kremenek1-1/+1
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek1-1/+1
2012-01-06[analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek1-4/+5
2011-12-01[analyzer] Refactor checkers to use helper function for getting callee Decl a...Anna Zaks1-5/+2
2011-10-26[analyzer] Add getLocationContext to CheckerContextAnna Zaks1-2/+1
2011-10-26[analyzer] Rename generateNode -> addTransition in CheckerContextAnna Zaks1-2/+2
2011-10-04[analyzer] Removing references to CheckerContext::getNodeBuilder(): checkers ...Anna Zaks1-1/+1
2011-08-15Rename GRState to ProgramState, and cleanup some code formatting along the way.Ted Kremenek1-1/+1
2011-03-01[analyzer] Rename CheckerV2 -> Checker.Argyrios Kyrtzidis1-2/+2
2011-02-28[analyzer] Migrate BuiltinFunctionChecker to CheckerV2.Argyrios Kyrtzidis1-10/+12
2011-02-10Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core'...Ted Kremenek1-1/+1
2011-02-08[analyzer] lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h -> lib/Stat...Argyrios Kyrtzidis1-1/+1
2010-12-23Chris Lattner has strong opinions about directoryTed Kremenek1-0/+83