aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp
AgeCommit message (Expand)AuthorFilesLines
2017-06-20[analyzer] Check NULL pointer dereference issue for memset functionLeslie Zhai1-0/+51
2017-01-13[analyzer] Add LocationContext as a parameter to checkRegionChangesAnna Zaks1-2/+8
2016-11-16[analyzer] Remove unused check::RegionChanges::wantsRegionChangeUpdate callbackAnna Zaks1-6/+0
2016-08-17[analyzer] Add LocationContext information to SymbolMetadata.Artem Dergachev1-0/+1
2016-07-18[NFC] Header cleanupMehdi Amini1-1/+0
2016-05-19[analyzer] Fix for PR23790 : constrain return value of strcmp() rather than r...Anton Yartsev1-17/+20
2016-04-25[analyzer] Let TK_PreserveContents span across the whole base region.Artem Dergachev1-1/+1
2016-02-07[analyzer] Invalidate destination of std::copy() and std::copy_backward().Devin Coughlin1-0/+58
2016-01-13[analyzer] Fix SVal/SymExpr/MemRegion class and enum names for consistency.Artem Dergachev1-3/+3
2015-12-28Refactor: Simplify boolean conditional return statements in lib/StaticAnalyze...Alexander Kornienko1-4/+1
2015-09-24[analyzer] When memcpy'ing into a fixed-size array, do not invalidate entire ...Devin Coughlin1-7/+91
2015-09-16[analyzer] Add generateErrorNode() APIs to CheckerContext.Devin Coughlin1-6/+6
2015-09-08[analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek1-42/+42
2015-08-31Revert r246345 until an assertion is fixed.Gabor Horvath1-85/+7
2015-08-28[analyzer] When memcpy'ing into a fixed-size array, do not invalidate entire ...Devin Coughlin1-7/+85
2015-06-23Clarify pointer ownership semantics by hoisting the std::unique_ptr creation ...Aaron Ballman1-17/+15
2015-04-17Remove the assertion as it was useless and broken.Sylvestre Ledru1-4/+0
2015-04-17Fix a bad assert. Found by coverity. CID 1101110Sylvestre Ledru1-1/+1
2014-10-03[analyzer] Make CStringChecker correctly calculate return value of mempcpyAnna Zaks1-1/+6
2014-05-27[C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper1-36/+41
2014-03-14[C++11] Replacing DeclStmt iterators decl_begin() and decl_end() with iterato...Aaron Ballman1-3/+2
2014-03-07Replace OwningPtr with std::unique_ptr.Ahmed Charles1-5/+2
2014-03-02[C++11] Replace llvm::tie with std::tie.Benjamin Kramer1-16/+16
2014-02-11Expose the name of the checker producing each diagnostic message.Alexander Kornienko1-17/+29
2013-11-17[analyzer] Better modeling of memcpy by the CStringChecker (PR16731).Anton Yartsev1-13/+41
2013-10-04[analyzer] Replace bug category magic strings with shared constants, take 2.Jordan Rose1-4/+4
2013-10-03Temporarily revert r191910 until the layering violation can be fixed.Richard Smith1-4/+4
2013-10-03[analyzer] Replace bug category magic strings with shared constants.Jordan Rose1-4/+4
2013-08-19[analyzer] Assume that strings are no longer than SIZE_MAX/4.Jordan Rose1-2/+15
2013-06-12Fix memory corruption in CStringCheckerPavel Labath1-4/+1
2013-04-22[analyzer] Model strsep(), particularly that it returns its input.Jordan Rose1-0/+62
2013-02-21Replace ProgramPoint llvm::cast support to be well-defined.David Blaikie1-1/+1
2013-02-20Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie1-33/+28
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie1-80/+74
2013-02-09Remove some stray uses of <ctype.h> functions.Jordan Rose1-1/+2
2013-01-16[analyzer] Refactor: parameter rename.Anna Zaks1-1/+1
2012-12-21[analyzer] Address Jordan's nitpicks as per code review of r170625.Anna Zaks1-1/+1
2012-12-20[analyzer] Add the pointer escaped callback.Anna Zaks1-3/+4
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth1-2/+2
2012-12-01Include pruning and general cleanup.Benjamin Kramer1-0/+1
2012-11-02[analyzer] Use nice macros for the common ProgramStateTraits (map, set, list).Jordan Rose1-22/+10
2012-11-02[analyzer] Rename 'EmitReport' to 'emitReport'.Jordan Rose1-6/+6
2012-09-17[analyzer] Teach the analyzer about implicit initialization of staticsAnna Zaks1-1/+1
2012-08-28[analyzer] Rename addTrackNullOrUndefValueVisitor to trackNullOrUndefValue.Jordan Rose1-1/+1
2012-08-22Rename 'unbindLoc()' (in ProgramState) and 'Remove()' toTed Kremenek1-1/+1
2012-08-22Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.Ted Kremenek1-16/+10
2012-08-22Rename 'getConjuredSymbol*' to 'conjureSymbol*'.Ted Kremenek1-7/+6
2012-08-03[analyzer] When a symbol is null, we should track its constraints.Jordan Rose1-2/+1
2012-07-02[analyzer] Add a new abstraction over all types of calls: CallEventJordan Rose1-2/+2
2012-05-14[analyzer] strncpy: Special-case a length of 0 to avoid an incorrect warning.Jordy Rose1-0/+18
generated by cgit v1.1 at 2025-10-11 20:55:50 +0000