aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2010-12-23 19:38:26 +0000
committerTed Kremenek <kremenek@apple.com>2010-12-23 19:38:26 +0000
commit21142581d55918beed544a757e4af3bb865b1812 (patch)
treec630a6cf82f6953372f1ea8f700d0d0a9372472c /lib/StaticAnalyzer
parentfd03843f0597de5eeced69ca9ae45c478fb2b153 (diff)
Chris Lattner has strong opinions about directory
layout. :) Rename the 'EntoSA' directories to 'StaticAnalyzer'. Internally we will still use the 'ento' namespace for the analyzer engine (unless there are further sabre rattlings...). git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@122514 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer')
-rw-r--r--lib/StaticAnalyzer/AggExprVisitor.cpp63
-rw-r--r--lib/StaticAnalyzer/AnalysisManager.cpp32
-rw-r--r--lib/StaticAnalyzer/AnalyzerStatsChecker.cpp123
-rw-r--r--lib/StaticAnalyzer/BasicConstraintManager.cpp338
-rw-r--r--lib/StaticAnalyzer/BasicStore.cpp594
-rw-r--r--lib/StaticAnalyzer/BasicValueFactory.cpp290
-rw-r--r--lib/StaticAnalyzer/BlockCounter.cpp86
-rw-r--r--lib/StaticAnalyzer/BugReporter.cpp1892
-rw-r--r--lib/StaticAnalyzer/BugReporterVisitors.cpp457
-rw-r--r--lib/StaticAnalyzer/CFRefCount.cpp3500
-rw-r--r--lib/StaticAnalyzer/CMakeLists.txt41
-rw-r--r--lib/StaticAnalyzer/CXXExprEngine.cpp328
-rw-r--r--lib/StaticAnalyzer/Checker.cpp36
-rw-r--r--lib/StaticAnalyzer/CheckerHelpers.cpp80
-rw-r--r--lib/StaticAnalyzer/Checkers/AdjustedReturnValueChecker.cpp96
-rw-r--r--lib/StaticAnalyzer/Checkers/AnalysisConsumer.cpp610
-rw-r--r--lib/StaticAnalyzer/Checkers/ArrayBoundChecker.cpp91
-rw-r--r--lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp277
-rw-r--r--lib/StaticAnalyzer/Checkers/AttrNonNullChecker.cpp136
-rw-r--r--lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp521
-rw-r--r--lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.h36
-rw-r--r--lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp83
-rw-r--r--lib/StaticAnalyzer/Checkers/CMakeLists.txt53
-rw-r--r--lib/StaticAnalyzer/Checkers/CStringChecker.cpp1048
-rw-r--r--lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp350
-rw-r--r--lib/StaticAnalyzer/Checkers/CastSizeChecker.cpp91
-rw-r--r--lib/StaticAnalyzer/Checkers/CastToStructChecker.cpp79
-rw-r--r--lib/StaticAnalyzer/Checkers/CheckDeadStores.cpp290
-rw-r--r--lib/StaticAnalyzer/Checkers/CheckObjCDealloc.cpp262
-rw-r--r--lib/StaticAnalyzer/Checkers/CheckObjCInstMethSignature.cpp120
-rw-r--r--lib/StaticAnalyzer/Checkers/CheckSecuritySyntaxOnly.cpp503
-rw-r--r--lib/StaticAnalyzer/Checkers/CheckSizeofPointer.cpp72
-rw-r--r--lib/StaticAnalyzer/Checkers/ChrootChecker.cpp162
-rw-r--r--lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp204
-rw-r--r--lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp86
-rw-r--r--lib/StaticAnalyzer/Checkers/ExprEngine.cpp3513
-rw-r--r--lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.cpp46
-rw-r--r--lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.h37
-rw-r--r--lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h59
-rw-r--r--lib/StaticAnalyzer/Checkers/FixedAddressChecker.cpp72
-rw-r--r--lib/StaticAnalyzer/Checkers/FrontendActions.cpp22
-rw-r--r--lib/StaticAnalyzer/Checkers/IdempotentOperationChecker.cpp834
-rw-r--r--lib/StaticAnalyzer/Checkers/LLVMConventionsChecker.cpp313
-rw-r--r--lib/StaticAnalyzer/Checkers/MacOSXAPIChecker.cpp142
-rw-r--r--lib/StaticAnalyzer/Checkers/Makefile17
-rw-r--r--lib/StaticAnalyzer/Checkers/MallocChecker.cpp733
-rw-r--r--lib/StaticAnalyzer/Checkers/NSAutoreleasePoolChecker.cpp87
-rw-r--r--lib/StaticAnalyzer/Checkers/NSErrorChecker.cpp238
-rw-r--r--lib/StaticAnalyzer/Checkers/NoReturnFunctionChecker.cpp80
-rw-r--r--lib/StaticAnalyzer/Checkers/OSAtomicChecker.cpp203
-rw-r--r--lib/StaticAnalyzer/Checkers/ObjCAtSyncChecker.cpp95
-rw-r--r--lib/StaticAnalyzer/Checkers/ObjCUnusedIVarsChecker.cpp164
-rw-r--r--lib/StaticAnalyzer/Checkers/PointerArithChecker.cpp72
-rw-r--r--lib/StaticAnalyzer/Checkers/PointerSubChecker.cpp79
-rw-r--r--lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp147
-rw-r--r--lib/StaticAnalyzer/Checkers/ReturnPointerRangeChecker.cpp95
-rw-r--r--lib/StaticAnalyzer/Checkers/ReturnUndefChecker.cpp69
-rw-r--r--lib/StaticAnalyzer/Checkers/StackAddrLeakChecker.cpp205
-rw-r--r--lib/StaticAnalyzer/Checkers/StreamChecker.cpp466
-rw-r--r--lib/StaticAnalyzer/Checkers/UndefBranchChecker.cpp120
-rw-r--r--lib/StaticAnalyzer/Checkers/UndefCapturedBlockVarChecker.cpp102
-rw-r--r--lib/StaticAnalyzer/Checkers/UndefResultChecker.cpp87
-rw-r--r--lib/StaticAnalyzer/Checkers/UndefinedArraySubscriptChecker.cpp57
-rw-r--r--lib/StaticAnalyzer/Checkers/UndefinedAssignmentChecker.cpp94
-rw-r--r--lib/StaticAnalyzer/Checkers/UnixAPIChecker.cpp277
-rw-r--r--lib/StaticAnalyzer/Checkers/UnreachableCodeChecker.cpp223
-rw-r--r--lib/StaticAnalyzer/Checkers/VLASizeChecker.cpp138
-rw-r--r--lib/StaticAnalyzer/CoreEngine.cpp809
-rw-r--r--lib/StaticAnalyzer/EntoSA/AggExprVisitor.cpp63
-rw-r--r--lib/StaticAnalyzer/EntoSA/AnalysisManager.cpp32
-rw-r--r--lib/StaticAnalyzer/EntoSA/AnalyzerStatsChecker.cpp123
-rw-r--r--lib/StaticAnalyzer/EntoSA/BasicConstraintManager.cpp338
-rw-r--r--lib/StaticAnalyzer/EntoSA/BasicStore.cpp594
-rw-r--r--lib/StaticAnalyzer/EntoSA/BasicValueFactory.cpp290
-rw-r--r--lib/StaticAnalyzer/EntoSA/BlockCounter.cpp86
-rw-r--r--lib/StaticAnalyzer/EntoSA/BugReporter.cpp1892
-rw-r--r--lib/StaticAnalyzer/EntoSA/BugReporterVisitors.cpp457
-rw-r--r--lib/StaticAnalyzer/EntoSA/CFRefCount.cpp3500
-rw-r--r--lib/StaticAnalyzer/EntoSA/CMakeLists.txt41
-rw-r--r--lib/StaticAnalyzer/EntoSA/CXXExprEngine.cpp328
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checker.cpp36
-rw-r--r--lib/StaticAnalyzer/EntoSA/CheckerHelpers.cpp80
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/AdjustedReturnValueChecker.cpp96
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/AnalysisConsumer.cpp610
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/ArrayBoundChecker.cpp91
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/ArrayBoundCheckerV2.cpp277
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/AttrNonNullChecker.cpp136
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/BasicObjCFoundationChecks.cpp521
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/BasicObjCFoundationChecks.h36
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/BuiltinFunctionChecker.cpp83
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/CMakeLists.txt53
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/CStringChecker.cpp1048
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/CallAndMessageChecker.cpp350
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/CastSizeChecker.cpp91
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/CastToStructChecker.cpp79
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/CheckDeadStores.cpp290
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/CheckObjCDealloc.cpp262
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/CheckObjCInstMethSignature.cpp120
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/CheckSecuritySyntaxOnly.cpp503
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/CheckSizeofPointer.cpp72
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/ChrootChecker.cpp162
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/DereferenceChecker.cpp204
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/DivZeroChecker.cpp86
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/ExprEngine.cpp3513
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/ExprEngineExperimentalChecks.cpp46
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/ExprEngineExperimentalChecks.h37
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/ExprEngineInternalChecks.h59
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/FixedAddressChecker.cpp72
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/FrontendActions.cpp22
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/IdempotentOperationChecker.cpp834
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/LLVMConventionsChecker.cpp313
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/MacOSXAPIChecker.cpp142
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/Makefile17
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/MallocChecker.cpp733
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/NSAutoreleasePoolChecker.cpp87
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/NSErrorChecker.cpp238
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/NoReturnFunctionChecker.cpp80
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/OSAtomicChecker.cpp203
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/ObjCAtSyncChecker.cpp95
-rw-r--r--lib/StaticAnalyzer/EntoSA/Checkers/ObjCUnusedIVarsChecker.cpp164