diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/CMakeLists.txt | 4 | ||||
| -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.txt | 2 | ||||
| -rw-r--r-- | lib/FrontendTool/ExecuteCompilerInvocation.cpp | 2 | ||||
| -rwxr-xr-x | lib/Makefile | 2 |
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..f |