aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--examples/PrintFunctionNames/CMakeLists.txt4
-rw-r--r--examples/clang-interpreter/CMakeLists.txt4
-rw-r--r--examples/clang-interpreter/Makefile2
-rw-r--r--examples/wpa/CMakeLists.txt4
-rw-r--r--examples/wpa/Makefile2
-rw-r--r--include/clang/StaticAnalyzer/AnalysisConsumer.h (renamed from include/clang/EntoSA/AnalysisConsumer.h)0
-rw-r--r--include/clang/StaticAnalyzer/BugReporter/BugReporter.h (renamed from include/clang/EntoSA/BugReporter/BugReporter.h)2
-rw-r--r--include/clang/StaticAnalyzer/BugReporter/BugType.h (renamed from include/clang/EntoSA/BugReporter/BugType.h)2
-rw-r--r--include/clang/StaticAnalyzer/BugReporter/PathDiagnostic.h (renamed from include/clang/EntoSA/BugReporter/PathDiagnostic.h)0
-rw-r--r--include/clang/StaticAnalyzer/Checkers/DereferenceChecker.h (renamed from include/clang/EntoSA/Checkers/DereferenceChecker.h)0
-rw-r--r--include/clang/StaticAnalyzer/Checkers/LocalCheckers.h (renamed from include/clang/EntoSA/Checkers/LocalCheckers.h)0
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/AnalysisConsumer.h39
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/BugReporter/BugReporter.h486
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/BugReporter/BugType.h76
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/BugReporter/PathDiagnostic.h500
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/Checkers/DereferenceChecker.h35
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/Checkers/LocalCheckers.h67
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/FrontendActions.h (renamed from include/clang/EntoSA/FrontendActions.h)0
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/ManagerRegistry.h (renamed from include/clang/EntoSA/ManagerRegistry.h)2
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/PathDiagnosticClients.h (renamed from include/clang/EntoSA/PathDiagnosticClients.h)0
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/PathSensitive/AnalysisManager.h (renamed from include/clang/EntoSA/PathSensitive/AnalysisManager.h)4
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/PathSensitive/BasicValueFactory.h (renamed from include/clang/EntoSA/PathSensitive/BasicValueFactory.h)2
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/PathSensitive/BlockCounter.h (renamed from include/clang/EntoSA/PathSensitive/BlockCounter.h)0
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/PathSensitive/Checker.h (renamed from include/clang/EntoSA/PathSensitive/Checker.h)2
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/PathSensitive/CheckerHelpers.h (renamed from include/clang/EntoSA/PathSensitive/CheckerHelpers.h)0
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/PathSensitive/CheckerVisitor.def (renamed from include/clang/EntoSA/PathSensitive/CheckerVisitor.def)0
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/PathSensitive/CheckerVisitor.h (renamed from include/clang/EntoSA/PathSensitive/CheckerVisitor.h)8
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/PathSensitive/ConstraintManager.h (renamed from include/clang/EntoSA/PathSensitive/ConstraintManager.h)2
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/PathSensitive/CoreEngine.h (renamed from include/clang/EntoSA/PathSensitive/CoreEngine.h)8
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/PathSensitive/Environment.h (renamed from include/clang/EntoSA/PathSensitive/Environment.h)4
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/PathSensitive/ExplodedGraph.h (renamed from include/clang/EntoSA/PathSensitive/ExplodedGraph.h)0
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/PathSensitive/ExprEngine.h (renamed from include/clang/EntoSA/PathSensitive/ExprEngine.h)12
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/PathSensitive/ExprEngineBuilders.h (renamed from include/clang/EntoSA/PathSensitive/ExprEngineBuilders.h)2
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/PathSensitive/GRState.h (renamed from include/clang/EntoSA/PathSensitive/GRState.h)8
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/PathSensitive/GRStateTrait.h (renamed from include/clang/EntoSA/PathSensitive/GRStateTrait.h)0
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/PathSensitive/MemRegion.h (renamed from include/clang/EntoSA/PathSensitive/MemRegion.h)2
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/PathSensitive/SValBuilder.h (renamed from include/clang/EntoSA/PathSensitive/SValBuilder.h)6
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/PathSensitive/SVals.h (renamed from include/clang/EntoSA/PathSensitive/SVals.h)2
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/PathSensitive/Store.h (renamed from include/clang/EntoSA/PathSensitive/Store.h)4
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/PathSensitive/SubEngine.h (renamed from include/clang/EntoSA/PathSensitive/SubEngine.h)2
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/PathSensitive/SummaryManager.h (renamed from include/clang/EntoSA/PathSensitive/SummaryManager.h)0
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/PathSensitive/SymbolManager.h (renamed from include/clang/EntoSA/PathSensitive/SymbolManager.h)0
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/PathSensitive/TransferFuncs.h (renamed from include/clang/EntoSA/PathSensitive/TransferFuncs.h)4
-rw-r--r--include/clang/StaticAnalyzer/EntoSA/PathSensitive/WorkList.h (renamed from include/clang/EntoSA/PathSensitive/WorkList.h)2
-rw-r--r--include/clang/StaticAnalyzer/FrontendActions.h33
-rw-r--r--include/clang/StaticAnalyzer/ManagerRegistry.h58
-rw-r--r--include/clang/StaticAnalyzer/PathDiagnosticClients.h42
-rw-r--r--include/clang/StaticAnalyzer/PathSensitive/AnalysisManager.h208
-rw-r--r--include/clang/StaticAnalyzer/PathSensitive/BasicValueFactory.h201
-rw-r--r--include/clang/StaticAnalyzer/PathSensitive/BlockCounter.h59
-rw-r--r--include/clang/StaticAnalyzer/PathSensitive/Checker.h309
-rw-r--r--include/clang/StaticAnalyzer/PathSensitive/CheckerHelpers.h44
-rw-r--r--include/clang/StaticAnalyzer/PathSensitive/CheckerVisitor.def43
-rw-r--r--include/clang/StaticAnalyzer/PathSensitive/CheckerVisitor.h111
-rw-r--r--include/clang/StaticAnalyzer/PathSensitive/ConstraintManager.h76
-rw-r--r--include/clang/StaticAnalyzer/PathSensitive/CoreEngine.h542
-rw-r--r--include/clang/StaticAnalyzer/PathSensitive/Environment.h106
-rw-r--r--include/clang/StaticAnalyzer/PathSensitive/ExplodedGraph.h435
-rw-r--r--include/clang/StaticAnalyzer/PathSensitive/ExprEngine.h544
-rw-r--r--include/clang/StaticAnalyzer/PathSensitive/ExprEngineBuilders.h81
-rw-r--r--include/clang/StaticAnalyzer/PathSensitive/GRState.h760
-rw-r--r--include/clang/StaticAnalyzer/PathSensitive/GRStateTrait.h152
-rw-r--r--include/clang/StaticAnalyzer/PathSensitive/MemRegion.h1077
-rw-r--r--include/clang/StaticAnalyzer/PathSensitive/SValBuilder.h259
-rw-r--r--include/clang/StaticAnalyzer/PathSensitive/SVals.h522
-rw-r--r--include/clang/StaticAnalyzer/PathSensitive/Store.h259
-rw-r--r--include/clang/StaticAnalyzer/PathSensitive/SubEngine.h113
-rw-r--r--include/clang/StaticAnalyzer/PathSensitive/SummaryManager.h61
-rw-r--r--include/clang/StaticAnalyzer/PathSensitive/SymbolManager.h489
-rw-r--r--include/clang/StaticAnalyzer/PathSensitive/TransferFuncs.h92
-rw-r--r--include/clang/StaticAnalyzer/PathSensitive/WorkList.h94
-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--