added 14.3

1 files changed, 202 insertions, 6 deletions

diff --git a/mutator-lvl0.cpp b/mutator-lvl0.cpp
index 958ea44..3017ba7 100644
--- a/mutator-lvl0.cpp
+++ b/mutator-lvl0.cpp
@@ -50,6 +50,26 @@ std::vector<SourceLocation> MacroUndefSourceLocation;
 std::vector<std::string> MacroNameString;
 std::vector<std::string> IncludeFileArr;
 
+struct NullStmtInfo
+{
+  NullStmtInfo (unsigned iColumn, unsigned iLine, std::string iFileName, bool iIsInMainFile, bool iIsInSysHeader)
+  {
+    Column = iColumn;
+    Line = iLine;
+    FileName = iFileName;
+    IsInMainFile = iIsInMainFile;
+    IsInSysHeader = iIsInSysHeader;
+  }
+
+  unsigned Column;
+  unsigned Line;
+  std::string FileName;
+  bool IsInMainFile;
+  bool IsInSysHeader;
+};
+
+std::vector<NullStmtInfo> NullStmtProto;
+
 /*mutator-lvl0 executable options*/
 enum MisraC
 {
@@ -4156,13 +4176,13 @@ public:
     {
       if (!iter.HasMoreThanOneDaddy)
       {
-        if (Devi::IsTheMatchInSysHeader(CheckSystemHeader, iter.ObjFSL.isInSystemHeader(), iter.ObjSL))
+        if (Devi::IsTheMatchInSysHeader(CheckSystemHeader, iter.ObjFSL.isInSystemHeader()))
         {
           /*intentionally left blank*/
         }
         else
         {
-          if (Devi::IsTheMatchInMainFile(MainFileOnly, iter.ObjFSL.getManager().isInMainFile(iter.ObjSL), iter.ObjSL))
+          if (Devi::IsTheMatchInMainFile(MainFileOnly, iter.ObjFSL.getManager().isInMainFile(iter.ObjSL)))
           {
             std::cout << "8.7:" << "Object (" + iter.ObjNameStr + ") is only being used in one block (" + iter.FirstDaddyName + ") but is not defined inside that block:";
             std::cout << iter.ObjSLStr << ":" << std::endl;
@@ -4258,13 +4278,13 @@ public:
       if (iter.HasMoreThanOneDefinition)
       {
 #if 1
-        if (Devi::IsTheMatchInSysHeader(CheckSystemHeader, iter.XObjFSL.isInSystemHeader(), iter.XObjSL))
+        if (Devi::IsTheMatchInSysHeader(CheckSystemHeader, iter.XObjFSL.isInSystemHeader()))
         {
           /*intentionally left blank*/
         }
         else
         {
-          if (Devi::IsTheMatchInMainFile(MainFileOnly, iter.XObjFSL.getManager().isInMainFile(iter.XObjSL), iter.XObjSL))
+          if (Devi::IsTheMatchInMainFile(MainFileOnly, iter.XObjFSL.getManager().isInMainFile(iter.XObjSL)))
           {
             std::cout << "8.8:" << "External function or object (" + iter.XObjNameStr + ") is defined in more than one file:";
             std::cout << iter.XObjSLStr << ":" << std::endl;
@@ -4460,6 +4480,37 @@ private:
   Rewriter &Rewrite;
 };
 /**********************************************************************************************************************/
+class MCCF143 : public MatchFinder::MatchCallback
+{
+public:
+  MCCF143 (Rewriter &Rewrite) : Rewrite(Rewrite) {}
+
+  virtual void run(const MatchFinder::MatchResult &MR)
+  {
+    if (MR.Nodes.getNodeAs<clang::NullStmt>("mccf143nullstmt") != nullptr)
+    {
+      const NullStmt* NS = MR.Nodes.getNodeAs<clang::NullStmt>("mccf143nullstmt");
+
+      SourceLocation SL = NS->getSemiLoc();
+      SL = Devi::SourceLocationHasMacro(SL, Rewrite, "start");
+
+      ASTContext *const ASTC = MR.Context;
+
+      FullSourceLoc FSL = ASTC->getFullLoc(SL);
+
+      const SourceManager &SM = FSL.getManager();
+
+      StringRef FileNameString = SM.getFilename(SL);
+
+      NullStmtInfo Temp = {FSL.getSpellingColumnNumber(), FSL.getSpellingLineNumber(), FileNameString, SM.isInMainFile(SL), SM.isInSystemHeader(SL)};
+
+      NullStmtProto.push_back(Temp);
+    }
+  }
+
+private:
+  Rewriter &Rewrite;
+};
 /**********************************************************************************************************************/
 /**********************************************************************************************************************/
 /**********************************************************************************************************************/
@@ -5554,9 +5605,147 @@ public:
   }
 
 private:
-
 };
 /**********************************************************************************************************************/
+class CheckForNullStatements
+{
+public:
+  CheckForNullStatements() {}
+
+  void Check(void)
+  {
+    bool HaveWeMatchedASemi = false;
+    bool ShouldBeTagged = false;
+    bool HaveWeSeenAComment = false;
+    bool WhiteSpacePostSemi = false;
+    std::string NullSnippet = "";
+
+    for (auto &iter : NullStmtProto)
+    {
+#if 1
+      std::cout << iter.Line << ":" << iter.Column << ":" << iter.FileName << std::endl;
+#endif
+
+      ShouldBeTagged = false;
+      HaveWeMatchedASemi = false;
+      HaveWeSeenAComment = false;
+      WhiteSpacePostSemi = false;
+
+      std::ifstream InputFile(iter.FileName);
+
+      unsigned counter = 0U;
+
+      for (std::string line; getline(InputFile, line);)
+      {
+        counter++;
+        if (counter == iter.Line)
+        {
+          for (auto &iterchar : line)
+          {
+            if (iterchar == ';')
+            {
+              if (HaveWeMatchedASemi)
+              {
+                ShouldBeTagged = true;
+                break;
+              }
+
+              HaveWeMatchedASemi = true;
+              NullSnippet = NullSnippet + ";";
+              continue;
+            }
+
+            if (iterchar == ' ')
+            {
+              if (HaveWeMatchedASemi)
+              {
+                WhiteSpacePostSemi = true;
+                continue;
+              }
+
+              if (WhiteSpacePostSemi)
+              {
+                ShouldBeTagged = true;
+                break;
+              }
+              NullSnippet = NullSnippet + " ";
+
+              continue;
+            }
+
+            if (iterchar == '\t')
+            {
+              NullSnippet = NullSnippet + "\t";
+
+              if (HaveWeMatchedASemi)
+              {
+                ShouldBeTagged = true;
+                break;
+              }
+              else
+              {
+                continue;
+              }
+            }
+
+            if (iterchar == '/')
+            {
+              NullSnippet = NullSnippet + "/**/";
+              HaveWeSeenAComment = true;
+
+              if (HaveWeMatchedASemi)
+              {
+                if (WhiteSpacePostSemi)
+                {
+                  break;
+                }
+                else
+                {
+                  ShouldBeTagged = true;
+                  break;
+                }
+              }
+              else
+              {
+                ShouldBeTagged = true;
+                break;
+              }
+
+              break;
+            }
+
+            ShouldBeTagged = true;
+            break;
+          }
+        }
+
+        if (ShouldBeTagged)
+        {
+          if (Devi::IsTheMatchInSysHeader(CheckSystemHeader, iter.IsInSysHeader))
+          {
+            /*intentionally left blank*/
+          }
+          else
+          {
+            if (Devi::IsTheMatchInMainFile(MainFileOnly, iter.IsInMainFile))
+            {
+              std::cout << "14.3" << ":" << "Illegal NullStmt form:" << iter.FileName << ":" << iter.Line << ":" << iter.Column << ":" << std::endl;
+
+              XMLDocOut.XMLAddNode(iter.Line, iter.Column, iter.FileName, "14.3", "Illegal NullStmt form:");
+              JSONDocOUT.JSONAddElement(iter.Line, iter.Column, iter.FileName, "14.3", "Illegal NullStmt form:");
+            }
+          }
+
+          break;
+        }
+      }
+
+      InputFile.close();
+    }
+  }
+
+private:
+};
 /**********************************************************************************************************************/
 /**********************************************************************************************************************/
 class MyASTConsumer : public ASTConsumer {
@@ -5573,7 +5762,7 @@ public:
     HandlerForCSE137(R), HandlerForDCDF810(R), HandlerForFunction165(R), HandlerForFunction1652(R), HandlerForPointer171(R), \
     HandlerForPointer1723(R), HandlerForPointer174(R), HandlerForPointer175(R), HandlerForTypes61(R), HandlerForSU181(R), \
     HandlerForMCPTCCSTYLE(R), HandlerForATC101(R), HandlerForIdent5(R), HandlerForDCDF87(R), HandlerForLangX23(R), \
-    HandlerForFunction167(R) {
+    HandlerForFunction167(R), HandlerForCF143(R) {
 
 #if 1
     /*forstmts whithout a compound statement.*/
@@ -5770,6 +5959,8 @@ public:
     Matcher.addMatcher(parmVarDecl(unless(allOf(hasAncestor(functionDecl(hasDescendant(binaryOperator(allOf(hasOperatorName("="), \
                                           hasLHS(hasDescendant(declRefExpr(allOf(hasAncestor(unaryOperator(hasOperatorName("*"))), \
                                               to(parmVarDecl(hasType(pointerType())).bind("zulu"))))))))))), equalsBoundNode("zulu")))).bind("mcfunction167"), &HandlerForFunction167);
+
+    Matcher.addMatcher(nullStmt().bind("mccf143nullstmt"), &HandlerForCF143);
 #endif
   }
 
@@ -5841,6 +6032,7 @@ private:
 #endif
   MCLangX23 HandlerForLangX23;
   MCFunction167 HandlerForFunction167;
+  MCCF143 HandlerForCF143;
   MatchFinder Matcher;
 };
 /**********************************************************************************************************************/
@@ -5891,6 +6083,10 @@ int main(int argc, const char **argv)
 
   int RunResult = Tool.run(newFrontendActionFactory<MyFrontendAction>().get());
 
+  CheckForNullStatements CheckForNull;
+
+  CheckForNull.Check();
+
   XMLDocOut.SaveReport();
 
   JSONDocOUT.CloseReport();