[CHERI_CSA] AllocationChecker: suppress for free

Author: eupharina

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

@@ -21,6 +21,7 @@
 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
 #include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
+#include <clang/StaticAnalyzer/Core/PathSensitive/CallDescription.h>
 
 
 using namespace clang;
@@ -49,6 +50,11 @@ class AllocationChecker : public Checker<check::PostStmt<CastExpr>,
   BugType BT_KnownReg{this, "Heap or static allocation partitioning",
                       "CHERI portability"};
 
+  const CallDescriptionSet IgnoreFnSet = {
+      {{CDM::SimpleFunc, {"free"}, 1}},
+  };
+
+
   class AllocPartitionBugVisitor : public BugReporterVisitor {
   public:
     AllocPartitionBugVisitor(const MemRegion *P, const MemRegion *A)
@@ -261,6 +267,9 @@ void AllocationChecker::checkPostStmt(const CastExpr *CE,
 
 void AllocationChecker::checkPreCall(const CallEvent &Call,
                                      CheckerContext &C) const {
+  if (IgnoreFnSet.contains(Call))
+    return;
+  
   ProgramStateRef State = C.getState();
   ExplodedNode *N = nullptr;
   bool Updated  = false;