[CHERI_CSA] AllocationChecker: move static and heap allocation to new BugType

Author: eupharina

clang/lib/StaticAnalyzer/Checkers/CHERI/AllocationChecker.cpp

@@ -28,7 +28,9 @@ using namespace cheri;
 namespace {
 
 class AllocationChecker : public Checker<check::PostStmt<CastExpr>> {
-  BugType BT_1{this, "Allocation partitioning", "CHERI portability"};
+  BugType BT_Default{this, "Allocation partitioning", "CHERI portability"};
+  BugType BT_KnownReg{this, "Heap or static allocation partitioning",
+                      "CHERI portability"};
 
   class AllocPartitionBugVisitor : public BugReporterVisitor {
   public:
@@ -119,7 +121,10 @@ ExplodedNode *AllocationChecker::emitAllocationPartitionWarning(
     llvm::raw_svector_ostream OS(Buf);
     OS << "Allocation partition: ";
     describeCast(OS, CE, C.getASTContext().getLangOpts());
-    auto R = std::make_unique<PathSensitiveBugReport>(BT_1, OS.str(), ErrNode);
+    const MemSpaceRegion *MemSpace = MR->getMemorySpace();
+    bool KnownReg = isa<HeapSpaceRegion, GlobalsSpaceRegion>(MemSpace);
+    auto R = std::make_unique<PathSensitiveBugReport>(
+        KnownReg ? BT_KnownReg : BT_Default, OS.str(), ErrNode);
     R->addVisitor(std::make_unique<AllocPartitionBugVisitor>(MR));
     C.emitReport(std::move(R));
     return ErrNode;