aboutsummaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
Diffstat (limited to 'lib')
-rw-r--r--lib/CMakeLists.txt4
-rw-r--r--lib/FrontendTool/CMakeLists.txt2
-rw-r--r--lib/FrontendTool/ExecuteCompilerInvocation.cpp2
-rwxr-xr-xlib/Makefile2
-rw-r--r--lib/StaticAnalyzer/AggExprVisitor.cpp (renamed from lib/EntoSA/AggExprVisitor.cpp)2
-rw-r--r--lib/StaticAnalyzer/AnalysisManager.cpp (renamed from lib/EntoSA/AnalysisManager.cpp)2
-rw-r--r--lib/StaticAnalyzer/AnalyzerStatsChecker.cpp (renamed from lib/EntoSA/AnalyzerStatsChecker.cpp)6
-rw-r--r--lib/StaticAnalyzer/BasicConstraintManager.cpp (renamed from lib/EntoSA/BasicConstraintManager.cpp)6
-rw-r--r--lib/StaticAnalyzer/BasicStore.cpp (renamed from lib/EntoSA/BasicStore.cpp)2
-rw-r--r--lib/StaticAnalyzer/BasicValueFactory.cpp (renamed from lib/EntoSA/BasicValueFactory.cpp)2
-rw-r--r--lib/StaticAnalyzer/BlockCounter.cpp (renamed from lib/EntoSA/BlockCounter.cpp)2
-rw-r--r--lib/StaticAnalyzer/BugReporter.cpp (renamed from lib/EntoSA/BugReporter.cpp)8
-rw-r--r--lib/StaticAnalyzer/BugReporterVisitors.cpp (renamed from lib/EntoSA/BugReporterVisitors.cpp)8
-rw-r--r--lib/StaticAnalyzer/CFRefCount.cpp (renamed from lib/EntoSA/CFRefCount.cpp)16
-rw-r--r--lib/StaticAnalyzer/CMakeLists.txt (renamed from lib/EntoSA/CMakeLists.txt)4
-rw-r--r--lib/StaticAnalyzer/CXXExprEngine.cpp (renamed from lib/EntoSA/CXXExprEngine.cpp)4
-rw-r--r--lib/StaticAnalyzer/Checker.cpp (renamed from lib/EntoSA/Checker.cpp)2
-rw-r--r--lib/StaticAnalyzer/CheckerHelpers.cpp (renamed from lib/EntoSA/CheckerHelpers.cpp)2
-rw-r--r--lib/StaticAnalyzer/Checkers/AdjustedReturnValueChecker.cpp (renamed from lib/EntoSA/Checkers/AdjustedReturnValueChecker.cpp)6
-rw-r--r--lib/StaticAnalyzer/Checkers/AnalysisConsumer.cpp (renamed from lib/EntoSA/Checkers/AnalysisConsumer.cpp)18
-rw-r--r--lib/StaticAnalyzer/Checkers/ArrayBoundChecker.cpp (renamed from lib/EntoSA/Checkers/ArrayBoundChecker.cpp)6
-rw-r--r--lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp (renamed from lib/EntoSA/Checkers/ArrayBoundCheckerV2.cpp)6
-rw-r--r--lib/StaticAnalyzer/Checkers/AttrNonNullChecker.cpp (renamed from lib/EntoSA/Checkers/AttrNonNullChecker.cpp)4
-rw-r--r--lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp (renamed from lib/EntoSA/Checkers/BasicObjCFoundationChecks.cpp)16
-rw-r--r--lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.h (renamed from lib/EntoSA/Checkers/BasicObjCFoundationChecks.h)0
-rw-r--r--lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp (renamed from lib/EntoSA/Checkers/BuiltinFunctionChecker.cpp)2
-rw-r--r--lib/StaticAnalyzer/Checkers/CMakeLists.txt (renamed from lib/EntoSA/Checkers/CMakeLists.txt)4
-rw-r--r--lib/StaticAnalyzer/Checkers/CStringChecker.cpp (renamed from lib/EntoSA/Checkers/CStringChecker.cpp)6
-rw-r--r--lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp (renamed from lib/EntoSA/Checkers/CallAndMessageChecker.cpp)4
-rw-r--r--lib/StaticAnalyzer/Checkers/CastSizeChecker.cpp (renamed from lib/EntoSA/Checkers/CastSizeChecker.cpp)4
-rw-r--r--lib/StaticAnalyzer/Checkers/CastToStructChecker.cpp (renamed from lib/EntoSA/Checkers/CastToStructChecker.cpp)4
-rw-r--r--lib/StaticAnalyzer/Checkers/CheckDeadStores.cpp (renamed from lib/EntoSA/Checkers/CheckDeadStores.cpp)6
-rw-r--r--lib/StaticAnalyzer/Checkers/CheckObjCDealloc.cpp (renamed from lib/EntoSA/Checkers/CheckObjCDealloc.cpp)6
-rw-r--r--lib/StaticAnalyzer/Checkers/CheckObjCInstMethSignature.cpp (renamed from lib/EntoSA/Checkers/CheckObjCInstMethSignature.cpp)6
-rw-r--r--lib/StaticAnalyzer/Checkers/CheckSecuritySyntaxOnly.cpp (renamed from lib/EntoSA/Checkers/CheckSecuritySyntaxOnly.cpp)4
-rw-r--r--lib/StaticAnalyzer/Checkers/CheckSizeofPointer.cpp (renamed from lib/EntoSA/Checkers/CheckSizeofPointer.cpp)4
-rw-r--r--lib/StaticAnalyzer/Checkers/ChrootChecker.cpp (renamed from lib/EntoSA/Checkers/ChrootChecker.cpp)10
-rw-r--r--lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp (renamed from lib/EntoSA/Checkers/DereferenceChecker.cpp)8
-rw-r--r--lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp (renamed from lib/EntoSA/Checkers/DivZeroChecker.cpp)4
-rw-r--r--lib/StaticAnalyzer/Checkers/ExprEngine.cpp (renamed from lib/EntoSA/Checkers/ExprEngine.cpp)10
-rw-r--r--lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.cpp (renamed from lib/EntoSA/Checkers/ExprEngineExperimentalChecks.cpp)2
-rw-r--r--lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.h (renamed from lib/EntoSA/Checkers/ExprEngineExperimentalChecks.h)0
-rw-r--r--lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h (renamed from lib/EntoSA/Checkers/ExprEngineInternalChecks.h)0
-rw-r--r--lib/StaticAnalyzer/Checkers/FixedAddressChecker.cpp (renamed from lib/EntoSA/Checkers/FixedAddressChecker.cpp)4
-rw-r--r--lib/StaticAnalyzer/Checkers/FrontendActions.cpp (renamed from lib/EntoSA/Checkers/FrontendActions.cpp)4
-rw-r--r--lib/StaticAnalyzer/Checkers/IdempotentOperationChecker.cpp (renamed from lib/EntoSA/Checkers/IdempotentOperationChecker.cpp)12
-rw-r--r--lib/StaticAnalyzer/Checkers/LLVMConventionsChecker.cpp (renamed from lib/EntoSA/Checkers/LLVMConventionsChecker.cpp)4
-rw-r--r--lib/StaticAnalyzer/Checkers/MacOSXAPIChecker.cpp (renamed from lib/EntoSA/Checkers/MacOSXAPIChecker.cpp)6
-rw-r--r--lib/StaticAnalyzer/Checkers/Makefile (renamed from lib/EntoSA/Checkers/Makefile)2
-rw-r--r--lib/StaticAnalyzer/Checkers/MallocChecker.cpp (renamed from lib/EntoSA/Checkers/MallocChecker.cpp)10
-rw-r--r--lib/StaticAnalyzer/Checkers/NSAutoreleasePoolChecker.cpp (renamed from lib/EntoSA/Checkers/NSAutoreleasePoolChecker.cpp)6
-rw-r--r--lib/StaticAnalyzer/Checkers/NSErrorChecker.cpp (renamed from lib/EntoSA/Checkers/NSErrorChecker.cpp)8
-rw-r--r--lib/StaticAnalyzer/Checkers/NoReturnFunctionChecker.cpp (renamed from lib/EntoSA/Checkers/NoReturnFunctionChecker.cpp)2
-rw-r--r--lib/StaticAnalyzer/Checkers/OSAtomicChecker.cpp (renamed from lib/EntoSA/Checkers/OSAtomicChecker.cpp)2
-rw-r--r--lib/StaticAnalyzer/Checkers/ObjCAtSyncChecker.cpp (renamed from lib/EntoSA/Checkers/ObjCAtSyncChecker.cpp)8
-rw-r--r--lib/StaticAnalyzer/Checkers/ObjCUnusedIVarsChecker.cpp (renamed from lib/EntoSA/Checkers/ObjCUnusedIVarsChecker.cpp)6
-rw-r--r--lib/StaticAnalyzer/Checkers/PointerArithChecker.cpp (renamed from lib/EntoSA/Checkers/PointerArithChecker.cpp)4
-rw-r--r--lib/StaticAnalyzer/Checkers/PointerSubChecker.cpp (renamed from lib/EntoSA/Checkers/PointerSubChecker.cpp)4
-rw-r--r--lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp (renamed from lib/EntoSA/Checkers/PthreadLockChecker.cpp)6
-rw-r--r--lib/StaticAnalyzer/Checkers/ReturnPointerRangeChecker.cpp (renamed from lib/EntoSA/Checkers/ReturnPointerRangeChecker.cpp)6
-rw-r--r--lib/StaticAnalyzer/Checkers/ReturnUndefChecker.cpp (renamed from lib/EntoSA/Checkers/ReturnUndefChecker.cpp)6
-rw-r--r--lib/StaticAnalyzer/Checkers/StackAddrLeakChecker.cpp (renamed from lib/EntoSA/Checkers/StackAddrLeakChecker.cpp)6
-rw-r--r--lib/StaticAnalyzer/Checkers/StreamChecker.cpp (renamed from lib/EntoSA/Checkers/StreamChecker.cpp)10
-rw-r--r--lib/StaticAnalyzer/Checkers/UndefBranchChecker.cpp (renamed from lib/EntoSA/Checkers/UndefBranchChecker.cpp)4
-rw-r--r--lib/StaticAnalyzer/Checkers/UndefCapturedBlockVarChecker.cpp (renamed from lib/EntoSA/Checkers/UndefCapturedBlockVarChecker.cpp)6
-rw-r--r--lib/StaticAnalyzer/Checkers/UndefResultChecker.cpp (renamed from lib/EntoSA/Checkers/UndefResultChecker.cpp)6
-rw-r--r--lib/StaticAnalyzer/Checkers/UndefinedArraySubscriptChecker.cpp (renamed from lib/EntoSA/Checkers/UndefinedArraySubscriptChecker.cpp)4
-rw-r--r--lib/StaticAnalyzer/Checkers/UndefinedAssignmentChecker.cpp (renamed from lib/EntoSA/Checkers/UndefinedAssignmentChecker.cpp)4
-rw-r--r--lib/StaticAnalyzer/Checkers/UnixAPIChecker.cpp (renamed from lib/EntoSA/Checkers/UnixAPIChecker.cpp)4
-rw-r--r--lib/StaticAnalyzer/Checkers/UnreachableCodeChecker.cpp (renamed from lib/EntoSA/Checkers/UnreachableCodeChecker.cpp)10
-rw-r--r--lib/StaticAnalyzer/Checkers/VLASizeChecker.cpp (renamed from lib/EntoSA/Checkers/VLASizeChecker.cpp)6
-rw-r--r--lib/StaticAnalyzer/CoreEngine.cpp (renamed from lib/EntoSA/CoreEngine.cpp)6
-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