aboutsummaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2010-12-23 07:22:02 +0000
committerTed Kremenek <kremenek@apple.com>2010-12-23 07:22:02 +0000
commit3a8f40ed5e86a97e07d255976a95d2f3ad792b6d (patch)
tree117254bbdb2b4fbee6911be73d204642e1f5e17e /lib
parent9ef6537a894c33003359b1f9b9676e9178e028b7 (diff)
Rename headers: 'clang/GR' 'clang/EntoSA' and
update Makefile. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@122493 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib')
-rw-r--r--lib/CMakeLists.txt4
-rw-r--r--lib/EntoSA/AggExprVisitor.cpp (renamed from lib/GR/AggExprVisitor.cpp)2
-rw-r--r--lib/EntoSA/AnalysisManager.cpp (renamed from lib/GR/AnalysisManager.cpp)2
-rw-r--r--lib/EntoSA/AnalyzerStatsChecker.cpp (renamed from lib/GR/AnalyzerStatsChecker.cpp)6
-rw-r--r--lib/EntoSA/BasicConstraintManager.cpp (renamed from lib/GR/BasicConstraintManager.cpp)6
-rw-r--r--lib/EntoSA/BasicStore.cpp (renamed from lib/GR/BasicStore.cpp)2
-rw-r--r--lib/EntoSA/BasicValueFactory.cpp (renamed from lib/GR/BasicValueFactory.cpp)2
-rw-r--r--lib/EntoSA/BlockCounter.cpp (renamed from lib/GR/BlockCounter.cpp)2
-rw-r--r--lib/EntoSA/BugReporter.cpp (renamed from lib/GR/BugReporter.cpp)8
-rw-r--r--lib/EntoSA/BugReporterVisitors.cpp (renamed from lib/GR/BugReporterVisitors.cpp)8
-rw-r--r--lib/EntoSA/CFRefCount.cpp (renamed from lib/GR/CFRefCount.cpp)16
-rw-r--r--lib/EntoSA/CMakeLists.txt (renamed from lib/GR/CMakeLists.txt)4
-rw-r--r--lib/EntoSA/CXXExprEngine.cpp (renamed from lib/GR/CXXExprEngine.cpp)4
-rw-r--r--lib/EntoSA/Checker.cpp (renamed from lib/GR/Checker.cpp)2
-rw-r--r--lib/EntoSA/CheckerHelpers.cpp (renamed from lib/GR/CheckerHelpers.cpp)2
-rw-r--r--lib/EntoSA/Checkers/AdjustedReturnValueChecker.cpp (renamed from lib/GR/Checkers/AdjustedReturnValueChecker.cpp)6
-rw-r--r--lib/EntoSA/Checkers/AnalysisConsumer.cpp (renamed from lib/GR/Checkers/AnalysisConsumer.cpp)18
-rw-r--r--lib/EntoSA/Checkers/ArrayBoundChecker.cpp (renamed from lib/GR/Checkers/ArrayBoundChecker.cpp)6
-rw-r--r--lib/EntoSA/Checkers/ArrayBoundCheckerV2.cpp (renamed from lib/GR/Checkers/ArrayBoundCheckerV2.cpp)6
-rw-r--r--lib/EntoSA/Checkers/AttrNonNullChecker.cpp (renamed from lib/GR/Checkers/AttrNonNullChecker.cpp)4
-rw-r--r--lib/EntoSA/Checkers/BasicObjCFoundationChecks.cpp (renamed from lib/GR/Checkers/BasicObjCFoundationChecks.cpp)16
-rw-r--r--lib/EntoSA/Checkers/BasicObjCFoundationChecks.h (renamed from lib/GR/Checkers/BasicObjCFoundationChecks.h)0
-rw-r--r--lib/EntoSA/Checkers/BuiltinFunctionChecker.cpp (renamed from lib/GR/Checkers/BuiltinFunctionChecker.cpp)2
-rw-r--r--lib/EntoSA/Checkers/CMakeLists.txt (renamed from lib/GR/Checkers/CMakeLists.txt)4
-rw-r--r--lib/EntoSA/Checkers/CStringChecker.cpp (renamed from lib/GR/Checkers/CStringChecker.cpp)6
-rw-r--r--lib/EntoSA/Checkers/CallAndMessageChecker.cpp (renamed from lib/GR/Checkers/CallAndMessageChecker.cpp)4
-rw-r--r--lib/EntoSA/Checkers/CastSizeChecker.cpp (renamed from lib/GR/Checkers/CastSizeChecker.cpp)4
-rw-r--r--lib/EntoSA/Checkers/CastToStructChecker.cpp (renamed from lib/GR/Checkers/CastToStructChecker.cpp)4
-rw-r--r--lib/EntoSA/Checkers/CheckDeadStores.cpp (renamed from lib/GR/Checkers/CheckDeadStores.cpp)6
-rw-r--r--lib/EntoSA/Checkers/CheckObjCDealloc.cpp (renamed from lib/GR/Checkers/CheckObjCDealloc.cpp)6
-rw-r--r--lib/EntoSA/Checkers/CheckObjCInstMethSignature.cpp (renamed from lib/GR/Checkers/CheckObjCInstMethSignature.cpp)6
-rw-r--r--lib/EntoSA/Checkers/CheckSecuritySyntaxOnly.cpp (renamed from lib/GR/Checkers/CheckSecuritySyntaxOnly.cpp)4
-rw-r--r--lib/EntoSA/Checkers/CheckSizeofPointer.cpp (renamed from lib/GR/Checkers/CheckSizeofPointer.cpp)4
-rw-r--r--lib/EntoSA/Checkers/ChrootChecker.cpp (renamed from lib/GR/Checkers/ChrootChecker.cpp)10
-rw-r--r--lib/EntoSA/Checkers/DereferenceChecker.cpp (renamed from lib/GR/Checkers/DereferenceChecker.cpp)8
-rw-r--r--lib/EntoSA/Checkers/DivZeroChecker.cpp (renamed from lib/GR/Checkers/DivZeroChecker.cpp)4
-rw-r--r--lib/EntoSA/Checkers/ExprEngine.cpp (renamed from lib/GR/Checkers/ExprEngine.cpp)10
-rw-r--r--lib/EntoSA/Checkers/ExprEngineExperimentalChecks.cpp (renamed from lib/GR/Checkers/ExprEngineExperimentalChecks.cpp)2
-rw-r--r--lib/EntoSA/Checkers/ExprEngineExperimentalChecks.h (renamed from lib/GR/Checkers/ExprEngineExperimentalChecks.h)0
-rw-r--r--lib/EntoSA/Checkers/ExprEngineInternalChecks.h (renamed from lib/GR/Checkers/ExprEngineInternalChecks.h)0
-rw-r--r--lib/EntoSA/Checkers/FixedAddressChecker.cpp (renamed from lib/GR/Checkers/FixedAddressChecker.cpp)4
-rw-r--r--lib/EntoSA/Checkers/FrontendActions.cpp (renamed from lib/GR/Checkers/FrontendActions.cpp)4
-rw-r--r--lib/EntoSA/Checkers/IdempotentOperationChecker.cpp (renamed from lib/GR/Checkers/IdempotentOperationChecker.cpp)12
-rw-r--r--lib/EntoSA/Checkers/LLVMConventionsChecker.cpp (renamed from lib/GR/Checkers/LLVMConventionsChecker.cpp)4
-rw-r--r--lib/EntoSA/Checkers/MacOSXAPIChecker.cpp (renamed from lib/GR/Checkers/MacOSXAPIChecker.cpp)6
-rw-r--r--lib/EntoSA/Checkers/Makefile (renamed from lib/GR/Checkers/Makefile)2
-rw-r--r--lib/EntoSA/Checkers/MallocChecker.cpp (renamed from lib/GR/Checkers/MallocChecker.cpp)10
-rw-r--r--lib/EntoSA/Checkers/NSAutoreleasePoolChecker.cpp (renamed from lib/GR/Checkers/NSAutoreleasePoolChecker.cpp)6
-rw-r--r--lib/EntoSA/Checkers/NSErrorChecker.cpp (renamed from lib/GR/Checkers/NSErrorChecker.cpp)8
-rw-r--r--lib/EntoSA/Checkers/NoReturnFunctionChecker.cpp (renamed from lib/GR/Checkers/NoReturnFunctionChecker.cpp)2
-rw-r--r--lib/EntoSA/Checkers/OSAtomicChecker.cpp (renamed from lib/GR/Checkers/OSAtomicChecker.cpp)2
-rw-r--r--lib/EntoSA/Checkers/ObjCAtSyncChecker.cpp (renamed from lib/GR/Checkers/ObjCAtSyncChecker.cpp)8
-rw-r--r--lib/EntoSA/Checkers/ObjCUnusedIVarsChecker.cpp (renamed from lib/GR/Checkers/ObjCUnusedIVarsChecker.cpp)6
-rw-r--r--lib/EntoSA/Checkers/PointerArithChecker.cpp (renamed from lib/GR/Checkers/PointerArithChecker.cpp)4
-rw-r--r--lib/EntoSA/Checkers/PointerSubChecker.cpp (renamed from lib/GR/Checkers/PointerSubChecker.cpp)4
-rw-r--r--lib/EntoSA/Checkers/PthreadLockChecker.cpp (renamed from lib/GR/Checkers/PthreadLockChecker.cpp)6
-rw-r--r--lib/EntoSA/Checkers/ReturnPointerRangeChecker.cpp (renamed from lib/GR/Checkers/ReturnPointerRangeChecker.cpp)6
-rw-r--r--lib/EntoSA/Checkers/ReturnUndefChecker.cpp (renamed from lib/GR/Checkers/ReturnUndefChecker.cpp)6
-rw-r--r--lib/EntoSA/Checkers/StackAddrLeakChecker.cpp (renamed from lib/GR/Checkers/StackAddrLeakChecker.cpp)6
-rw-r--r--lib/EntoSA/Checkers/StreamChecker.cpp (renamed from lib/GR/Checkers/StreamChecker.cpp)10
-rw-r--r--lib/EntoSA/Checkers/UndefBranchChecker.cpp (renamed from lib/GR/Checkers/UndefBranchChecker.cpp)4
-rw-r--r--lib/EntoSA/Checkers/UndefCapturedBlockVarChecker.cpp (renamed from lib/GR/Checkers/UndefCapturedBlockVarChecker.cpp)6
-rw-r--r--lib/EntoSA/Checkers/UndefResultChecker.cpp (renamed from lib/GR/Checkers/UndefResultChecker.cpp)6
-rw-r--r--lib/EntoSA/Checkers/UndefinedArraySubscriptChecker.cpp (renamed from lib/GR/Checkers/UndefinedArraySubscriptChecker.cpp)4
-rw-r--r--lib/EntoSA/Checkers/UndefinedAssignmentChecker.cpp (renamed from lib/GR/Checkers/UndefinedAssignmentChecker.cpp)4
-rw-r--r--lib/EntoSA/Checkers/UnixAPIChecker.cpp (renamed from lib/GR/Checkers/UnixAPIChecker.cpp)4
-rw-r--r--lib/EntoSA/Checkers/UnreachableCodeChecker.cpp (renamed from lib/GR/Checkers/UnreachableCodeChecker.cpp)10
-rw-r--r--lib/EntoSA/Checkers/VLASizeChecker.cpp (renamed from lib/GR/Checkers/VLASizeChecker.cpp)6
-rw-r--r--lib/EntoSA/CoreEngine.cpp (renamed from lib/GR/CoreEngine.cpp)6
-rw-r--r--lib/EntoSA/Environment.cpp (renamed from lib/GR/Environment.cpp)2
-rw-r--r--lib/EntoSA/ExplodedGraph.cpp (renamed from lib/GR/ExplodedGraph.cpp)4
-rw-r--r--lib/EntoSA/FlatStore.cpp (renamed from lib/GR/FlatStore.cpp)2
-rw-r--r--lib/EntoSA/GRState.cpp (renamed from lib/GR/GRState.cpp)8
-rw-r--r--lib/EntoSA/HTMLDiagnostics.cpp (renamed from lib/GR/HTMLDiagnostics.cpp)4
-rw-r--r--lib/EntoSA/Makefile (renamed from lib/GR/Makefile)2
-rw-r--r--lib/EntoSA/ManagerRegistry.cpp (renamed from lib/GR/ManagerRegistry.cpp)2
-rw-r--r--lib/EntoSA/MemRegion.cpp (renamed from lib/GR/MemRegion.cpp)4
-rw-r--r--lib/EntoSA/PathDiagnostic.cpp (renamed from lib/GR/PathDiagnostic.cpp)2
-rw-r--r--lib/EntoSA/PlistDiagnostics.cpp (renamed from lib/GR/PlistDiagnostics.cpp)4
-rw-r--r--lib/EntoSA/README.txt (renamed from lib/GR/README.txt)0
-rw-r--r--lib/EntoSA/RangeConstraintManager.cpp (renamed from lib/GR/RangeConstraintManager.cpp)8
-rw-r--r--lib/EntoSA/RegionStore.cpp (renamed from lib/GR/RegionStore.cpp)6
-rw-r--r--lib/EntoSA/SValBuilder.cpp (renamed from lib/GR/SValBuilder.cpp)10
-rw-r--r--lib/EntoSA/SVals.cpp (renamed from lib/GR/SVals.cpp)2
-rw-r--r--lib/EntoSA/SimpleConstraintManager.cpp (renamed from lib/GR/SimpleConstraintManager.cpp)6
-rw-r--r--lib/EntoSA/SimpleConstraintManager.h (renamed from lib/GR/SimpleConstraintManager.h)4
-rw-r--r--lib/EntoSA/SimpleSValBuilder.cpp (renamed from lib/GR/SimpleSValBuilder.cpp)4
-rw-r--r--lib/EntoSA/Store.cpp (renamed from lib/GR/Store.cpp)4
-rw-r--r--lib/EntoSA/SymbolManager.cpp (renamed from lib/GR/SymbolManager.cpp)4
-rw-r--r--lib/EntoSA/TextPathDiagnostics.cpp (renamed from lib/GR/TextPathDiagnostics.cpp)4
-rw-r--r--lib/FrontendTool/CMakeLists.txt2
-rw-r--r--lib/FrontendTool/ExecuteCompilerInvocation.cpp2
-rwxr-xr-xlib/Makefile2
93 files changed, 234 insertions, 234 deletions
diff --git a/lib/CMakeLists.txt b/lib/CMakeLists.txt
index 2066563c33..6197dc72d0 100644
--- a/lib/CMakeLists.txt
+++ b/lib/CMakeLists.txt
@@ -12,5 +12,5 @@ add_subdirectory(Serialization)
add_subdirectory(Frontend)
add_subdirectory(FrontendTool)
add_subdirectory(Index)
-add_subdirectory(GR)
-add_subdirectory(GR/Checkers)
+add_subdirectory(EntoSA)
+add_subdirectory(EntoSA/Checkers)
diff --git a/lib/GR/AggExprVisitor.cpp b/lib/EntoSA/AggExprVisitor.cpp
index af30c56974..c356186622 100644
--- a/lib/GR/AggExprVisitor.cpp
+++ b/lib/EntoSA/AggExprVisitor.cpp
@@ -12,7 +12,7 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/PathSensitive/ExprEngine.h"
+#include "clang/EntoSA/PathSensitive/ExprEngine.h"
#include "clang/AST/StmtVisitor.h"
using namespace clang;
diff --git a/lib/GR/AnalysisManager.cpp b/lib/EntoSA/AnalysisManager.cpp
index 767ae4ab75..fa64f472f7 100644
--- a/lib/GR/AnalysisManager.cpp
+++ b/lib/EntoSA/AnalysisManager.cpp
@@ -7,7 +7,7 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/PathSensitive/AnalysisManager.h"
+#include "clang/EntoSA/PathSensitive/AnalysisManager.h"
#include "clang/Index/Entity.h"
#include "clang/Index/Indexer.h"
diff --git a/lib/GR/AnalyzerStatsChecker.cpp b/lib/EntoSA/AnalyzerStatsChecker.cpp
index fa8ae59894..fb0e74b4b5 100644
--- a/lib/GR/AnalyzerStatsChecker.cpp
+++ b/lib/EntoSA/AnalyzerStatsChecker.cpp
@@ -9,9 +9,9 @@
// This file reports various statistics about analyzer visitation.
//===----------------------------------------------------------------------===//
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
-#include "clang/GR/PathSensitive/ExplodedGraph.h"
-#include "clang/GR/BugReporter/BugReporter.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/PathSensitive/ExplodedGraph.h"
+#include "clang/EntoSA/BugReporter/BugReporter.h"
// FIXME: Restructure checker registration.
#include "Checkers/ExprEngineExperimentalChecks.h"
diff --git a/lib/GR/BasicConstraintManager.cpp b/lib/EntoSA/BasicConstraintManager.cpp
index da91f5c985..92837d2ff4 100644
--- a/lib/GR/BasicConstraintManager.cpp
+++ b/lib/EntoSA/BasicConstraintManager.cpp
@@ -13,9 +13,9 @@
//===----------------------------------------------------------------------===//
#include "SimpleConstraintManager.h"
-#include "clang/GR/PathSensitive/GRState.h"
-#include "clang/GR/PathSensitive/GRStateTrait.h"
-#include "clang/GR/PathSensitive/TransferFuncs.h"
+#include "clang/EntoSA/PathSensitive/GRState.h"
+#include "clang/EntoSA/PathSensitive/GRStateTrait.h"
+#include "clang/EntoSA/PathSensitive/TransferFuncs.h"
#include "llvm/Support/raw_ostream.h"
using namespace clang;
diff --git a/lib/GR/BasicStore.cpp b/lib/EntoSA/BasicStore.cpp
index 9eb8d79ce4..8c4a732aa3 100644
--- a/lib/GR/BasicStore.cpp
+++ b/lib/EntoSA/BasicStore.cpp
@@ -15,7 +15,7 @@
#include "clang/AST/ExprObjC.h"
#include "clang/Analysis/Analyses/LiveVariables.h"
#include "clang/Analysis/AnalysisContext.h"
-#include "clang/GR/PathSensitive/GRState.h"
+#include "clang/EntoSA/PathSensitive/GRState.h"
#include "llvm/ADT/ImmutableMap.h"
using namespace clang;
diff --git a/lib/GR/BasicValueFactory.cpp b/lib/EntoSA/BasicValueFactory.cpp
index 8e51361e00..0d1cb4a913 100644
--- a/lib/GR/BasicValueFactory.cpp
+++ b/lib/EntoSA/BasicValueFactory.cpp
@@ -13,7 +13,7 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/PathSensitive/BasicValueFactory.h"
+#include "clang/EntoSA/PathSensitive/BasicValueFactory.h"
using namespace clang;
using namespace ento;
diff --git a/lib/GR/BlockCounter.cpp b/lib/EntoSA/BlockCounter.cpp
index dadf707cf2..b4e6eeee3f 100644
--- a/lib/GR/BlockCounter.cpp
+++ b/lib/EntoSA/BlockCounter.cpp
@@ -13,7 +13,7 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/PathSensitive/BlockCounter.h"
+#include "clang/EntoSA/PathSensitive/BlockCounter.h"
#include "llvm/ADT/ImmutableMap.h"
using namespace clang;
diff --git a/lib/GR/BugReporter.cpp b/lib/EntoSA/BugReporter.cpp
index 769e2b9c4d..ff35024499 100644
--- a/lib/GR/BugReporter.cpp
+++ b/lib/EntoSA/BugReporter.cpp
@@ -12,9 +12,9 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/BugReporter/BugReporter.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/PathSensitive/ExprEngine.h"
+#include "clang/EntoSA/BugReporter/BugReporter.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/PathSensitive/ExprEngine.h"
#include "clang/AST/ASTContext.h"
#include "clang/Analysis/CFG.h"
#include "clang/AST/Expr.h"
@@ -22,7 +22,7 @@
#include "clang/AST/StmtObjC.h"
#include "clang/Basic/SourceManager.h"
#include "clang/Analysis/ProgramPoint.h"
-#include "clang/GR/BugReporter/PathDiagnostic.h"
+#include "clang/EntoSA/BugReporter/PathDiagnostic.h"
#include "llvm/Support/raw_ostream.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/STLExtras.h"
diff --git a/lib/GR/BugReporterVisitors.cpp b/lib/EntoSA/BugReporterVisitors.cpp
index 78b5ad66ab..d264505b23 100644
--- a/lib/GR/BugReporterVisitors.cpp
+++ b/lib/EntoSA/BugReporterVisitors.cpp
@@ -14,10 +14,10 @@
#include "clang/AST/Expr.h"
#include "clang/AST/ExprObjC.h"
-#include "clang/GR/BugReporter/BugReporter.h"
-#include "clang/GR/BugReporter/PathDiagnostic.h"
-#include "clang/GR/PathSensitive/ExplodedGraph.h"
-#include "clang/GR/PathSensitive/GRState.h"
+#include "clang/EntoSA/BugReporter/BugReporter.h"
+#include "clang/EntoSA/BugReporter/PathDiagnostic.h"
+#include "clang/EntoSA/PathSensitive/ExplodedGraph.h"
+#include "clang/EntoSA/PathSensitive/GRState.h"
using namespace clang;
using namespace ento;
diff --git a/lib/GR/CFRefCount.cpp b/lib/EntoSA/CFRefCount.cpp
index 2fe6b18c6d..9c9637eb82 100644
--- a/lib/GR/CFRefCount.cpp
+++ b/lib/EntoSA/CFRefCount.cpp
@@ -16,15 +16,15 @@
#include "clang/AST/StmtVisitor.h"
#include "clang/Basic/LangOptions.h"
#include "clang/Basic/SourceManager.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/BugReporter/PathDiagnostic.h"
-#include "clang/GR/Checkers/LocalCheckers.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/BugReporter/PathDiagnostic.h"
+#include "clang/EntoSA/Checkers/LocalCheckers.h"
#include "clang/Analysis/DomainSpecific/CocoaConventions.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
-#include "clang/GR/PathSensitive/ExprEngineBuilders.h"
-#include "clang/GR/PathSensitive/GRStateTrait.h"
-#include "clang/GR/PathSensitive/TransferFuncs.h"
-#include "clang/GR/PathSensitive/SymbolManager.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/PathSensitive/ExprEngineBuilders.h"
+#include "clang/EntoSA/PathSensitive/GRStateTrait.h"
+#include "clang/EntoSA/PathSensitive/TransferFuncs.h"
+#include "clang/EntoSA/PathSensitive/SymbolManager.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/FoldingSet.h"
#include "llvm/ADT/ImmutableList.h"
diff --git a/lib/GR/CMakeLists.txt b/lib/EntoSA/CMakeLists.txt
index 748f7123f7..09a6c2f364 100644
--- a/lib/GR/CMakeLists.txt
+++ b/lib/EntoSA/CMakeLists.txt
@@ -2,7 +2,7 @@ set(LLVM_NO_RTTI 1)
set(LLVM_USED_LIBS clangBasic clangLex clangAST clangFrontend clangRewrite)
-add_clang_library(clangGRCore
+add_clang_library(clangEntoCore
AggExprVisitor.cpp
AnalysisManager.cpp
AnalyzerStatsChecker.cpp
@@ -37,5 +37,5 @@ add_clang_library(clangGRCore
TextPathDiagnostics.cpp
)
-add_dependencies(clangGRCore ClangAttrClasses ClangAttrList ClangDeclNodes
+add_dependencies(clangEntoCore ClangAttrClasses ClangAttrList ClangDeclNodes
ClangStmtNodes)
diff --git a/lib/GR/CXXExprEngine.cpp b/lib/EntoSA/CXXExprEngine.cpp
index eee90f2b21..3ecd439d0a 100644
--- a/lib/GR/CXXExprEngine.cpp
+++ b/lib/EntoSA/CXXExprEngine.cpp
@@ -11,8 +11,8 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/PathSensitive/AnalysisManager.h"
-#include "clang/GR/PathSensitive/ExprEngine.h"
+#include "clang/EntoSA/PathSensitive/AnalysisManager.h"
+#include "clang/EntoSA/PathSensitive/ExprEngine.h"
#include "clang/AST/DeclCXX.h"
using namespace clang;
diff --git a/lib/GR/Checker.cpp b/lib/EntoSA/Checker.cpp
index 975d8475bc..943be6b931 100644
--- a/lib/GR/Checker.cpp
+++ b/lib/EntoSA/Checker.cpp
@@ -12,7 +12,7 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/PathSensitive/Checker.h"
+#include "clang/EntoSA/PathSensitive/Checker.h"
using namespace clang;
using namespace ento;
diff --git a/lib/GR/CheckerHelpers.cpp b/lib/EntoSA/CheckerHelpers.cpp
index 81e83399ed..7c7f707afd 100644
--- a/lib/GR/CheckerHelpers.cpp
+++ b/lib/EntoSA/CheckerHelpers.cpp
@@ -11,7 +11,7 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/PathSensitive/CheckerHelpers.h"
+#include "clang/EntoSA/PathSensitive/CheckerHelpers.h"
#include "clang/AST/Expr.h"
// Recursively find any substatements containing macros
diff --git a/lib/GR/Checkers/AdjustedReturnValueChecker.cpp b/lib/EntoSA/Checkers/AdjustedReturnValueChecker.cpp
index d4e5389f85..914b1e4fbb 100644
--- a/lib/GR/Checkers/AdjustedReturnValueChecker.cpp
+++ b/lib/EntoSA/Checkers/AdjustedReturnValueChecker.cpp
@@ -14,9 +14,9 @@
//===----------------------------------------------------------------------===//
#include "ExprEngineInternalChecks.h"
-#include "clang/GR/BugReporter/BugReporter.h"
-#include "clang/GR/PathSensitive/ExprEngine.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/BugReporter/BugReporter.h"
+#include "clang/EntoSA/PathSensitive/ExprEngine.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
using namespace clang;
using namespace ento;
diff --git a/lib/GR/Checkers/AnalysisConsumer.cpp b/lib/EntoSA/Checkers/AnalysisConsumer.cpp
index f70de0596b..043a24a2ef 100644
--- a/lib/GR/Checkers/AnalysisConsumer.cpp
+++ b/lib/EntoSA/Checkers/AnalysisConsumer.cpp
@@ -11,7 +11,7 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/AnalysisConsumer.h"
+#include "clang/EntoSA/AnalysisConsumer.h"
#include "clang/AST/ASTConsumer.h"
#include "clang/AST/Decl.h"
#include "clang/AST/DeclCXX.h"
@@ -20,14 +20,14 @@
#include "clang/Analysis/Analyses/LiveVariables.h"
#include "clang/Analysis/Analyses/UninitializedValues.h"
#include "clang/Analysis/CFG.h"
-#include "clang/GR/Checkers/LocalCheckers.h"
-#include "clang/GR/ManagerRegistry.h"
-#include "clang/GR/BugReporter/PathDiagnostic.h"
-#include "clang/GR/PathSensitive/AnalysisManager.h"
-#include "clang/GR/BugReporter/BugReporter.h"
-#include "clang/GR/PathSensitive/ExprEngine.h"
-#include "clang/GR/PathSensitive/TransferFuncs.h"
-#include "clang/GR/PathDiagnosticClients.h"
+#include "clang/EntoSA/Checkers/LocalCheckers.h"
+#include "clang/EntoSA/ManagerRegistry.h"
+#include "clang/EntoSA/BugReporter/PathDiagnostic.h"
+#include "clang/EntoSA/PathSensitive/AnalysisManager.h"
+#include "clang/EntoSA/BugReporter/BugReporter.h"
+#include "clang/EntoSA/PathSensitive/ExprEngine.h"
+#include "clang/EntoSA/PathSensitive/TransferFuncs.h"
+#include "clang/EntoSA/PathDiagnosticClients.h"
// FIXME: Restructure checker registration.
#include "ExprEngineExperimentalChecks.h"
diff --git a/lib/GR/Checkers/ArrayBoundChecker.cpp b/lib/EntoSA/Checkers/ArrayBoundChecker.cpp
index 9d4e3c4fd9..c72a4668ab 100644
--- a/lib/GR/Checkers/ArrayBoundChecker.cpp
+++ b/lib/EntoSA/Checkers/ArrayBoundChecker.cpp
@@ -13,9 +13,9 @@
//===----------------------------------------------------------------------===//
#include "ExprEngineInternalChecks.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
-#include "clang/GR/PathSensitive/ExprEngine.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/PathSensitive/ExprEngine.h"
using namespace clang;
using namespace ento;
diff --git a/lib/GR/Checkers/ArrayBoundCheckerV2.cpp b/lib/EntoSA/Checkers/ArrayBoundCheckerV2.cpp
index 1753ac52a8..33683bac32 100644
--- a/lib/GR/Checkers/ArrayBoundCheckerV2.cpp
+++ b/lib/EntoSA/Checkers/ArrayBoundCheckerV2.cpp
@@ -13,9 +13,9 @@
//===----------------------------------------------------------------------===//
#include "ExprEngineInternalChecks.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
-#include "clang/GR/PathSensitive/ExprEngine.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/PathSensitive/ExprEngine.h"
#include "clang/AST/CharUnits.h"
using namespace clang;
diff --git a/lib/GR/Checkers/AttrNonNullChecker.cpp b/lib/EntoSA/Checkers/AttrNonNullChecker.cpp
index 5c2aede815..f887e24d16 100644
--- a/lib/GR/Checkers/AttrNonNullChecker.cpp
+++ b/lib/EntoSA/Checkers/AttrNonNullChecker.cpp
@@ -13,8 +13,8 @@
//===----------------------------------------------------------------------===//
#include "ExprEngineInternalChecks.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
using namespace clang;
using namespace ento;
diff --git a/lib/GR/Checkers/BasicObjCFoundationChecks.cpp b/lib/EntoSA/Checkers/BasicObjCFoundationChecks.cpp
index a172477bd6..8e83160a20 100644
--- a/lib/GR/Checkers/BasicObjCFoundationChecks.cpp
+++ b/lib/EntoSA/Checkers/BasicObjCFoundationChecks.cpp
@@ -15,14 +15,14 @@
#include "BasicObjCFoundationChecks.h"
-#include "clang/GR/PathSensitive/ExplodedGraph.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
-#include "clang/GR/PathSensitive/ExprEngine.h"
-#include "clang/GR/PathSensitive/GRState.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/PathSensitive/MemRegion.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
-#include "clang/GR/Checkers/LocalCheckers.h"
+#include "clang/EntoSA/PathSensitive/ExplodedGraph.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/PathSensitive/ExprEngine.h"
+#include "clang/EntoSA/PathSensitive/GRState.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/PathSensitive/MemRegion.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/Checkers/LocalCheckers.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/Expr.h"
#include "clang/AST/ExprObjC.h"
diff --git a/lib/GR/Checkers/BasicObjCFoundationChecks.h b/lib/EntoSA/Checkers/BasicObjCFoundationChecks.h
index f4966e8ae8..f4966e8ae8 100644
--- a/lib/GR/Checkers/BasicObjCFoundationChecks.h
+++ b/lib/EntoSA/Checkers/BasicObjCFoundationChecks.h
diff --git a/lib/GR/Checkers/BuiltinFunctionChecker.cpp b/lib/EntoSA/Checkers/BuiltinFunctionChecker.cpp
index 697f0a4c00..1db8aac93f 100644
--- a/lib/GR/Checkers/BuiltinFunctionChecker.cpp
+++ b/lib/EntoSA/Checkers/BuiltinFunctionChecker.cpp
@@ -12,7 +12,7 @@
//===----------------------------------------------------------------------===//
#include "ExprEngineInternalChecks.h"
-#include "clang/GR/PathSensitive/Checker.h"
+#include "clang/EntoSA/PathSensitive/Checker.h"
#include "clang/Basic/Builtins.h"
using namespace clang;
diff --git a/lib/GR/Checkers/CMakeLists.txt b/lib/EntoSA/Checkers/CMakeLists.txt
index 2f2c7a7b5c..224a515d9a 100644
--- a/lib/GR/Checkers/CMakeLists.txt
+++ b/lib/EntoSA/Checkers/CMakeLists.txt
@@ -1,4 +1,4 @@
-add_clang_library(clangGRCheckers
+add_clang_library(clangEntoCheckers
AdjustedReturnValueChecker.cpp
AnalysisConsumer.cpp
ArrayBoundChecker.cpp
@@ -49,5 +49,5 @@ add_clang_library(clangGRCheckers
VLASizeChecker.cpp
)
-add_dependencies(clangGRCore ClangAttrClasses ClangAttrList ClangDeclNodes
+add_dependencies(clangEntoCore ClangAttrClasses ClangAttrList ClangDeclNodes
ClangStmtNodes)
diff --git a/lib/GR/Checkers/CStringChecker.cpp b/lib/EntoSA/Checkers/CStringChecker.cpp
index d658c2f3dd..199d6b2f5e 100644
--- a/lib/GR/Checkers/CStringChecker.cpp
+++ b/lib/EntoSA/Checkers/CStringChecker.cpp
@@ -13,9 +13,9 @@
//===----------------------------------------------------------------------===//
#include "ExprEngineExperimentalChecks.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
-#include "clang/GR/PathSensitive/GRStateTrait.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/PathSensitive/GRStateTrait.h"
#include "llvm/ADT/StringSwitch.h"
using namespace clang;
diff --git a/lib/GR/Checkers/CallAndMessageChecker.cpp b/lib/EntoSA/Checkers/CallAndMessageChecker.cpp
index 24fc20ef13..2fa37e3fa5 100644
--- a/lib/GR/Checkers/CallAndMessageChecker.cpp
+++ b/lib/EntoSA/Checkers/CallAndMessageChecker.cpp
@@ -15,8 +15,8 @@
#include "ExprEngineInternalChecks.h"
#include "clang/AST/ParentMap.h"
#include "clang/Basic/TargetInfo.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
using namespace clang;
using namespace ento;
diff --git a/lib/GR/Checkers/CastSizeChecker.cpp b/lib/EntoSA/Checkers/CastSizeChecker.cpp
index 7844f51f06..41a72ef32d 100644
--- a/lib/GR/Checkers/CastSizeChecker.cpp
+++ b/lib/EntoSA/Checkers/CastSizeChecker.cpp
@@ -12,8 +12,8 @@
//
//===----------------------------------------------------------------------===//
#include "clang/AST/CharUnits.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
#include "ExprEngineInternalChecks.h"
using namespace clang;
diff --git a/lib/GR/Checkers/CastToStructChecker.cpp b/lib/EntoSA/Checkers/CastToStructChecker.cpp
index 236623fc4a..83393b9268 100644
--- a/lib/GR/Checkers/CastToStructChecker.cpp
+++ b/lib/EntoSA/Checkers/CastToStructChecker.cpp
@@ -13,8 +13,8 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
#include "ExprEngineInternalChecks.h"
using namespace clang;
diff --git a/lib/GR/Checkers/CheckDeadStores.cpp b/lib/EntoSA/Checkers/CheckDeadStores.cpp
index d2ffd6acb4..047c83abc6 100644
--- a/lib/GR/Checkers/CheckDeadStores.cpp
+++ b/lib/EntoSA/Checkers/CheckDeadStores.cpp
@@ -12,11 +12,11 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/Checkers/LocalCheckers.h"
+#include "clang/EntoSA/Checkers/LocalCheckers.h"
#include "clang/Analysis/Analyses/LiveVariables.h"
#include "clang/Analysis/Visitors/CFGRecStmtVisitor.h"
-#include "clang/GR/BugReporter/BugReporter.h"
-#include "clang/GR/PathSensitive/ExprEngine.h"
+#include "clang/EntoSA/BugReporter/BugReporter.h"
+#include "clang/EntoSA/PathSensitive/ExprEngine.h"
#include "clang/Analysis/Visitors/CFGRecStmtDeclVisitor.h"
#include "clang/Basic/Diagnostic.h"
#include "clang/AST/ASTContext.h"
diff --git a/lib/GR/Checkers/CheckObjCDealloc.cpp b/lib/EntoSA/Checkers/CheckObjCDealloc.cpp
index 1aa0249282..391e30f61e 100644
--- a/lib/GR/Checkers/CheckObjCDealloc.cpp
+++ b/lib/EntoSA/Checkers/CheckObjCDealloc.cpp
@@ -13,9 +13,9 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/Checkers/LocalCheckers.h"
-#include "clang/GR/BugReporter/PathDiagnostic.h"
-#include "clang/GR/BugReporter/BugReporter.h"
+#include "clang/EntoSA/Checkers/LocalCheckers.h"
+#include "clang/EntoSA/BugReporter/PathDiagnostic.h"
+#include "clang/EntoSA/BugReporter/BugReporter.h"
#include "clang/AST/ExprObjC.h"
#include "clang/AST/Expr.h"
#include "clang/AST/DeclObjC.h"
diff --git a/lib/GR/Checkers/CheckObjCInstMethSignature.cpp b/lib/EntoSA/Checkers/CheckObjCInstMethSignature.cpp
index 62c5e60005..f908e69cc7 100644
--- a/lib/GR/Checkers/CheckObjCInstMethSignature.cpp
+++ b/lib/EntoSA/Checkers/CheckObjCInstMethSignature.cpp
@@ -13,9 +13,9 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/Checkers/LocalCheckers.h"
-#include "clang/GR/BugReporter/PathDiagnostic.h"
-#include "clang/GR/BugReporter/BugReporter.h"
+#include "clang/EntoSA/Checkers/LocalCheckers.h"
+#include "clang/EntoSA/BugReporter/PathDiagnostic.h"
+#include "clang/EntoSA/BugReporter/BugReporter.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/Type.h"
#include "clang/AST/ASTContext.h"
diff --git a/lib/GR/Checkers/CheckSecuritySyntaxOnly.cpp b/lib/EntoSA/Checkers/CheckSecuritySyntaxOnly.cpp
index bdb03f8038..98da69231c 100644
--- a/lib/GR/Checkers/CheckSecuritySyntaxOnly.cpp
+++ b/lib/EntoSA/Checkers/CheckSecuritySyntaxOnly.cpp
@@ -12,8 +12,8 @@
//===----------------------------------------------------------------------===//
#include "clang/Basic/TargetInfo.h"
-#include "clang/GR/BugReporter/BugReporter.h"
-#include "clang/GR/Checkers/LocalCheckers.h"
+#include "clang/EntoSA/BugReporter/BugReporter.h"
+#include "clang/EntoSA/Checkers/LocalCheckers.h"
#include "clang/AST/StmtVisitor.h"
#include "llvm/Support/raw_ostream.h"
diff --git a/lib/GR/Checkers/CheckSizeofPointer.cpp b/lib/EntoSA/Checkers/CheckSizeofPointer.cpp
index 3a2e8c7b50..f7ab9514e9 100644
--- a/lib/GR/Checkers/CheckSizeofPointer.cpp
+++ b/lib/EntoSA/Checkers/CheckSizeofPointer.cpp
@@ -12,9 +12,9 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/BugReporter/BugReporter.h"
+#include "clang/EntoSA/BugReporter/BugReporter.h"
#include "clang/AST/StmtVisitor.h"
-#include "clang/GR/Checkers/LocalCheckers.h"
+#include "clang/EntoSA/Checkers/LocalCheckers.h"
using namespace clang;
using namespace ento;
diff --git a/lib/GR/Checkers/ChrootChecker.cpp b/lib/EntoSA/Checkers/ChrootChecker.cpp
index 6a36593894..e951c29d1a 100644
--- a/lib/GR/Checkers/ChrootChecker.cpp
+++ b/lib/EntoSA/Checkers/ChrootChecker.cpp
@@ -12,11 +12,11 @@
//===----------------------------------------------------------------------===//
#include "ExprEngineExperimentalChecks.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
-#include "clang/GR/PathSensitive/GRState.h"
-#include "clang/GR/PathSensitive/GRStateTrait.h"
-#include "clang/GR/PathSensitive/SymbolManager.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/PathSensitive/GRState.h"
+#include "clang/EntoSA/PathSensitive/GRStateTrait.h"
+#include "clang/EntoSA/PathSensitive/SymbolManager.h"
#include "llvm/ADT/ImmutableMap.h"
using namespace clang;
using namespace ento;
diff --git a/lib/GR/Checkers/DereferenceChecker.cpp b/lib/EntoSA/Checkers/DereferenceChecker.cpp
index cecea57192..35fae40935 100644
--- a/lib/GR/Checkers/DereferenceChecker.cpp
+++ b/lib/EntoSA/Checkers/DereferenceChecker.cpp
@@ -13,10 +13,10 @@
//===----------------------------------------------------------------------===//
#include "ExprEngineInternalChecks.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/Checkers/DereferenceChecker.h"
-#include "clang/GR/PathSensitive/Checker.h"
-#include "clang/GR/PathSensitive/ExprEngine.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/Checkers/DereferenceChecker.h"
+#include "clang/EntoSA/PathSensitive/Checker.h"
+#include "clang/EntoSA/PathSensitive/ExprEngine.h"
using namespace clang;
using namespace ento;
diff --git a/lib/GR/Checkers/DivZeroChecker.cpp b/lib/EntoSA/Checkers/DivZeroChecker.cpp
index 2119a0ca2f..24c743a8d0 100644
--- a/lib/GR/Checkers/DivZeroChecker.cpp
+++ b/lib/EntoSA/Checkers/DivZeroChecker.cpp
@@ -13,8 +13,8 @@
//===----------------------------------------------------------------------===//
#include "ExprEngineInternalChecks.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
using namespace clang;
using namespace ento;
diff --git a/lib/GR/Checkers/ExprEngine.cpp b/lib/EntoSA/Checkers/ExprEngine.cpp
index 2ff665c941..afd6318acc 100644
--- a/lib/GR/Checkers/ExprEngine.cpp
+++ b/lib/EntoSA/Checkers/ExprEngine.cpp
@@ -16,11 +16,11 @@
// FIXME: Restructure checker registration.
#include "ExprEngineInternalChecks.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/PathSensitive/AnalysisManager.h"
-#include "clang/GR/PathSensitive/ExprEngine.h"
-#include "clang/GR/PathSensitive/ExprEngineBuilders.h"
-#include "clang/GR/PathSensitive/Checker.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/PathSensitive/AnalysisManager.h"
+#include "clang/EntoSA/PathSensitive/ExprEngine.h"
+#include "clang/EntoSA/PathSensitive/ExprEngineBuilders.h"
+#include "clang/EntoSA/PathSensitive/Checker.h"
#include "clang/AST/CharUnits.h"
#include "clang/AST/ParentMap.h"
#include "clang/AST/StmtObjC.h"
diff --git a/lib/GR/Checkers/ExprEngineExperimentalChecks.cpp b/lib/EntoSA/Checkers/ExprEngineExperimentalChecks.cpp
index 9f3c04ae91..6ab5a4d5da 100644
--- a/lib/GR/Checkers/ExprEngineExperimentalChecks.cpp
+++ b/lib/EntoSA/Checkers/ExprEngineExperimentalChecks.cpp
@@ -14,7 +14,7 @@
#include "ExprEngineInternalChecks.h"
#include "ExprEngineExperimentalChecks.h"
-#include "clang/GR/Checkers/LocalCheckers.h"
+#include "clang/EntoSA/Checkers/LocalCheckers.h"
using namespace clang;
using namespace ento;
diff --git a/lib/GR/Checkers/ExprEngineExperimentalChecks.h b/lib/EntoSA/Checkers/ExprEngineExperimentalChecks.h
index f8359d1c5c..f8359d1c5c 100644
--- a/lib/GR/Checkers/ExprEngineExperimentalChecks.h
+++ b/lib/EntoSA/Checkers/ExprEngineExperimentalChecks.h
diff --git a/lib/GR/Checkers/ExprEngineInternalChecks.h b/lib/EntoSA/Checkers/ExprEngineInternalChecks.h
index f67371da0f..f67371da0f 100644
--- a/lib/GR/Checkers/ExprEngineInternalChecks.h
+++ b/lib/EntoSA/Checkers/ExprEngineInternalChecks.h
diff --git a/lib/GR/Checkers/FixedAddressChecker.cpp b/lib/EntoSA/Checkers/FixedAddressChecker.cpp
index 1d629ee55e..ea736435d6 100644
--- a/lib/GR/Checkers/FixedAddressChecker.cpp
+++ b/lib/EntoSA/Checkers/FixedAddressChecker.cpp
@@ -14,8 +14,8 @@
//===----------------------------------------------------------------------===//
#include "ExprEngineInternalChecks.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
using namespace clang;
using namespace ento;
diff --git a/lib/GR/Checkers/FrontendActions.cpp b/lib/EntoSA/Checkers/FrontendActions.cpp
index c88378279a..b901afc5e1 100644
--- a/lib/GR/Checkers/FrontendActions.cpp
+++ b/lib/EntoSA/Checkers/FrontendActions.cpp
@@ -7,9 +7,9 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/FrontendActions.h"
+#include "clang/EntoSA/FrontendActions.h"
#include "clang/Frontend/CompilerInstance.h"
-#include "clang/GR/AnalysisConsumer.h"
+#include "clang/EntoSA/AnalysisConsumer.h"
using namespace clang;
using namespace ento;
diff --git a/lib/GR/Checkers/IdempotentOperationChecker.cpp b/lib/EntoSA/Checkers/IdempotentOperationChecker.cpp
index 56bb542e92..04f652cdcb 100644
--- a/lib/GR/Checkers/IdempotentOperationChecker.cpp
+++ b/lib/EntoSA/Checkers/IdempotentOperationChecker.cpp
@@ -45,12 +45,12 @@
#include "ExprEngineExperimentalChecks.h"
#include "clang/Analysis/CFGStmtMap.h"
#include "clang/Analysis/Analyses/PseudoConstantAnalysis.h"
-#include "clang/GR/BugReporter/BugReporter.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/PathSensitive/CheckerHelpers.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
-#include "clang/GR/PathSensitive/CoreEngine.h"
-#include "clang/GR/PathSensitive/SVals.h"
+#include "clang/EntoSA/BugReporter/BugReporter.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/PathSensitive/CheckerHelpers.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/PathSensitive/CoreEngine.h"
+#include "clang/EntoSA/PathSensitive/SVals.h"
#include "clang/AST/Stmt.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/SmallSet.h"
diff --git a/lib/GR/Checkers/LLVMConventionsChecker.cpp b/lib/EntoSA/Checkers/LLVMConventionsChecker.cpp
index 864dd85093..e88997f79c 100644
--- a/lib/GR/Checkers/LLVMConventionsChecker.cpp
+++ b/lib/EntoSA/Checkers/LLVMConventionsChecker.cpp
@@ -14,8 +14,8 @@
#include "clang/AST/DeclTemplate.h"
#include "clang/AST/StmtVisitor.h"
-#include "clang/GR/Checkers/LocalCheckers.h"
-#include "clang/GR/BugReporter/BugReporter.h"
+#include "clang/EntoSA/Checkers/LocalCheckers.h"
+#include "clang/EntoSA/BugReporter/BugReporter.h"
#include <string>
#include "llvm/ADT/StringRef.h"
diff --git a/lib/GR/Checkers/MacOSXAPIChecker.cpp b/lib/EntoSA/Checkers/MacOSXAPIChecker.cpp
index 5934c5ffbf..c2f5f4b83c 100644
--- a/lib/GR/Checkers/MacOSXAPIChecker.cpp
+++ b/lib/EntoSA/Checkers/MacOSXAPIChecker.cpp
@@ -17,9 +17,9 @@
#include "ExprEngineInternalChecks.h"
#include "clang/Basic/TargetInfo.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
-#include "clang/GR/PathSensitive/GRStateTrait.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/PathSensitive/GRStateTrait.h"
#include "llvm/ADT/SmallString.h"
#include "llvm/ADT/StringSwitch.h"
#include "llvm/Support/raw_ostream.h"
diff --git a/lib/GR/Checkers/Makefile b/lib/EntoSA/Checkers/Makefile
index b3d213ab07..9ba4e282d2 100644
--- a/lib/GR/Checkers/Makefile
+++ b/lib/EntoSA/Checkers/Makefile
@@ -12,6 +12,6 @@
##===----------------------------------------------------------------------===##
CLANG_LEVEL := ../../..
-LIBRARYNAME := clangGRCheckers
+LIBRARYNAME := clangEntoCheckers
include $(CLANG_LEVEL)/Makefile
diff --git a/lib/GR/Checkers/MallocChecker.cpp b/lib/EntoSA/Checkers/MallocChecker.cpp
index a4d317f8b0..2b0ae82ccd 100644
--- a/lib/GR/Checkers/MallocChecker.cpp
+++ b/lib/EntoSA/Checkers/MallocChecker.cpp
@@ -13,11 +13,11 @@
//===----------------------------------------------------------------------===//
#include "ExprEngineExperimentalChecks.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
-#include "clang/GR/PathSensitive/GRState.h"
-#include "clang/GR/PathSensitive/GRStateTrait.h"
-#include "clang/GR/PathSensitive/SymbolManager.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/PathSensitive/GRState.h"
+#include "clang/EntoSA/PathSensitive/GRStateTrait.h"
+#include "clang/EntoSA/PathSensitive/SymbolManager.h"
#include "llvm/ADT/ImmutableMap.h"
using namespace clang;
using namespace ento;
diff --git a/lib/GR/Checkers/NSAutoreleasePoolChecker.cpp b/lib/EntoSA/Checkers/NSAutoreleasePoolChecker.cpp
index c93121fcd9..acad46c352 100644
--- a/lib/GR/Checkers/NSAutoreleasePoolChecker.cpp
+++ b/lib/EntoSA/Checkers/NSAutoreleasePoolChecker.cpp
@@ -15,9 +15,9 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/BugReporter/BugReporter.h"
-#include "clang/GR/PathSensitive/ExprEngine.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/BugReporter/BugReporter.h"
+#include "clang/EntoSA/PathSensitive/ExprEngine.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
#include "BasicObjCFoundationChecks.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/Decl.h"
diff --git a/lib/GR/Checkers/NSErrorChecker.cpp b/lib/EntoSA/Checkers/NSErrorChecker.cpp
index ee3f901ad5..d5c395f0a1 100644
--- a/lib/GR/Checkers/NSErrorChecker.cpp
+++ b/lib/EntoSA/Checkers/NSErrorChecker.cpp
@@ -15,10 +15,10 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/Checkers/LocalCheckers.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/PathSensitive/ExprEngine.h"
-#include "clang/GR/Checkers/DereferenceChecker.h"
+#include "clang/EntoSA/Checkers/LocalCheckers.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/PathSensitive/ExprEngine.h"
+#include "clang/EntoSA/Checkers/DereferenceChecker.h"
#include "BasicObjCFoundationChecks.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/Decl.h"
diff --git a/lib/GR/Checkers/NoReturnFunctionChecker.cpp b/lib/EntoSA/Checkers/NoReturnFunctionChecker.cpp
index ad86ac500d..4b96ddba39 100644
--- a/lib/GR/Checkers/NoReturnFunctionChecker.cpp
+++ b/lib/EntoSA/Checkers/NoReturnFunctionChecker.cpp
@@ -13,7 +13,7 @@
//===----------------------------------------------------------------------===//
#include "ExprEngineInternalChecks.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
#include "llvm/ADT/StringSwitch.h"
using namespace clang;
diff --git a/lib/GR/Checkers/OSAtomicChecker.cpp b/lib/EntoSA/Checkers/OSAtomicChecker.cpp
index 3d230ce76e..cc67c3df7a 100644
--- a/lib/GR/Checkers/OSAtomicChecker.cpp
+++ b/lib/EntoSA/Checkers/OSAtomicChecker.cpp
@@ -12,7 +12,7 @@
//===----------------------------------------------------------------------===//
#include "ExprEngineInternalChecks.h"
-#include "clang/GR/PathSensitive/Checker.h"
+#include "clang/EntoSA/PathSensitive/Checker.h"
#include "clang/Basic/Builtins.h"
using namespace clang;
diff --git a/lib/GR/Checkers/ObjCAtSyncChecker.cpp b/lib/EntoSA/Checkers/ObjCAtSyncChecker.cpp
index b44fae8b6c..3e901b6007 100644
--- a/lib/GR/Checkers/ObjCAtSyncChecker.cpp
+++ b/lib/EntoSA/Checkers/ObjCAtSyncChecker.cpp
@@ -13,10 +13,10 @@
//===----------------------------------------------------------------------===//
#include "ExprEngineInternalChecks.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/Checkers/DereferenceChecker.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
-#include "clang/GR/PathSensitive/ExprEngine.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/Checkers/DereferenceChecker.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/PathSensitive/ExprEngine.h"
using namespace clang;
using namespace ento;
diff --git a/lib/GR/Checkers/ObjCUnusedIVarsChecker.cpp b/lib/EntoSA/Checkers/ObjCUnusedIVarsChecker.cpp
index 177f6a2267..a2e2475f28 100644
--- a/lib/GR/Checkers/ObjCUnusedIVarsChecker.cpp
+++ b/lib/EntoSA/Checkers/ObjCUnusedIVarsChecker.cpp
@@ -13,9 +13,9 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/Checkers/LocalCheckers.h"
-#include "clang/GR/BugReporter/PathDiagnostic.h"
-#include "clang/GR/BugReporter/BugReporter.h"
+#include "clang/EntoSA/Checkers/LocalCheckers.h"
+#include "clang/EntoSA/BugReporter/PathDiagnostic.h"
+#include "clang/EntoSA/BugReporter/BugReporter.h"
#include "clang/AST/ExprObjC.h"
#include "clang/AST/Expr.h"
#include "clang/AST/DeclObjC.h"
diff --git a/lib/GR/Checkers/PointerArithChecker.cpp b/lib/EntoSA/Checkers/PointerArithChecker.cpp
index f40eeec52f..30009a2560 100644
--- a/lib/GR/Checkers/PointerArithChecker.cpp
+++ b/lib/EntoSA/Checkers/PointerArithChecker.cpp
@@ -13,8 +13,8 @@
//===----------------------------------------------------------------------===//
#include "ExprEngineInternalChecks.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
using namespace clang;
using namespace ento;
diff --git a/lib/GR/Checkers/PointerSubChecker.cpp b/lib/EntoSA/Checkers/PointerSubChecker.cpp
index 63aa90429e..923d0a86d8 100644
--- a/lib/GR/Checkers/PointerSubChecker.cpp
+++ b/lib/EntoSA/Checkers/PointerSubChecker.cpp
@@ -14,8 +14,8 @@
//===----------------------------------------------------------------------===//
#include "ExprEngineInternalChecks.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
using namespace clang;
using namespace ento;
diff --git a/lib/GR/Checkers/PthreadLockChecker.cpp b/lib/EntoSA/Checkers/PthreadLockChecker.cpp
index 517f6b15ab..56c9adb509 100644
--- a/lib/GR/Checkers/PthreadLockChecker.cpp
+++ b/lib/EntoSA/Checkers/PthreadLockChecker.cpp
@@ -12,9 +12,9 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
-#include "clang/GR/BugReporter/BugReporter.h"
-#include "clang/GR/PathSensitive/GRStateTrait.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/BugReporter/BugReporter.h"
+#include "clang/EntoSA/PathSensitive/GRStateTrait.h"
#include "ExprEngineExperimentalChecks.h"
#include "llvm/ADT/ImmutableSet.h"
diff --git a/lib/GR/Checkers/ReturnPointerRangeChecker.cpp b/lib/EntoSA/Checkers/ReturnPointerRangeChecker.cpp
index 80316f58c1..8afe9847aa 100644
--- a/lib/GR/Checkers/ReturnPointerRangeChecker.cpp
+++ b/lib/EntoSA/Checkers/ReturnPointerRangeChecker.cpp
@@ -13,9 +13,9 @@
//===----------------------------------------------------------------------===//
#include "ExprEngineInternalChecks.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
-#include "clang/GR/PathSensitive/ExprEngine.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/PathSensitive/ExprEngine.h"
using namespace clang;
using namespace ento;
diff --git a/lib/GR/Checkers/ReturnUndefChecker.cpp b/lib/EntoSA/Checkers/ReturnUndefChecker.cpp
index 17a2a55ebd..8e46519b21 100644
--- a/lib/GR/Checkers/ReturnUndefChecker.cpp
+++ b/lib/EntoSA/Checkers/ReturnUndefChecker.cpp
@@ -14,9 +14,9 @@
//===----------------------------------------------------------------------===//
#include "ExprEngineInternalChecks.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
-#include "clang/GR/PathSensitive/ExprEngine.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/PathSensitive/ExprEngine.h"
using namespace clang;
using namespace ento;
diff --git a/lib/GR/Checkers/StackAddrLeakChecker.cpp b/lib/EntoSA/Checkers/StackAddrLeakChecker.cpp
index 229356ad67..c9aebadca1 100644
--- a/lib/GR/Checkers/StackAddrLeakChecker.cpp
+++ b/lib/EntoSA/Checkers/StackAddrLeakChecker.cpp
@@ -13,9 +13,9 @@
//===----------------------------------------------------------------------===//
#include "ExprEngineInternalChecks.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
-#include "clang/GR/PathSensitive/GRState.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/PathSensitive/GRState.h"
#include "clang/Basic/SourceManager.h"
#include "llvm/ADT/SmallString.h"
using namespace clang;
diff --git a/lib/GR/Checkers/StreamChecker.cpp b/lib/EntoSA/Checkers/StreamChecker.cpp
index 32e22b0419..cb7899fbb2 100644
--- a/lib/GR/Checkers/StreamChecker.cpp
+++ b/lib/EntoSA/Checkers/StreamChecker.cpp
@@ -12,11 +12,11 @@
//===----------------------------------------------------------------------===//
#include "ExprEngineExperimentalChecks.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
-#include "clang/GR/PathSensitive/GRState.h"
-#include "clang/GR/PathSensitive/GRStateTrait.h"
-#include "clang/GR/PathSensitive/SymbolManager.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/PathSensitive/GRState.h"
+#include "clang/EntoSA/PathSensitive/GRStateTrait.h"
+#include "clang/EntoSA/PathSensitive/SymbolManager.h"
#include "llvm/ADT/ImmutableMap.h"
using namespace clang;
diff --git a/lib/GR/Checkers/UndefBranchChecker.cpp b/lib/EntoSA/Checkers/UndefBranchChecker.cpp
index fc668be35c..30d0728530 100644
--- a/lib/GR/Checkers/UndefBranchChecker.cpp
+++ b/lib/EntoSA/Checkers/UndefBranchChecker.cpp
@@ -13,8 +13,8 @@
//===----------------------------------------------------------------------===//
#include "ExprEngineInternalChecks.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/PathSensitive/Checker.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/PathSensitive/Checker.h"
using namespace clang;
using namespace ento;
diff --git a/lib/GR/Checkers/UndefCapturedBlockVarChecker.cpp b/lib/EntoSA/Checkers/UndefCapturedBlockVarChecker.cpp
index 8ceda3ddc5..dcdcf1f741 100644
--- a/lib/GR/Checkers/UndefCapturedBlockVarChecker.cpp
+++ b/lib/EntoSA/Checkers/UndefCapturedBlockVarChecker.cpp
@@ -12,9 +12,9 @@
//===----------------------------------------------------------------------===//
#include "ExprEngineInternalChecks.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
-#include "clang/GR/PathSensitive/ExprEngine.h"
-#include "clang/GR/BugReporter/BugType.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/PathSensitive/ExprEngine.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
#include "llvm/Support/raw_ostream.h"
using namespace clang;
diff --git a/lib/GR/Checkers/UndefResultChecker.cpp b/lib/EntoSA/Checkers/UndefResultChecker.cpp
index 3d4faa2988..c0427402b1 100644
--- a/lib/GR/Checkers/UndefResultChecker.cpp
+++ b/lib/EntoSA/Checkers/UndefResultChecker.cpp
@@ -13,9 +13,9 @@
//===----------------------------------------------------------------------===//
#include "ExprEngineInternalChecks.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
-#include "clang/GR/PathSensitive/ExprEngine.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/PathSensitive/ExprEngine.h"
using namespace clang;
using namespace ento;
diff --git a/lib/GR/Checkers/UndefinedArraySubscriptChecker.cpp b/lib/EntoSA/Checkers/UndefinedArraySubscriptChecker.cpp
index 90f7d5db41..aea78c048b 100644
--- a/lib/GR/Checkers/UndefinedArraySubscriptChecker.cpp
+++ b/lib/EntoSA/Checkers/UndefinedArraySubscriptChecker.cpp
@@ -13,8 +13,8 @@
//===----------------------------------------------------------------------===//
#include "ExprEngineInternalChecks.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
using namespace clang;
using namespace ento;
diff --git a/lib/GR/Checkers/UndefinedAssignmentChecker.cpp b/lib/EntoSA/Checkers/UndefinedAssignmentChecker.cpp
index 8addd4458e..5060cdff96 100644
--- a/lib/GR/Checkers/UndefinedAssignmentChecker.cpp
+++ b/lib/EntoSA/Checkers/UndefinedAssignmentChecker.cpp
@@ -13,8 +13,8 @@
//===----------------------------------------------------------------------===//
#include "ExprEngineInternalChecks.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
using namespace clang;
using namespace ento;
diff --git a/lib/GR/Checkers/UnixAPIChecker.cpp b/lib/EntoSA/Checkers/UnixAPIChecker.cpp
index b9d8b57794..c45659c011 100644
--- a/lib/GR/Checkers/UnixAPIChecker.cpp
+++ b/lib/EntoSA/Checkers/UnixAPIChecker.cpp
@@ -14,8 +14,8 @@
#include "ExprEngineInternalChecks.h"
#include "clang/Basic/TargetInfo.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
#include "llvm/ADT/Optional.h"
#include "llvm/ADT/StringSwitch.h"
#include <fcntl.h>
diff --git a/lib/GR/Checkers/UnreachableCodeChecker.cpp b/lib/EntoSA/Checkers/UnreachableCodeChecker.cpp
index b52dc87c04..e3ea72e133 100644
--- a/lib/GR/Checkers/UnreachableCodeChecker.cpp
+++ b/lib/EntoSA/Checkers/UnreachableCodeChecker.cpp
@@ -16,11 +16,11 @@
#include "clang/AST/ParentMap.h"
#include "clang/Basic/Builtins.h"
#include "clang/Basic/SourceManager.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
-#include "clang/GR/PathSensitive/ExplodedGraph.h"
-#include "clang/GR/PathSensitive/SVals.h"
-#include "clang/GR/PathSensitive/CheckerHelpers.h"
-#include "clang/GR/BugReporter/BugReporter.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/PathSensitive/ExplodedGraph.h"
+#include "clang/EntoSA/PathSensitive/SVals.h"
+#include "clang/EntoSA/PathSensitive/CheckerHelpers.h"
+#include "clang/EntoSA/BugReporter/BugReporter.h"
#include "ExprEngineExperimentalChecks.h"
#include "llvm/ADT/SmallPtrSet.h"
diff --git a/lib/GR/Checkers/VLASizeChecker.cpp b/lib/EntoSA/Checkers/VLASizeChecker.cpp
index d21ad21780..0d17238ee7 100644
--- a/lib/GR/Checkers/VLASizeChecker.cpp
+++ b/lib/EntoSA/Checkers/VLASizeChecker.cpp
@@ -16,9 +16,9 @@
#include "ExprEngineInternalChecks.h"
#include "clang/AST/CharUnits.h"
-#include "clang/GR/BugReporter/BugType.h"
-#include "clang/GR/PathSensitive/CheckerVisitor.h"
-#include "clang/GR/PathSensitive/ExprEngine.h"
+#include "clang/EntoSA/BugReporter/BugType.h"
+#include "clang/EntoSA/PathSensitive/CheckerVisitor.h"
+#include "clang/EntoSA/PathSensitive/ExprEngine.h"
using namespace clang;
using namespace ento;
diff --git a/lib/GR/CoreEngine.cpp b/lib/EntoSA/CoreEngine.cpp
index 3236b92378..478e77b4af 100644
--- a/lib/GR/CoreEngine.cpp
+++ b/lib/EntoSA/CoreEngine.cpp
@@ -12,9 +12,9 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/PathSensitive/AnalysisManager.h"
-#include "clang/GR/PathSensitive/CoreEngine.h"
-#include "clang/GR/PathSensitive/ExprEngine.h"
+#include "clang/EntoSA/PathSensitive/AnalysisManager.h"
+#include "clang/EntoSA/PathSensitive/CoreEngine.h"
+#include "clang/EntoSA/PathSensitive/ExprEngine.h"
#include "clang/Index/TranslationUnit.h"
#include "clang/AST/Expr.h"
#include "llvm/Support/Casting.h"
diff --git a/lib/GR/Environment.cpp b/lib/EntoSA/Environment.cpp
index 4961704509..eecbabbb2e 100644
--- a/lib/GR/Environment.cpp
+++ b/lib/EntoSA/Environment.cpp
@@ -13,7 +13,7 @@
#include "clang/Analysis/AnalysisContext.h"
#include "clang/Analysis/CFG.h"
-#include "clang/GR/PathSensitive/GRState.h"
+#include "clang/EntoSA/PathSensitive/GRState.h"
using namespace clang;
using namespace ento;
diff --git a/lib/GR/ExplodedGraph.cpp b/lib/EntoSA/ExplodedGraph.cpp
index dd206aba00..ec66ba6028 100644
--- a/lib/GR/ExplodedGraph.cpp
+++ b/lib/EntoSA/ExplodedGraph.cpp
@@ -12,8 +12,8 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/PathSensitive/ExplodedGraph.h"
-#include "clang/GR/PathSensitive/GRState.h"
+#include "clang/EntoSA/PathSensitive/ExplodedGraph.h"
+#include "clang/EntoSA/PathSensitive/GRState.h"
#include "clang/AST/Stmt.h"
#include "llvm/ADT/DenseSet.h"
#include "llvm/ADT/DenseMap.h"
diff --git a/lib/GR/FlatStore.cpp b/lib/EntoSA/FlatStore.cpp
index 6809c3b53c..8ded4d16b6 100644
--- a/lib/GR/FlatStore.cpp
+++ b/lib/EntoSA/FlatStore.cpp
@@ -7,7 +7,7 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/PathSensitive/GRState.h"
+#include "clang/EntoSA/PathSensitive/GRState.h"
#include "llvm/ADT/ImmutableIntervalMap.h"
#include "llvm/Support/ErrorHandling.h"
diff --git a/lib/GR/GRState.cpp b/lib/EntoSA/GRState.cpp
index e531cc9d99..62396230ff 100644
--- a/lib/GR/GRState.cpp
+++ b/lib/EntoSA/GRState.cpp
@@ -12,10 +12,10 @@
//===----------------------------------------------------------------------===//
#include "clang/Analysis/CFG.h"
-#include "clang/GR/PathSensitive/GRStateTrait.h"
-#include "clang/GR/PathSensitive/GRState.h"
-#include "clang/GR/PathSensitive/SubEngine.h"
-#include "clang/GR/PathSensitive/TransferFuncs.h"
+#include "clang/EntoSA/PathSensitive/GRStateTrait.h"
+#include "clang/EntoSA/PathSensitive/GRState.h"
+#include "clang/EntoSA/PathSensitive/SubEngine.h"
+#include "clang/EntoSA/PathSensitive/TransferFuncs.h"
#include "llvm/Support/raw_ostream.h"
using namespace clang;
diff --git a/lib/GR/HTMLDiagnostics.cpp b/lib/EntoSA/HTMLDiagnostics.cpp
index 72a854a85d..a0d338ae1e 100644
--- a/lib/GR/HTMLDiagnostics.cpp
+++ b/lib/EntoSA/HTMLDiagnostics.cpp
@@ -11,8 +11,8 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/PathDiagnosticClients.h"
-#include "clang/GR/BugReporter/PathDiagnostic.h"
+#include "clang/EntoSA/PathDiagnosticClients.h"
+#include "clang/EntoSA/BugReporter/PathDiagnostic.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/Decl.h"
#include "clang/Basic/SourceManager.h"
diff --git a/lib/GR/Makefile b/lib/EntoSA/Makefile
index 3261983107..9678138695 100644
--- a/lib/GR/Makefile
+++ b/lib/EntoSA/Makefile
@@ -12,7 +12,7 @@
##===----------------------------------------------------------------------===##
CLANG_LEVEL := ../..
-LIBRARYNAME := clangGRCore
+LIBRARYNAME := clangEntoCore
PARALLEL_DIRS := Checkers
include $(CLANG_LEVEL)/Makefile
diff --git a/lib/GR/ManagerRegistry.cpp b/lib/EntoSA/ManagerRegistry.cpp
index 4058c11f7c..99b7a70748 100644
--- a/lib/GR/ManagerRegistry.cpp
+++ b/lib/EntoSA/ManagerRegistry.cpp
@@ -11,7 +11,7 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/ManagerRegistry.h"
+#include "clang/EntoSA/ManagerRegistry.h"
using namespace clang;
using namespace ento;
diff --git a/lib/GR/MemRegion.cpp b/lib/EntoSA/MemRegion.cpp
index f16223636f..ff0f34044e 100644
--- a/lib/GR/MemRegion.cpp
+++ b/lib/EntoSA/MemRegion.cpp
@@ -13,8 +13,8 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/PathSensitive/MemRegion.h"
-#include "clang/GR/PathSensitive/SValBuilder.h"
+#include "clang/EntoSA/PathSensitive/MemRegion.h"
+#include "clang/EntoSA/PathSensitive/SValBuilder.h"
#include "clang/Analysis/AnalysisContext.h"
#include "clang/Analysis/Support/BumpVector.h"
#include "clang/AST/CharUnits.h"
diff --git a/lib/GR/PathDiagnostic.cpp b/lib/EntoSA/PathDiagnostic.cpp
index 69c660b4a4..bf8c8b0d3d 100644
--- a/lib/GR/PathDiagnostic.cpp
+++ b/lib/EntoSA/PathDiagnostic.cpp
@@ -11,7 +11,7 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/BugReporter/PathDiagnostic.h"
+#include "clang/EntoSA/BugReporter/PathDiagnostic.h"
#include "clang/AST/Expr.h"
#include "clang/AST/Decl.h"
#include "clang/AST/DeclObjC.h"
diff --git a/lib/GR/PlistDiagnostics.cpp b/lib/EntoSA/PlistDiagnostics.cpp
index ebab2b2002..6e54d494c5 100644
--- a/lib/GR/PlistDiagnostics.cpp
+++ b/lib/EntoSA/PlistDiagnostics.cpp
@@ -11,8 +11,8 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/PathDiagnosticClients.h"
-#include "clang/GR/BugReporter/PathDiagnostic.h"
+#include "clang/EntoSA/PathDiagnosticClients.h"
+#include "clang/EntoSA/BugReporter/PathDiagnostic.h"
#include "clang/Basic/SourceManager.h"
#include "clang/Basic/FileManager.h"
#include "clang/Lex/Preprocessor.h"
diff --git a/lib/GR/README.txt b/lib/EntoSA/README.txt
index dd16ccc980..dd16ccc980 100644
--- a/lib/GR/README.txt
+++ b/lib/EntoSA/README.txt
diff --git a/lib/GR/RangeConstraintManager.cpp b/lib/EntoSA/RangeConstraintManager.cpp
index 5ce69bafd1..5c2d674515 100644
--- a/lib/GR/RangeConstraintManager.cpp
+++ b/lib/EntoSA/RangeConstraintManager.cpp
@@ -13,10 +13,10 @@
//===----------------------------------------------------------------------===//
#include "SimpleConstraintManager.h"
-#include "clang/GR/PathSensitive/GRState.h"
-#include "clang/GR/PathSensitive/GRStateTrait.h"
-#include "clang/GR/PathSensitive/TransferFuncs.h"
-#include "clang/GR/ManagerRegistry.h"
+#include "clang/EntoSA/PathSensitive/GRState.h"
+#include "clang/EntoSA/PathSensitive/GRStateTrait.h"
+#include "clang/EntoSA/PathSensitive/TransferFuncs.h"
+#include "clang/EntoSA/ManagerRegistry.h"
#include "llvm/Support/Debug.h"
#include "llvm/ADT/FoldingSet.h"
#include "llvm/ADT/ImmutableSet.h"
diff --git a/lib/GR/RegionStore.cpp b/lib/EntoSA/RegionStore.cpp
index 0ae68cf79a..4913d1a389 100644
--- a/lib/GR/RegionStore.cpp
+++ b/lib/EntoSA/RegionStore.cpp
@@ -20,9 +20,9 @@
#include "clang/Analysis/Analyses/LiveVariables.h"
#include "clang/Analysis/AnalysisContext.h"
#include "clang/Basic/TargetInfo.h"
-#include "clang/GR/PathSensitive/GRState.h"
-#include "clang/GR/PathSensitive/GRStateTrait.h"
-#include "clang/GR/PathSensitive/MemRegion.h"
+#include "clang/EntoSA/PathSensitive/GRState.h"
+#include "clang/EntoSA/PathSensitive/GRStateTrait.h"
+#include "clang/EntoSA/PathSensitive/MemRegion.h"
#include "llvm/ADT/ImmutableList.h"
#include "llvm/ADT/ImmutableMap.h"
#include "llvm/ADT/Optional.h"
diff --git a/lib/GR/SValBuilder.cpp b/lib/EntoSA/SValBuilder.cpp
index eec5193ef3..c4efaae906 100644
--- a/lib/GR/SValBuilder.cpp
+++ b/lib/EntoSA/SValBuilder.cpp
@@ -12,11 +12,11 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/PathSensitive/MemRegion.h"
-#include "clang/GR/PathSensitive/SVals.h"
-#include "clang/GR/PathSensitive/SValBuilder.h"
-#include "clang/GR/PathSensitive/GRState.h"
-#include "clang/GR/PathSensitive/BasicValueFactory.h"
+#include "clang/EntoSA/PathSensitive/MemRegion.h"
+#include "clang/EntoSA/PathSensitive/SVals.h"
+#include "clang/EntoSA/PathSensitive/SValBuilder.h"
+#include "clang/EntoSA/PathSensitive/GRState.h"
+#include "clang/EntoSA/PathSensitive/BasicValueFactory.h"
using namespace clang;
using namespace ento;
diff --git a/lib/GR/SVals.cpp b/lib/EntoSA/SVals.cpp
index ed2bc13e49..ea23293924 100644
--- a/lib/GR/SVals.cpp
+++ b/lib/EntoSA/SVals.cpp
@@ -12,7 +12,7 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/PathSensitive/GRState.h"
+#include "clang/EntoSA/PathSensitive/GRState.h"
#include "clang/Basic/IdentifierTable.h"
using namespace clang;
diff --git a/lib/GR/SimpleConstraintManager.cpp b/lib/EntoSA/SimpleConstraintManager.cpp
index f0d50da299..ef26fc5d93 100644
--- a/lib/GR/SimpleConstraintManager.cpp
+++ b/lib/EntoSA/SimpleConstraintManager.cpp
@@ -13,9 +13,9 @@
//===----------------------------------------------------------------------===//
#include "SimpleConstraintManager.h"
-#include "clang/GR/PathSensitive/ExprEngine.h"
-#include "clang/GR/PathSensitive/GRState.h"
-#include "clang/GR/PathSensitive/Checker.h"
+#include "clang/EntoSA/PathSensitive/ExprEngine.h"
+#include "clang/EntoSA/PathSensitive/GRState.h"
+#include "clang/EntoSA/PathSensitive/Checker.h"
namespace clang {
diff --git a/lib/GR/SimpleConstraintManager.h b/lib/EntoSA/SimpleConstraintManager.h
index 85d133f2f8..83db8cc9ce 100644
--- a/lib/GR/SimpleConstraintManager.h
+++ b/lib/EntoSA/SimpleConstraintManager.h
@@ -14,8 +14,8 @@
#ifndef LLVM_CLANG_GR_SIMPLE_CONSTRAINT_MANAGER_H
#define LLVM_CLANG_GR_SIMPLE_CONSTRAINT_MANAGER_H
-#include "clang/GR/PathSensitive/ConstraintManager.h"
-#include "clang/GR/PathSensitive/GRState.h"
+#include "clang/EntoSA/PathSensitive/ConstraintManager.h"
+#include "clang/EntoSA/PathSensitive/GRState.h"
namespace clang {
diff --git a/lib/GR/SimpleSValBuilder.cpp b/lib/EntoSA/SimpleSValBuilder.cpp
index bcd303e8fb..ac0bfa62ef 100644
--- a/lib/GR/SimpleSValBuilder.cpp
+++ b/lib/EntoSA/SimpleSValBuilder.cpp
@@ -11,8 +11,8 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/PathSensitive/SValBuilder.h"
-#include "clang/GR/PathSensitive/GRState.h"
+#include "clang/EntoSA/PathSensitive/SValBuilder.h"
+#include "clang/EntoSA/PathSensitive/GRState.h"
using namespace clang;
using namespace ento;
diff --git a/lib/GR/Store.cpp b/lib/EntoSA/Store.cpp
index 2e9857a9a0..29b0ee1b5f 100644
--- a/lib/GR/Store.cpp
+++ b/lib/EntoSA/Store.cpp
@@ -11,8 +11,8 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/PathSensitive/Store.h"
-#include "clang/GR/PathSensitive/GRState.h"
+#include "clang/EntoSA/PathSensitive/Store.h"
+#include "clang/EntoSA/PathSensitive/GRState.h"
#include "clang/AST/CharUnits.h"
using namespace clang;
diff --git a/lib/GR/SymbolManager.cpp b/lib/EntoSA/SymbolManager.cpp
index 7727138b02..75e0774837 100644
--- a/lib/GR/SymbolManager.cpp
+++ b/lib/EntoSA/SymbolManager.cpp
@@ -12,9 +12,9 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/PathSensitive/SymbolManager.h"
+#include "clang/EntoSA/PathSensitive/SymbolManager.h"
#include "clang/Analysis/Analyses/LiveVariables.h"
-#include "clang/GR/PathSensitive/MemRegion.h"
+#include "clang/EntoSA/PathSensitive/MemRegion.h"
#include "llvm/Support/raw_ostream.h"
using namespace clang;
diff --git a/lib/GR/TextPathDiagnostics.cpp b/lib/EntoSA/TextPathDiagnostics.cpp
index 02e6c2e8d6..bf98301dc5 100644
--- a/lib/GR/TextPathDiagnostics.cpp
+++ b/lib/EntoSA/TextPathDiagnostics.cpp
@@ -11,8 +11,8 @@
//
//===----------------------------------------------------------------------===//
-#include "clang/GR/PathDiagnosticClients.h"
-#include "clang/GR/BugReporter/PathDiagnostic.h"
+#include "clang/EntoSA/PathDiagnosticClients.h"
+#include "clang/EntoSA/BugReporter/PathDiagnostic.h"
#include "clang/Lex/Preprocessor.h"
#include "llvm/Support/raw_ostream.h"
using namespace clang;
diff --git a/lib/FrontendTool/CMakeLists.txt b/lib/FrontendTool/CMakeLists.txt
index f4ace98146..89937e1762 100644
--- a/lib/FrontendTool/CMakeLists.txt
+++ b/lib/FrontendTool/CMakeLists.txt
@@ -1,7 +1,7 @@
set(LLVM_NO_RTTI 1)
set(LLVM_USED_LIBS clangDriver clangFrontend clangRewrite clangCodeGen
- clangGRCheckers clangGRCore)
+ clangEntoCheckers clangEntoCore)
add_clang_library(clangFrontendTool
ExecuteCompilerInvocation.cpp
diff --git a/lib/FrontendTool/ExecuteCompilerInvocation.cpp b/lib/FrontendTool/ExecuteCompilerInvocation.cpp
index ae6194beb8..e17e8b7156 100644
--- a/lib/FrontendTool/ExecuteCompilerInvocation.cpp
+++ b/lib/FrontendTool/ExecuteCompilerInvocation.cpp
@@ -13,7 +13,7 @@
//===----------------------------------------------------------------------===//
#include "clang/FrontendTool/Utils.h"
-#include "clang/GR/FrontendActions.h"
+#include "clang/EntoSA/FrontendActions.h"
#include "clang/CodeGen/CodeGenAction.h"
#include "clang/Driver/CC1Options.h"
#include "clang/Driver/OptTable.h"
diff --git a/lib/Makefile b/lib/Makefile
index 6509fd59c6..300b9ea097 100755
--- a/lib/Makefile
+++ b/lib/Makefile
@@ -9,7 +9,7 @@
CLANG_LEVEL := ..
PARALLEL_DIRS = Headers Basic Lex Parse AST Sema CodeGen Analysis \
- GR Rewrite Serialization Frontend FrontendTool Index Driver
+ EntoSA Rewrite Serialization Frontend FrontendTool Index Driver
include $(CLANG_LEVEL)/Makefile