added 17.5

1 files changed, 107 insertions, 1 deletions

diff --git a/mutator-lvl0.cpp b/mutator-lvl0.cpp
index fb59cfb..10792ef 100644
--- a/mutator-lvl0.cpp
+++ b/mutator-lvl0.cpp
@@ -2140,6 +2140,108 @@ private:
   Rewriter &Rewrite;
 };
 /**********************************************************************************************************************/
+/*in case of function pointers, where an argument has more than two levels of indirection,
+the argument and the function pointer both get tagged. technically, it is a defendable.*/
+class MCPointer175 : public MatchFinder::MatchCallback
+{
+public:
+  MCPointer175 (Rewriter &Rewrite) : Rewrite(Rewrite) {}
+
+  virtual void run(const MatchFinder::MatchResult &MR)
+  {
+    const VarDecl* VD;
+    const FieldDecl* FD;
+    SourceLocation SL;
+    QualType QT;
+
+    if (MR.Nodes.getNodeAs<clang::VarDecl>("mcpointer175") != nullptr)
+    {
+      VD = MR.Nodes.getNodeAs<clang::VarDecl>("mcpointer175");
+
+      SL = VD->getLocStart();
+      SL = Devi::SourceLocationHasMacro(SL, Rewrite, "start");
+
+      QT = VD->getType();
+    }
+
+    if (MR.Nodes.getNodeAs<clang::FieldDecl>("mcpointer175field") != nullptr)
+    {
+      FD = MR.Nodes.getNodeAs<clang::FieldDecl>("mcpointer175field");
+
+      SL = FD->getSourceRange().getBegin();
+      SL = Devi::SourceLocationHasMacro(SL, Rewrite, "start");
+
+      QT = FD->getType();
+    }
+
+
+    QualType CQT = QT.getCanonicalType();
+
+    std::string CQTAsString = CQT.getAsString();
+
+    const clang::Type* TP = CQT.getTypePtr();
+
+    unsigned starCounter = 0U;
+    size_t StarPos = 0U;
+    size_t OpenParens = 0U;
+    size_t NextOpenParens = 0U;
+    size_t CommaPos = 0U;
+    size_t NextCommaPos = 0U;
+    bool FoundAMatch = false;
+
+    while (StarPos != std::string::npos)
+    {
+      StarPos = CQTAsString.find("*", StarPos + 1);
+      OpenParens = CQTAsString.find("(", NextOpenParens + 1);
+      CommaPos = CQTAsString.find(",", NextCommaPos + 1);
+
+      if (OpenParens != std::string::npos)
+      {
+        if (StarPos > OpenParens)
+        {
+          starCounter = 0U;
+          NextOpenParens = OpenParens;
+        }
+
+      }
+
+      if (CommaPos != std::string::npos)
+      {
+        if (StarPos > CommaPos)
+        {
+          starCounter = 0U;
+          NextCommaPos = CommaPos;
+        }
+      }
+
+      if (StarPos != std::string::npos)
+      {
+        starCounter++;
+      }
+
+      if (starCounter >= 3U)
+      {
+        std::cout << "17.5 : " << "Pointer has more than 2 levels of indirection : " << std::endl;
+        std::cout << SL.printToString(*MR.SourceManager) << "\n" << std::endl;
+
+        XMLDocOut.XMLAddNode(MR.Context, SL, "17.5", "Pointer has more than 2 levels on indirection : ");
+
+        break;
+      }
+    }
+
+
+  }
+
+private:
+  Rewriter &Rewrite;
+};
+/**********************************************************************************************************************/
+/**********************************************************************************************************************/
+/**********************************************************************************************************************/
+/**********************************************************************************************************************/
+/**********************************************************************************************************************/
+/**********************************************************************************************************************/
 /*the sourcelocation used in the overload of XMLAddNode that takes sourcemanager as input parameter uses
 the speeling location so the client does not need to check the sourcelocation for macros.*/
 class PPInclusion : public PPCallbacks
@@ -2277,7 +2379,7 @@ public:
     HandlerForCSE131(R), HandlerForCSE132(R), HandlerForCSE1332(R), HandlerForCSE134(R), HandlerForCSE136(R), HandlerForCF144(R), \
     HandlerForCF145(R), HandlerForCF146(R), HandlerForCF147(R), HandlerForCF148(R), HandlerForSwitch154(R), HandlerForPTC111(R), \
     HandlerForCSE137(R), HandlerForDCDF810(R), HandlerForFunction165(R), HandlerForFunction1652(R), HandlerForPointer171(R), \
-    HandlerForPointer1723(R), HandlerForPointer174(R) {
+    HandlerForPointer1723(R), HandlerForPointer174(R), HandlerForPointer175(R) {
 
     /*forstmts whithout a compound statement.*/
     Matcher.addMatcher(forStmt(unless(hasDescendant(compoundStmt()))).bind("mcfor"), &HandlerForCmpless);
@@ -2439,6 +2541,9 @@ public:
                                          binaryOperator(hasOperatorName("+")), binaryOperator(hasOperatorName("+=")), \
                                          binaryOperator(hasOperatorName("-"))))), to(varDecl(hasType(pointerType()))))).bind("mcpointer1742"), &HandlerForPointer174);
     /*end of 17.4 matchers*/
+    Matcher.addMatcher(varDecl(hasType(pointerType())).bind("mcpointer175"), &HandlerForPointer175);
+
+    Matcher.addMatcher(fieldDecl().bind("mcpointer175field"), &HandlerForPointer175);
   }
 
   void HandleTranslationUnit(ASTContext &Context) override {
@@ -2497,6 +2602,7 @@ private:
   MCPointer171 HandlerForPointer171;
   MCPointer1723 HandlerForPointer1723;
   MCPointer174 HandlerForPointer174;
+  MCPointer175 HandlerForPointer175;
   MatchFinder Matcher;
 };
 /**********************************************************************************************************************/