maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/clang/lib/StaticAnalyzer/Checkers
History
Fangrui Song f5d3335d75 Revert r347417 "Re-Reinstate 347294 with a fix for the failures." 
Kept the "indirect_builtin_constant_p" test case in test/SemaCXX/constant-expression-cxx1y.cpp
while we are investigating why the following snippet fails:

  extern char extern_var;
  struct { int a; } a = {__builtin_constant_p(extern_var)};

llvm-svn: 348039
 		2018-11-30 21:26:09 +00:00
..
MPI-Checker [analyzer] Fix the "Zombie Symbols" bug. 2018-11-30 03:27:50 +00:00
RetainCountChecker Fix warning about unused variable [NFC] 2018-11-30 13:38:33 +00:00
UninitializedObject [analyzer][UninitializedObjectChecker] Uninit regions are only reported once 2018-11-18 11:34:10 +00:00
AllocationState.h [analyzer] InnerPointerChecker: improve warning messages and notes. 2018-08-10 23:56:57 +00:00
AnalysisOrderChecker.cpp [analyzer] Restrict AnalyzerOptions' interface so that non-checker objects have to be registered 2018-11-05 03:50:37 +00:00
AnalyzerStatsChecker.cpp [analyzer] Prevent AnalyzerStatsChecker from crash 2018-02-21 16:06:56 +00:00
ArrayBoundChecker.cpp
…
ArrayBoundCheckerV2.cpp [analyzer] Remove the redundant check about same state transition in `ArrayBoundCheckerV2.cpp`. 2018-05-30 11:46:45 +00:00
BasicObjCFoundationChecks.cpp [analyzer] Rename trackNullOrUndefValue to trackExpressionValue 2018-10-23 18:24:53 +00:00
BlockInCriticalSectionChecker.cpp [analyzer] lock_guard and unique_lock extension for BlockInCriticalSection checker 2017-10-30 10:09:55 +00:00
BoolAssignmentChecker.cpp
…
BuiltinFunctionChecker.cpp Revert r347417 "Re-Reinstate 347294 with a fix for the failures." 2018-11-30 21:26:09 +00:00
CMakeLists.txt [analyzer] INT50-CPP. Do not cast to an out-of-range enumeration checker 2018-11-24 12:24:27 +00:00
CStringChecker.cpp [analyzer] Fix the "Zombie Symbols" bug. 2018-11-30 03:27:50 +00:00
CStringSyntaxChecker.cpp [CStringSyntaxChecker] Check strlcat sizeof check 2018-09-23 08:30:17 +00:00
CXXSelfAssignmentChecker.cpp [analyzer] [NFC] A convenient getter for getting a current stack frame 2018-06-27 01:51:55 +00:00
CallAndMessageChecker.cpp [analyzer] Rename trackNullOrUndefValue to trackExpressionValue 2018-10-23 18:24:53 +00:00
CastSizeChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
CastToStructChecker.cpp Remove redundant casts. NFC 2018-03-01 05:43:23 +00:00
CheckObjCDealloc.cpp [analyzer] NFC: Legalize state manager factory injection. 2018-09-25 22:10:12 +00:00
CheckObjCInstMethSignature.cpp
…
CheckSecuritySyntaxOnly.cpp Revert r347417 "Re-Reinstate 347294 with a fix for the failures." 2018-11-30 21:26:09 +00:00
CheckSizeofPointer.cpp
…
CheckerDocumentation.cpp [analyzer] Make checkEndFunction() give access to the return statement. 2018-07-16 20:47:45 +00:00
ChrootChecker.cpp Fix typos in clang 2018-04-06 15:14:32 +00:00
ClangCheckers.cpp [analyzer] Drastically simplify the tblgen files used for checkers 2018-11-12 17:49:51 +00:00
ClangSACheckers.h [analyzer] Drastically simplify the tblgen files used for checkers 2018-11-12 17:49:51 +00:00
CloneChecker.cpp [analyzer] Restrict AnalyzerOptions' interface so that non-checker objects have to be registered 2018-11-05 03:50:37 +00:00
ConversionChecker.cpp [analyzer] ConversionChecker: handle floating point 2018-11-16 01:00:55 +00:00
DeadStoresChecker.cpp Create ConstantExpr class 2018-10-31 03:48:47 +00:00
DebugCheckers.cpp [analyzer] Evaluate all non-checker config options before analysis 2018-11-30 20:44:00 +00:00
DeleteWithNonVirtualDtorChecker.cpp [analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameter 2018-09-28 18:49:41 +00:00
DereferenceChecker.cpp [analyzer] Rename trackNullOrUndefValue to trackExpressionValue 2018-10-23 18:24:53 +00:00
DirectIvarAssignment.cpp
…
DivZeroChecker.cpp [analyzer] Rename trackNullOrUndefValue to trackExpressionValue 2018-10-23 18:24:53 +00:00
DynamicTypeChecker.cpp [analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameter 2018-09-28 18:49:41 +00:00
DynamicTypePropagation.cpp [analyzer] Fix the "Zombie Symbols" bug. 2018-11-30 03:27:50 +00:00
EnumCastOutOfRangeChecker.cpp [analyzer] INT50-CPP. Do not cast to an out-of-range enumeration checker 2018-11-24 12:24:27 +00:00
ExprInspectionChecker.cpp Move some helpers from the global namespace into anonymous ones. 2018-10-13 22:18:22 +00:00
FixedAddressChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
GCDAntipatternChecker.cpp [analyzer] Fix GCDAntipatternChecker to only fire when the semaphore is initialized to zero 2018-07-16 20:32:57 +00:00
GTestChecker.cpp [NFC] fix trivial typos in comments 2018-01-22 07:44:38 +00:00
GenericTaintChecker.cpp Remove \brief commands from doxygen comments. 2018-05-09 01:00:01 +00:00
IdenticalExprChecker.cpp Remove \brief commands from doxygen comments. 2018-05-09 01:00:01 +00:00
InnerPointerChecker.cpp [analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameter 2018-09-28 18:49:41 +00:00
InterCheckerAPI.h [analyzer] InnerPointerChecker: fix displayed checker name. 2018-08-06 22:03:42 +00:00
IteratorChecker.cpp [Analyzer] Iterator Checker - Part 8: Support for assign, clear, insert, emplace and erase operations 2018-09-10 09:07:47 +00:00
IvarInvalidationChecker.cpp Fix typos in clang 2018-04-06 15:14:32 +00:00
LLVMConventionsChecker.cpp [analyzer] Put llvm.Conventions back in alpha 2018-11-02 16:02:10 +00:00
LocalizationChecker.cpp [analyzer] Restrict AnalyzerOptions' interface so that non-checker objects have to be registered 2018-11-05 03:50:37 +00:00
MacOSKeychainAPIChecker.cpp [analyzer] Fix the "Zombie Symbols" bug. 2018-11-30 03:27:50 +00:00
MacOSXAPIChecker.cpp Port getLocStart -> getBeginLoc 2018-08-09 21:08:08 +00:00
MallocChecker.cpp [analyzer] Evaluate all non-checker config options before analysis 2018-11-30 20:44:00 +00:00
MallocOverflowSecurityChecker.cpp Revert r347417 "Re-Reinstate 347294 with a fix for the failures." 2018-11-30 21:26:09 +00:00
MallocSizeofChecker.cpp
…
MisusedMovedObjectChecker.cpp [analyzer] Support Reinitializes attribute in MisusedMovedObject check 2018-10-09 07:28:57 +00:00
MmapWriteExecChecker.cpp [analyzer] Restrict AnalyzerOptions' interface so that non-checker objects have to be registered 2018-11-05 03:50:37 +00:00
NSAutoreleasePoolChecker.cpp
…
NSErrorChecker.cpp [analyzer] [NFC] A convenient getter for getting a current stack frame 2018-06-27 01:51:55 +00:00
NoReturnFunctionChecker.cpp [analyzer] [NFC] Split up RetainSummaryManager from RetainCountChecker - try 2018-08-21 03:09:02 +00:00
NonNullParamChecker.cpp [analyzer] Rename trackNullOrUndefValue to trackExpressionValue 2018-10-23 18:24:53 +00:00
NonnullGlobalConstantsChecker.cpp Fix typos in clang 2018-04-06 15:14:32 +00:00
NullabilityChecker.cpp Revert r344580 "[analyzer] Nullability: Don't detect post factum violation..." 2018-11-30 04:26:17 +00:00
NumberObjectConversionChecker.cpp Revert r347417 "Re-Reinstate 347294 with a fix for the failures." 2018-11-30 21:26:09 +00:00
ObjCAtSyncChecker.cpp NFC: Remove the ObjC1/ObjC2 distinction from clang (and related projects) 2018-10-30 20:31:30 +00:00
ObjCAutoreleaseWriteChecker.cpp [analyzer] Extend ObjCAutoreleaseWriteChecker to catch block declarations with autoreleasing variables 2018-05-16 22:47:05 +00:00
ObjCContainersASTChecker.cpp [CSA] [NFC] Move AnalysisContext.h to AnalysisDeclContext.h 2017-09-06 21:45:03 +00:00
ObjCContainersChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
ObjCMissingSuperCallChecker.cpp Remove \brief commands from doxygen comments. 2018-05-09 01:00:01 +00:00
ObjCPropertyChecker.cpp [Analyzer] Fix crash in ObjCPropertyChecker on protocol property 2017-03-01 01:47:37 +00:00
ObjCSelfInitChecker.cpp Remove \brief commands from doxygen comments. 2018-05-09 01:00:01 +00:00
ObjCSuperDeallocChecker.cpp [analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameter 2018-09-28 18:49:41 +00:00
ObjCUnusedIVarsChecker.cpp Port getLocStart -> getBeginLoc 2018-08-09 21:08:08 +00:00
PaddingChecker.cpp [analyzer] Restrict AnalyzerOptions' interface so that non-checker objects have to be registered 2018-11-05 03:50:37 +00:00
PointerArithChecker.cpp [analyzer] [PointerArithChecker] do not warn on indexes into vector types 2018-03-07 22:20:39 +00:00
PointerSubChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
PthreadLockChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
ReturnPointerRangeChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
ReturnUndefChecker.cpp [analyzer] Rename trackNullOrUndefValue to trackExpressionValue 2018-10-23 18:24:53 +00:00
RunLoopAutoreleaseLeakChecker.cpp [analyzer] Bugfix for autorelease + main run loop leak checker 2018-07-30 22:18:21 +00:00
SimpleStreamChecker.cpp
…
StackAddrEscapeChecker.cpp Port getLocStart -> getBeginLoc 2018-08-09 21:08:08 +00:00
StdLibraryFunctionsChecker.cpp [analyzer] Avoid an allocation in Std C function modelling 2017-05-12 06:53:55 +00:00
StreamChecker.cpp [analyzer] Fix the "Zombie Symbols" bug. 2018-11-30 03:27:50 +00:00
TaintTesterChecker.cpp
…
TestAfterDivZeroChecker.cpp [analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameter 2018-09-28 18:49:41 +00:00
TraversalChecker.cpp Port getLocStart -> getBeginLoc 2018-08-09 21:08:08 +00:00
TrustNonnullChecker.cpp [analyzer] Do not crash if the assumption added in TrustNonNullChecker is enough to make the state unfeasible 2018-10-03 22:31:09 +00:00
UndefBranchChecker.cpp [analyzer] Rename trackNullOrUndefValue to trackExpressionValue 2018-10-23 18:24:53 +00:00
UndefCapturedBlockVarChecker.cpp [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the helper is used consistently 2018-01-17 20:27:29 +00:00
UndefResultChecker.cpp [analyzer] Rename trackNullOrUndefValue to trackExpressionValue 2018-10-23 18:24:53 +00:00
UndefinedArraySubscriptChecker.cpp [analyzer] Rename trackNullOrUndefValue to trackExpressionValue 2018-10-23 18:24:53 +00:00
UndefinedAssignmentChecker.cpp [analyzer] Rename trackNullOrUndefValue to trackExpressionValue 2018-10-23 18:24:53 +00:00
UnixAPIChecker.cpp [analyzer] Rename trackNullOrUndefValue to trackExpressionValue 2018-10-23 18:24:53 +00:00
UnreachableCodeChecker.cpp Port getLocStart -> getBeginLoc 2018-08-09 21:08:08 +00:00
VLASizeChecker.cpp [analyzer] Rename trackNullOrUndefValue to trackExpressionValue 2018-10-23 18:24:53 +00:00
ValistChecker.cpp [analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameter 2018-09-28 18:49:41 +00:00
VforkChecker.cpp
…
VirtualCallChecker.cpp [analyzer] Restrict AnalyzerOptions' interface so that non-checker objects have to be registered 2018-11-05 03:50:37 +00:00