did some code cleanup on m0 and bruiser, now you can specify report paths for m0, wip of dedrecating mutator.sh and mutator.py

7 files changed, 192 insertions, 350 deletions

diff --git a/m0/mutator-lvl0.cpp b/m0/mutator-lvl0.cpp
index 33cdb00..0d8f0c4 100644
--- a/m0/mutator-lvl0.cpp
+++ b/m0/mutator-lvl0.cpp
@@ -26,14 +26,17 @@ Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.*
 #include "mutator_aux.h"
 #include "mutator_report.h"
 /*standard headers*/
+#include <algorithm>
 #include <cassert>
 #include <exception>
 #include <fstream>
 #include <iostream>
+#include <iterator>
 #include <map>
 #include <regex>
 #include <string>
 #include <vector>
+#include <string.h>
 /*Clang headers*/
 #include "clang/AST/AST.h"
 #include "clang/AST/ASTConsumer.h"
@@ -218,6 +221,10 @@ cl::opt<bool> MCEA("MCEA", cl::desc("MisraC switch to enable all rule checks"),
 cl::opt<bool> MCDA("MCDA", cl::desc("MisraC switches to disable all rule checks"), cl::init(false), cl::cat(MutatorLVL0Cat), cl::Optional);
 cl::opt<bool> SFRCPP("SFRCPP", cl::desc("Enables SaferCPlusPlus rule checks"), cl::init(true), cl::cat(MutatorLVL0Cat), cl::Optional);
 cl::opt<bool> mutagen("mutagen", cl::desc("runs mutagen after running the static tests"), cl::init(false), cl::cat(MutatorLVL0Cat), cl::Optional);
+cl::opt<std::string> ACTIONFILE("file", cl::desc("path to action file"), cl::init(""), cl::cat(MutatorLVL0Cat), cl::Optional);
+cl::opt<std::string> JSONOUT("jsonout", cl::desc("path to json output report"), cl::init(""), cl::cat(MutatorLVL0Cat), cl::Optional);
+cl::opt<std::string> XMLOUT("xmlout", cl::desc("path to xml output report"), cl::init(""), cl::cat(MutatorLVL0Cat), cl::Optional);
+cl::opt<std::string> MUTAGENOUT("mutagenout", cl::desc("path to mutagen output report"), cl::init(""), cl::cat(MutatorLVL0Cat), cl::Optional);
 /**********************************************************************************************************************/
 class StringOptionsParser {
 friend class MutatorLVL0Tests;
@@ -6818,122 +6825,78 @@ public:
     bool HaveWeSeenAComment = false;
     bool WhiteSpacePostSemi = false;
 
-    for (auto &iter : NullStmtProto)
-    {
-#if 0
-      std::cout << iter.Line << ":" << iter.Column << ":" << iter.FileName << "\n";
-#endif
-
+    for (auto &iter : NullStmtProto) {
       ShouldBeTagged = false;
       HaveWeMatchedASemi = false;
       HaveWeSeenAComment = false;
       WhiteSpacePostSemi = false;
-
       std::ifstream InputFile(iter.FileName);
-
       unsigned counter = 0U;
 
-      for (std::string line; getline(InputFile, line);)
-      {
+      for (std::string line; getline(InputFile, line);) {
         counter++;
-        if (counter == iter.Line)
-        {
-          for (auto &iterchar : line)
-          {
-            if (iterchar == ';')
-            {
-              if (HaveWeMatchedASemi)
-              {
+        if (counter == iter.Line) {
+          for (auto &iterchar : line) {
+            if (iterchar == ';') {
+              if (HaveWeMatchedASemi) {
                 ShouldBeTagged = true;
                 break;
               }
-
               HaveWeMatchedASemi = true;
               continue;
             }
-
-            if (iterchar == ' ')
-            {
-              if (HaveWeMatchedASemi)
-              {
+            if (iterchar == ' ') {
+              if (HaveWeMatchedASemi) {
                 WhiteSpacePostSemi = true;
                 continue;
               }
-
-              if (WhiteSpacePostSemi)
-              {
+              if (WhiteSpacePostSemi) {
                 ShouldBeTagged = true;
                 break;
               }
-
               continue;
             }
-
-            if (iterchar == '\t')
-            {
-
-              if (HaveWeMatchedASemi)
-              {
+            if (iterchar == '\t') {
+              if (HaveWeMatchedASemi) {
                 ShouldBeTagged = true;
                 break;
-              }
-              else
-              {
+              } else {
                 continue;
               }
             }
-
-            if (iterchar == '/')
-            {
+            if (iterchar == '/') {
               HaveWeSeenAComment = true;
-
-              if (HaveWeMatchedASemi)
-              {
-                if (WhiteSpacePostSemi)
-                {
+              if (HaveWeMatchedASemi) {
+                if (WhiteSpacePostSemi) {
                   break;
-                }
-                else
-                {
+                } else {
                   ShouldBeTagged = true;
                   break;
                 }
-              }
-              else
-              {
+              } else {
                 ShouldBeTagged = true;
                 break;
               }
-
               break;
             }
-
             ShouldBeTagged = true;
             break;
           }
         }
 
-        if (ShouldBeTagged)
-        {
-          if (Devi::IsTheMatchInSysHeader(CheckSystemHeader, iter.IsInSysHeader))
-          {
+        if (ShouldBeTagged) {
+          if (Devi::IsTheMatchInSysHeader(CheckSystemHeader, iter.IsInSysHeader)) {
             /*intentionally left blank*/
-          }
-          else
-          {
-            if (Devi::IsTheMatchInMainFile(MainFileOnly, iter.IsInMainFile))
-            {
+          } else {
+            if (Devi::IsTheMatchInMainFile(MainFileOnly, iter.IsInMainFile)) {
               std::cout << "14.3" << ":" << "Illegal NullStmt form:" << iter.FileName << ":" << iter.Line << ":" << iter.Column << ":" << "\n";
-
               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();
     }
   }
@@ -7046,7 +7009,6 @@ public: onEndOfAllTUs() {}
           /*tag 5.7*/
           std::cout << "5.7:" << "Identifier re-used:";
           std::cout << iter.SLString << ":" << iter.Name << ":" << yaiter.SLString << "\n";
-
           XMLDocOut.XMLAddNode(iter.Line, iter.Column, iter.FileName, "5.7", "Identifier re-used:");
           JSONDocOUT.JSONAddElement(iter.Line, iter.Column, iter.FileName, "5.7", "Identifier re-used:");
 
@@ -7055,7 +7017,6 @@ public: onEndOfAllTUs() {}
             /*tag 5.3*/
             std::cout << "5.3:" << "Typedef identifier is not unique:";
             std::cout << iter.SLString << ":" << iter.Name << ":" << yaiter.SLString << "\n";
-
             XMLDocOut.XMLAddNode(iter.Line, iter.Column, iter.FileName, "5.3", "Typedef identifier is not unique:");
             JSONDocOUT.JSONAddElement(iter.Line, iter.Column, iter.FileName, "5.3", "Typedef identifier is not unique:");
           }
@@ -7065,7 +7026,6 @@ public: onEndOfAllTUs() {}
             /*tag 5.4*/
             std::cout << "5.4:" << "Tag identifier is not unique:";
             std::cout << iter.SLString << ":" << iter.Name << ":" << yaiter.SLString << "\n";
-
             XMLDocOut.XMLAddNode(iter.Line, iter.Column, iter.FileName, "5.4", "Tag identifier is not unique:");
             JSONDocOUT.JSONAddElement(iter.Line, iter.Column, iter.FileName, "5.4", "Tag identifier is not unique:");
           }
@@ -7075,7 +7035,6 @@ public: onEndOfAllTUs() {}
             /*tag 5.6*/
             std::cout << "5.6:" << "The Identifier is re-used in another namespace:";
             std::cout << iter.SLString << ":" << iter.Name << ":" << yaiter.SLString << "\n";
-
             XMLDocOut.XMLAddNode(iter.Line, iter.Column, iter.FileName, "5.6", "The Identifier is re-used in another namespace:");
             JSONDocOUT.JSONAddElement(iter.Line, iter.Column, iter.FileName, "5.6", "The Identifier is re-used in another namespace:");
           }
@@ -7085,7 +7044,6 @@ public: onEndOfAllTUs() {}
             /*tag 5.6*/
             std::cout << "5.6:" << "The Identifier is re-used in another namespace:";
             std::cout << iter.SLString << ":" << iter.Name << ":" << yaiter.SLString << "\n";
-
             XMLDocOut.XMLAddNode(iter.Line, iter.Column, iter.FileName, "5.6", "The Identifier is re-used in another namespace:");
             JSONDocOUT.JSONAddElement(iter.Line, iter.Column, iter.FileName, "5.6", "The Identifier is re-used in another namespace:");
           }
@@ -7096,7 +7054,6 @@ public: onEndOfAllTUs() {}
             /*tag 5.6*/
             std::cout << "5.6:" << "The Identifier is re-used in another namespace:";
             std::cout << iter.SLString << ":" << iter.Name << ":" << yaiter.SLString << "\n";
-
             XMLDocOut.XMLAddNode(iter.Line, iter.Column, iter.FileName, "5.6", "The Identifier is re-used in another namespace:");
             JSONDocOUT.JSONAddElement(iter.Line, iter.Column, iter.FileName, "5.6", "The Identifier is re-used in another namespace:");
           }
@@ -7106,7 +7063,6 @@ public: onEndOfAllTUs() {}
             /*tag 5.2*/
             std::cout << "5.2:" << "This identifier is being hidden by an identifier of the same name in file scope:";
             std::cout << iter.SLString << ":" << iter.Name << ":" << yaiter.SLString << "\n";
-
             XMLDocOut.XMLAddNode(iter.Line, iter.Column, iter.FileName, "5.2", "This identifier is being hidden by an identifier of the same name in file scope:");
             JSONDocOUT.JSONAddElement(iter.Line, iter.Column, iter.FileName, "5.2", "This identifier is being hidden by an identifier of the same name in file scope:");
           }
@@ -7116,7 +7072,6 @@ public: onEndOfAllTUs() {}
             /*tag 5.5*/
             std::cout << "5.5:" << "Identifier with static storage duration is re-used:";
             std::cout << iter.SLString << ":" << iter.Name << ":" << yaiter.SLString << "\n";
-
             XMLDocOut.XMLAddNode(iter.Line, iter.Column, iter.FileName, "5.5", "Identifier with static storage duration is re-used:");
             JSONDocOUT.JSONAddElement(iter.Line, iter.Column, iter.FileName, "5.5", "Identifier with static storage duration is re-used:");
           }
@@ -7130,7 +7085,6 @@ private:
 };
 /**********************************************************************************************************************/
 class MyASTConsumer : public ASTConsumer {
-
 public:
   MyASTConsumer(Rewriter &R) : HandlerForCmpless(R), HandlerWhileCmpless(R), HandlerElseCmpless(R), HandlerIfCmpless(R), \
     HandlerForIfElse(R), HandlerForSwitchBrkLess(R), HandlerForSwitchDftLEss(R), HandlerForMCSwitch151(R), HandlerForMCSwitch155(R), \
@@ -7152,254 +7106,203 @@ public:
 #if defined(_MUT0_EN_MATCHERS)
 
     Matcher.addMatcher(forStmt(unless(hasDescendant(compoundStmt()))).bind("mcfor"), &HandlerForCmpless);
-
     Matcher.addMatcher(whileStmt(unless(hasDescendant(compoundStmt()))).bind("mcwhile"), &HandlerWhileCmpless);
-
     Matcher.addMatcher(ifStmt(allOf(hasElse(unless(ifStmt())), hasElse(unless(compoundStmt())))).bind("mcelse"), &HandlerElseCmpless);
-
     Matcher.addMatcher(ifStmt(unless(hasDescendant(compoundStmt()))).bind("mcif"), &HandlerIfCmpless);
-
     Matcher.addMatcher(ifStmt(allOf(hasElse(ifStmt()), unless(hasAncestor(ifStmt())), unless(hasDescendant(ifStmt(hasElse(unless(ifStmt()))))))).bind("mcifelse"), &HandlerForIfElse);
-
     Matcher.addMatcher(switchStmt(hasDescendant(compoundStmt(hasDescendant(switchCase(unless(hasDescendant(breakStmt()))))))).bind("mcswitchbrk"), &HandlerForSwitchBrkLess);
-
     Matcher.addMatcher(switchStmt(unless(hasDescendant(defaultStmt()))).bind("mcswitchdft"), &HandlerForSwitchDftLEss);
 
-    if (umRuleList.at("15.1"))
-    {
+    if (umRuleList.at("15.1")) {
       Matcher.addMatcher(switchStmt(forEachDescendant(caseStmt(hasAncestor(compoundStmt().bind("mccmp151"))).bind("mccase151"))), &HandlerForMCSwitch151);
     }
 
-    if (umRuleList.at("15.5"))
-    {
+    if (umRuleList.at("15.5")) {
       Matcher.addMatcher(switchStmt(unless(hasDescendant(caseStmt()))).bind("mcswitch155"), &HandlerForMCSwitch155);
     }
 
-    if (umRuleList.at("16.1"))
-    {
+    if (umRuleList.at("16.1")) {
       Matcher.addMatcher(functionDecl().bind("mcfunction161"), &HandlerForMCFunction161);
     }
 
-    if (umRuleList.at("16.2"))
-    {
+    if (umRuleList.at("16.2")) {
       Matcher.addMatcher(functionDecl(forEachDescendant(callExpr().bind("mc162callexpr"))).bind("mc162funcdec"), &HandlerForFunction162);
     }
 
-    if (umRuleList.at("16.4"))
-    {
+    if (umRuleList.at("16.4")) {
       Matcher.addMatcher(functionDecl().bind("mcfunc164"), &HandlerForFunction164);
     }
 
-    if (umRuleList.at("16.6"))
-    {
+    if (umRuleList.at("16.6")) {
       Matcher.addMatcher(callExpr().bind("mcfunc166"), &HandlerForFunction166);
     }
 
-    if (umRuleList.at("16.8"))
-    {
+    if (umRuleList.at("16.8")) {
       Matcher.addMatcher(functionDecl(forEachDescendant(returnStmt().bind("mcfunc168"))), &HandlerForFunction168);
     }
 
-    if (umRuleList.at("16.9"))
-    {
+    if (umRuleList.at("16.9")) {
       Matcher.addMatcher(implicitCastExpr(unless(hasAncestor(callExpr()))).bind("mcfunc169"), &HandlerForFunction169);
     }
 
-    if (umRuleList.at("17.1"))
-    {
+    if (umRuleList.at("17.1")) {
       Matcher.addMatcher(varDecl().bind("mcpa171"), &HandlerForPA171);
     }
 
-    if (umRuleList.at("18.4"))
-    {
+    if (umRuleList.at("18.4")) {
       Matcher.addMatcher(recordDecl(isUnion()).bind("mcsu184"), &HandlerForSU184);
     }
 
-    if (umRuleList.at("6.4") || umRuleList.at("6.5"))
-    {
+    if (umRuleList.at("6.4") || umRuleList.at("6.5")) {
       Matcher.addMatcher(fieldDecl(isBitField()).bind("mctype6465"), &HandlerForType6465);
     }
 
-    if (umRuleList.at("8.1"))
-    {
+    if (umRuleList.at("8.1")) {
       Matcher.addMatcher(functionDecl().bind("mcdcdf81"), &HandlerForDCDF81);
     }
 
-    if (umRuleList.at("8.2"))
-    {
+    if (umRuleList.at("8.2")) {
       Matcher.addMatcher(varDecl().bind("mcdcdf82"), &HandlerForDCDF82);
     }
 
-    if (umRuleList.at("9.1"))
-    {
+    if (umRuleList.at("9.1")) {
       Matcher.addMatcher(varDecl().bind("mcinit91"), &HandlerForInit91);
     }
 
-    if (umRuleList.at("9.2"))
-    {
+    if (umRuleList.at("9.2")) {
       Matcher.addMatcher(initListExpr(hasAncestor(varDecl().bind("mcinit92daddy"))).bind("mcinit92"), &HandlerForInit92);
     }
 
-    if (umRuleList.at("9.3"))
-    {
+    if (umRuleList.at("9.3")) {
       Matcher.addMatcher(enumConstantDecl(anyOf(allOf(hasDescendant(integerLiteral().bind("mcinit93kiddy")), \
                                           hasAncestor(enumDecl().bind("mcinit93daddy"))), hasAncestor(enumDecl().bind("mcinit93daddy")))).bind("mcinit93"), &HandlerForInit93);
     }
 
-    if (umRuleList.at("12.3"))
-    {
+    if (umRuleList.at("12.3")) {
       Matcher.addMatcher(unaryExprOrTypeTraitExpr(hasDescendant(expr().bind("mcexpr123kiddy"))).bind("mcexpr123"), &HandlerForExpr123);
     }
 
-    if (umRuleList.at("12.4"))
-    {
+    if (umRuleList.at("12.4")) {
       Matcher.addMatcher(binaryOperator(allOf(eachOf(hasOperatorName("||"), hasOperatorName("&&")), hasRHS(expr().bind("mcexpr124")))), &HandlerForExpr124);
     }
 
-    if (umRuleList.at("12.5"))
-    {
+    if (umRuleList.at("12.5")) {
       Matcher.addMatcher(binaryOperator(allOf(eachOf(hasOperatorName("||"), hasOperatorName("&&")), \
                                               eachOf(hasRHS(allOf(expr().bind("lrhs"), unless(anyOf(implicitCastExpr() , declRefExpr(), callExpr(), floatLiteral(), integerLiteral(), stringLiteral()))))\
                                                   , hasLHS(allOf(expr().bind("lrhs"), unless(anyOf(implicitCastExpr(), declRefExpr(), callExpr(), floatLiteral(), integerLiteral(), stringLiteral())))))))\
                          , &HandlerForExpr125);
     }
 
-    if (umRuleList.at("12.6"))
-    {
+    if (umRuleList.at("12.6")) {
       Matcher.addMatcher(binaryOperator(allOf(eachOf(hasOperatorName("||"), hasOperatorName("&&")), \
                                               eachOf(hasLHS(expr().bind("mcexpr126rl")), hasRHS(expr().bind("mcexpr126rl"))))), &HandlerForExpr126);
     }
 
-    if (umRuleList.at("12.7"))
-    {
+    if (umRuleList.at("12.7")) {
       Matcher.addMatcher(binaryOperator(allOf(eachOf(hasOperatorName("<<"), hasOperatorName(">>"), hasOperatorName("~"), hasOperatorName("<<="), \
                                               hasOperatorName(">>="), hasOperatorName("&"), hasOperatorName("&="), hasOperatorName("^"), hasOperatorName("^=")\
                                               , hasOperatorName("|"), hasOperatorName("|=")), eachOf(hasLHS(expr().bind("mcexpr127rl")), hasRHS(expr().bind("mcexpr127rl"))))), &HandlerForExpr127);
     }
 
-    if (umRuleList.at("12.8"))
-    {
+    if (umRuleList.at("12.8")) {
       Matcher.addMatcher(binaryOperator(allOf(eachOf(hasOperatorName(">>"), hasOperatorName(">>="), hasOperatorName("<<="), hasOperatorName("<<")), \
                                               hasLHS(expr().bind("mcexpr128lhs")) , hasRHS(expr().bind("mcexpr128rhs")))), &HandlerForExpr128);
     }
 
-    if (umRuleList.at("12.9"))
-    {
+    if (umRuleList.at("12.9")) {
       Matcher.addMatcher(unaryOperator(allOf(hasOperatorName("-"), hasUnaryOperand(expr().bind("mcexpr129")))), &HandlerForExpr129);
     }
 
-    if (umRuleList.at("12.10"))
-    {
+    if (umRuleList.at("12.10")) {
       Matcher.addMatcher(binaryOperator(allOf(hasOperatorName(","), hasLHS(expr().bind("mcexpr1210")))), &HandlerForExpr1210);
     }
 
-    if (umRuleList.at("12.13"))
-    {
+    if (umRuleList.at("12.13")) {
       Matcher.addMatcher(unaryOperator(allOf(eachOf(hasOperatorName("++"), hasOperatorName("--"))\
               , anyOf(hasAncestor(binaryOperator()), hasDescendant(binaryOperator())))).bind("mcexpr1213"), &HandlerForExpr1213);
     }
 
-    if (umRuleList.at("13.1"))
-    {
+    if (umRuleList.at("13.1")) {
       Matcher.addMatcher(binaryOperator(allOf(hasOperatorName("="), eachOf(hasLHS(expr().bind("cse131rlhs")), hasRHS(expr().bind("cse131rlhs"))))), &HandlerForCSE131);
     }
 
-    if (umRuleList.at("13.2"))
-    {
+    if (umRuleList.at("13.2")) {
       Matcher.addMatcher(ifStmt(hasCondition(expr(unless(hasDescendant(binaryOperator(anyOf(hasOperatorName("<")\
                                              , hasOperatorName(">"), hasOperatorName("=="), hasOperatorName("<="), hasOperatorName(">=")))))).bind("mccse132"))), &HandlerForCSE132);
     }
 
-    if (umRuleList.at("13.3"))
-    {
+    if (umRuleList.at("13.3")) {
       Matcher.addMatcher(binaryOperator(allOf(anyOf(hasOperatorName("<"), hasOperatorName(">"), hasOperatorName("<="), hasOperatorName(">="), hasOperatorName("==")), \
                                               eachOf(hasLHS(expr().bind("mccse1332rl")), hasRHS(expr().bind("mccse1332rl"))))).bind("mccse1332daddy"), &HandlerForCSE1332);
     }
 
-    if (umRuleList.at("13.4"))
-    {
+    if (umRuleList.at("13.4")) {
       Matcher.addMatcher(forStmt().bind("mccse134"), &HandlerForCSE134);
     }
 
-    if (umRuleList.at("13.6"))
-    {
+    if (umRuleList.at("13.6")) {
       Matcher.addMatcher(forStmt(forEachDescendant(stmt(eachOf(unaryOperator(allOf(anyOf(hasOperatorName("++"), hasOperatorName("--")), hasUnaryOperand(declRefExpr().bind("mccse136kiddo")))), \
                                  binaryOperator(allOf(hasOperatorName("="), hasLHS(declRefExpr().bind("mccse136kiddo")))))))).bind("mccse136daddy"), &HandlerForCSE136);
     }
 
-    if (umRuleList.at("14.4"))
-    {
+    if (umRuleList.at("14.4")) {
       Matcher.addMatcher(gotoStmt().bind("mccf144"), &HandlerForCF144);
     }
 
-    if (umRuleList.at("14.5"))
-    {
+    if (umRuleList.at("14.5")) {
       Matcher.addMatcher(continueStmt().bind("mccf145"), &HandlerForCF145);
     }
 
-    if (umRuleList.at("14.6"))
-    {
+    if (umRuleList.at("14.6")) {
       Matcher.addMatcher(breakStmt(hasAncestor(stmt(anyOf(forStmt().bind("mccffofo"), doStmt().bind("mccfdodo"), whileStmt().bind("mccfwuwu"))))), &HandlerForCF146);
     }
 
-    if (umRuleList.at("14.7"))
-    {
+    if (umRuleList.at("14.7")) {
       Matcher.addMatcher(returnStmt(hasAncestor(functionDecl().bind("mccf147"))), &HandlerForCF147);
     }
 
-    if (umRuleList.at("14.8"))
-    {
+    if (umRuleList.at("14.8")) {
       Matcher.addMatcher(forStmt(unless(has(compoundStmt()))).bind("mccf148for"), &HandlerForCF148);
     }
 
-    if (umRuleList.at("14.8"))
-    {
+    if (umRuleList.at("14.8")) {
       Matcher.addMatcher(whileStmt(unless(has(compoundStmt()))).bind("mccf148while"), &HandlerForCF148);
     }
 
-    if (umRuleList.at("14.8"))
-    {
+    if (umRuleList.at("14.8")) {
       Matcher.addMatcher(doStmt(unless(has(compoundStmt()))).bind("mccf148do"), &HandlerForCF148);
     }
 
-    if (umRuleList.at("14.8"))
-    {
+    if (umRuleList.at("14.8")) {
       Matcher.addMatcher(switchStmt(unless(has(compoundStmt()))).bind("mccf148switch"), &HandlerForCF148);
     }
 
-    if (umRuleList.at("15.4"))
-    {
+    if (umRuleList.at("15.4")) {
       Matcher.addMatcher(switchStmt(hasCondition(expr().bind("mcswitch154"))).bind("mcswitch154daddy"), &HandlerForSwitch154);
     }
 
-    if (umRuleList.at("11.1"))
-    {
+    if (umRuleList.at("11.1")) {
       Matcher.addMatcher(implicitCastExpr().bind("mcptc111"), &HandlerForPTC111);
     }
 
-    if (umRuleList.at("13.7"))
-    {
+    if (umRuleList.at("13.7")) {
       Matcher.addMatcher(expr().bind("mccse137"), &HandlerForCSE137);
     }
 
-    if (umRuleList.at("8.10"))
-    {
+    if (umRuleList.at("8.10")) {
       Matcher.addMatcher(callExpr(hasAncestor(functionDecl().bind("mcdcdf810daddy"))).bind("mcdcdf810"), &HandlerForDCDF810);
     }
 
-    if (umRuleList.at("16.5"))
-    {
+    if (umRuleList.at("16.5")) {
       Matcher.addMatcher(functionDecl(allOf(returns(anything()), unless(returns(asString("void"))), hasBody(compoundStmt()) \
                                             , unless(hasDescendant(returnStmt())))).bind("mcfunction165"), &HandlerForFunction165);
     }
 
-    if (umRuleList.at("16.5"))
-    {
+    if (umRuleList.at("16.5")) {
       Matcher.addMatcher(functionDecl(allOf(parameterCountIs(0), hasBody(compoundStmt()))).bind("mcfunction1652"), &HandlerForFunction1652);
     }
 
-    if (umRuleList.at("17.1"))
-    {
+    if (umRuleList.at("17.1")) {
       Matcher.addMatcher(declRefExpr(allOf(to(varDecl().bind("loco")), unless(hasParent(castExpr(hasCastKind(clang::CK_ArrayToPointerDecay)))), \
                                            hasAncestor(stmt(eachOf(binaryOperator(hasOperatorName("+")).bind("bino"), \
                                            binaryOperator(hasOperatorName("-")).bind("bino"), unaryOperator(hasOperatorName("++")).bind("uno"), \
@@ -7410,48 +7313,42 @@ public:
     }
 
     /*start of 17.3 matchers*/
-    if (umRuleList.at("17.2") || umRuleList.at("17.3"))
-    {
+    if (umRuleList.at("17.2") || umRuleList.at("17.3")) {
       Matcher.addMatcher(binaryOperator(allOf(hasOperatorName("<="), hasRHS(expr(anyOf(hasDescendant(declRefExpr(hasType(pointerType())).bind("mcpointer1723rhs")), \
                                               has(declRefExpr(hasType(pointerType())).bind("mcpointer1723rhs"))))), \
                                               hasLHS(expr(anyOf(hasDescendant(declRefExpr(hasType(pointerType())).bind("mcpointer1723lhs")), \
                                                   has(declRefExpr(hasType(pointerType())).bind("mcpointer1723lhs"))))))).bind("mcpointer1723daddy"), &HandlerForPointer1723);
     }
 
-    if (umRuleList.at("17.2") || umRuleList.at("17.3"))
-    {
+    if (umRuleList.at("17.2") || umRuleList.at("17.3")) {
       Matcher.addMatcher(binaryOperator(allOf(hasOperatorName("<"), hasRHS(expr(anyOf(hasDescendant(declRefExpr(hasType(pointerType())).bind("mcpointer1723rhs")), \
                                               has(declRefExpr(hasType(pointerType())).bind("mcpointer1723rhs"))))), \
                                               hasLHS(expr(anyOf(hasDescendant(declRefExpr(hasType(pointerType())).bind("mcpointer1723lhs")), \
                                                   has(declRefExpr(hasType(pointerType())).bind("mcpointer1723lhs"))))))).bind("mcpointer1723daddy"), &HandlerForPointer1723);
     }
 
-    if (umRuleList.at("17.2") || umRuleList.at("17.3"))
-    {
+    if (umRuleList.at("17.2") || umRuleList.at("17.3")) {
       Matcher.addMatcher(binaryOperator(allOf(hasOperatorName(">="), hasRHS(expr(anyOf(hasDescendant(declRefExpr(hasType(pointerType())).bind("mcpointer1723rhs")), \
                                               has(declRefExpr(hasType(pointerType())).bind("mcpointer1723rhs"))))), \
                                               hasLHS(expr(anyOf(hasDescendant(declRefExpr(hasType(pointerType())).bind("mcpointer1723lhs")), \
                                                   has(declRefExpr(hasType(pointerType())).bind("mcpointer1723lhs"))))))).bind("mcpointer1723daddy"), &HandlerForPointer1723);
     }
 
-    if (umRuleList.at("17.2") || umRuleList.at("17.3"))
-    {
+    if (umRuleList.at("17.2") || umRuleList.at("17.3")) {
       Matcher.addMatcher(binaryOperator(allOf(hasOperatorName(">"), hasRHS(expr(anyOf(hasDescendant(declRefExpr(hasType(pointerType())).bind("mcpointer1723rhs")), \
                                               has(declRefExpr(hasType(pointerType())).bind("mcpointer1723rhs"))))), \
                                               hasLHS(expr(anyOf(hasDescendant(declRefExpr(hasType(pointerType())).bind("mcpointer1723lhs")), \
                                                   has(declRefExpr(hasType(pointerType())).bind("mcpointer1723lhs"))))))).bind("mcpointer1723daddy"), &HandlerForPointer1723);
     }
 
-    if (umRuleList.at("17.2") || umRuleList.at("17.3"))
-    {
+    if (umRuleList.at("17.2") || umRuleList.at("17.3")) {
       Matcher.addMatcher(binaryOperator(allOf(hasOperatorName("-"), hasRHS(expr(anyOf(hasDescendant(declRefExpr(hasType(pointerType())).bind("mcpointer1723rhs")), \
                                               has(declRefExpr(hasType(pointerType())).bind("mcpointer1723rhs"))))), \
                                               hasLHS(expr(anyOf(hasDescendant(declRefExpr(hasType(pointerType())).bind("mcpointer1723lhs")), \
                                                   has(declRefExpr(hasType(pointerType())).bind("mcpointer1723lhs"))))))).bind("mcpointer1723daddy"), &HandlerForPointer1723);
     }
 
-    if (umRuleList.at("17.2") || umRuleList.at("17.3"))
-    {
+    if (umRuleList.at("17.2") || umRuleList.at("17.3")) {
       Matcher.addMatcher(binaryOperator(allOf(hasOperatorName("-="), hasRHS(expr(anyOf(hasDescendant(declRefExpr(hasType(pointerType())).bind("mcpointer1723rhs")), \
                                               has(declRefExpr(hasType(pointerType())).bind("mcpointer1723rhs"))))), \
                                               hasLHS(expr(anyOf(hasDescendant(declRefExpr(hasType(pointerType())).bind("mcpointer1723lhs")), \
@@ -7460,13 +7357,11 @@ public:
     /*end of 17.3 matchers*/
 
     /*start of 17.4 matchers*/
-    if (umRuleList.at("17.4"))
-    {
+    if (umRuleList.at("17.4")) {
       Matcher.addMatcher(castExpr(allOf(hasCastKind(CK_ArrayToPointerDecay), unless(hasParent(arraySubscriptExpr())))).bind("mcpointer174"), &HandlerForPointer174);
     }
 
-    if (umRuleList.at("17.4"))
-    {
+    if (umRuleList.at("17.4")) {
       Matcher.addMatcher(declRefExpr(allOf(hasAncestor(expr(anyOf(binaryOperator(hasOperatorName("-=")), \
                                            unaryOperator(hasOperatorName("++")), unaryOperator(hasOperatorName("--")), \
                                            binaryOperator(hasOperatorName("+")), binaryOperator(hasOperatorName("+=")), \
@@ -7474,196 +7369,144 @@ public:
     }
     /*end of 17.4 matchers*/
 
-    if (umRuleList.at("17.5"))
-    {
+    if (umRuleList.at("17.5")) {
       Matcher.addMatcher(varDecl(hasType(pointerType())).bind("mcpointer175"), &HandlerForPointer175);
     }
 
-    if (umRuleList.at("17.5"))
-    {
+    if (umRuleList.at("17.5")) {
       Matcher.addMatcher(fieldDecl().bind("mcpointer175field"), &HandlerForPointer175);
     }
 
-    if (umRuleList.at("6.1"))
-    {
+    if (umRuleList.at("6.1")) {
       Matcher.addMatcher(declRefExpr(allOf(to(varDecl().bind("mctypes6origin")), \
                                            hasAncestor(binaryOperator(allOf(hasRHS(expr().bind("mctypes6rhs")), \
                                                hasOperatorName("="))).bind("mctypes6dous")), hasType(isAnyCharacter()))), &HandlerForTypes61);
     }
 
-    if (umRuleList.at("18.1"))
-    {
+    if (umRuleList.at("18.1")) {
       Matcher.addMatcher(varDecl(hasType(incompleteArrayType())).bind("mcsu181arr"), &HandlerForSU181);
     }
 
-    if (umRuleList.at("18.1"))
-    {
+    if (umRuleList.at("18.1")) {
       Matcher.addMatcher(recordDecl(isStruct()).bind("mcsu181struct"), &HandlerForSU184);
     }
 
     Matcher.addMatcher(cStyleCastExpr().bind("mcptc11cstyle"), &HandlerForMCPTCCSTYLE);
 
-    if (umRuleList.at("10.1"))
-    {
+    if (umRuleList.at("10.1")) {
       Matcher.addMatcher(implicitCastExpr(has(expr(anyOf(binaryOperator().bind("atcdous"), unaryOperator().bind("atcuno"), \
                                               parenExpr().bind("atcparens"), implicitCastExpr().bind("atckidice"), \
                                               cStyleCastExpr().bind("atccstyle"))))).bind("atcdaddy"), &HandlerForATC101);
     }
 
-    if (umRuleList.at("5.1"))
-    {
+    if (umRuleList.at("5.1")) {
       Matcher.addMatcher(namedDecl().bind("ident5nameddecl"), &HandlerForIdent51);
     }
 
-    if (umRuleList.at("8.7"))
-    {
+    if (umRuleList.at("8.7")) {
       Matcher.addMatcher(declRefExpr(allOf(hasAncestor(functionDecl().bind("mcdcdf87daddy")), \
                                            to(varDecl(unless(hasAncestor(functionDecl()))).bind("mcdcdf87origin")))).bind("mcdcdfobj"), &HandlerForDCDF87);
     }
 
 /*@DEVI-these two matcheres are breaking our 3.9 backwards compatibility.*/
-#if 1
-    if (umRuleList.at("8.8"))
-    {
+    if (umRuleList.at("8.8")) {
       Matcher.addMatcher(functionDecl(hasExternalFormalLinkage()).bind("mcdcdf88function"), &HandlerForDCDF88);
     }
 
-    if (umRuleList.at("8.8"))
-    {
+    if (umRuleList.at("8.8")) {
       Matcher.addMatcher(varDecl(hasExternalFormalLinkage()).bind("mcdcdf88var"), &HandlerForDCDF88);
     }
-#endif
 
-    if (umRuleList.at("2.3"))
-    {
+    if (umRuleList.at("2.3")) {
       Matcher.addMatcher(expr().bind("mclangx23"), &HandlerForLangX23);
     }
 
-    if (umRuleList.at("16.7"))
-    {
+    if (umRuleList.at("16.7")) {
       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);
     }
 
-    if (umRuleList.at("14.3"))
-    {
+    if (umRuleList.at("14.3")) {
       Matcher.addMatcher(nullStmt().bind("mccf143nullstmt"), &HandlerForCF143);
     }
 
-    if (umRuleList.at("12.12"))
-    {
+    if (umRuleList.at("12.12")) {
       Matcher.addMatcher(recordDecl(allOf(has(fieldDecl(hasType(realFloatingPointType()))), isUnion())).bind("mcexpr1212"), &HandlerForExpr1212);
     }
 
-    if (umRuleList.at("12.11"))
-    {
+    if (umRuleList.at("12.11")) {
       Matcher.addMatcher(expr(hasDescendant(expr(anyOf(unaryOperator(hasOperatorName("--"), hasOperatorName("++")).bind("mcexpr1211uno"), \
                                             binaryOperator(anyOf(hasOperatorName("*"), hasOperatorName("/"), \
                                                 hasOperatorName("-"), hasOperatorName("+"))).bind("mcexpr1211dous"))))).bind("mcexpr1211"), &HandlerForExpr1211);
     }
 
-    if (umRuleList.at("10.5"))
-    {
+    if (umRuleList.at("10.5")) {
       Matcher.addMatcher(binaryOperator(allOf(hasLHS(expr(hasType(isInteger())).bind("mcatc105lhs")), hasOperatorName("<<"))).bind("mcatc105"), &HandlerForAtc105);
     }
 
-    if (umRuleList.at("10.5"))
-    {
+    if (umRuleList.at("10.5")) {
       Matcher.addMatcher(unaryOperator(allOf(hasOperatorName("~") , hasUnaryOperand(expr(hasType(isInteger())).bind("mcatc105lhs")))).bind("mcatc105uno"), &HandlerForAtc105);
     }
 
-    if (umRuleList.at("13.5"))
-    {
+    if (umRuleList.at("13.5")) {
       Matcher.addMatcher(forStmt().bind("mccse135"), &HandlerForCSE135);
     }
 
-    if (umRuleList.at("6.1") || umRuleList.at("6.2"))
-    {
+    if (umRuleList.at("6.1") || umRuleList.at("6.2")) {
       Matcher.addMatcher(binaryOperator(allOf(hasRHS(expr(has(expr(anyOf(integerLiteral().bind("mc612intlit"), \
                                               characterLiteral().bind("mc612charlit")))))), hasLHS(expr(hasType(isAnyCharacter())).bind("mc612exp")), \
                                               hasOperatorName("="))), &HandlerForTypes612);
     }
 
     /*@DEVI-start of 7.1 matchers.*/
-    if (umRuleList.at("7.1"))
-    {
+    if (umRuleList.at("7.1")) {
       Matcher.addMatcher(stringLiteral().bind("mcconst71string"), &HandlerForConst71);
     }
 
-    if (umRuleList.at("7.1"))
-    {
+    if (umRuleList.at("7.1")) {
       Matcher.addMatcher(characterLiteral().bind("mcconst71char"), &HandlerForConst71);
     }
 
-    if (umRuleList.at("7.1"))
-    {
+    if (umRuleList.at("7.1")) {
       Matcher.addMatcher(integerLiteral().bind("mcconst71int"), &HandlerForConst71);
     }
     /*end of 7.1*/
 
     /*@DEVI-matchers for 5.x*/
     /*@DEVI-typedefs always have file scope.*/
-    if (umRuleList.at("5.1") || umRuleList.at("5.2"), umRuleList.at("5.3") || umRuleList.at("5.4") || umRuleList.at("5.5") || umRuleList.at("5.6") || umRuleList.at("5.7"))
-    {
+    if (umRuleList.at("5.1") || umRuleList.at("5.2"), umRuleList.at("5.3") || umRuleList.at("5.4") || umRuleList.at("5.5") || umRuleList.at("5.6") || umRuleList.at("5.7")) {
       Matcher.addMatcher(typedefDecl().bind("ident5typedef"), &HandlerForIdent5X);
     }
 
-#if 0
-    Matcher.addMatcher(typedefDecl(unless(hasAncestor(functionDecl()))).bind("ident5typedef"), &HandlerForIdent5X);
-
-    Matcher.addMatcher(typedefDecl(hasAncestor(functionDecl().bind("id5funcscope"))).bind("ident5typedef"), &HandlerForIdent5X);
-#endif
-
-
-    if (umRuleList.at("5.1") || umRuleList.at("5.2"), umRuleList.at("5.3") || umRuleList.at("5.4") || umRuleList.at("5.5") || umRuleList.at("5.6") || umRuleList.at("5.7"))
-    {
+    if (umRuleList.at("5.1") || umRuleList.at("5.2"), umRuleList.at("5.3") || umRuleList.at("5.4") || umRuleList.at("5.5") || umRuleList.at("5.6") || umRuleList.at("5.7")) {
       Matcher.addMatcher(recordDecl(unless(hasAncestor(functionDecl()))).bind("ident5record"), &HandlerForIdent5X);
-
       Matcher.addMatcher(recordDecl(hasAncestor(functionDecl().bind("id5funcscope"))).bind("ident5record"), &HandlerForIdent5X);
-
       Matcher.addMatcher(fieldDecl(unless(hasAncestor(functionDecl()))).bind("ident5field"), &HandlerForIdent5X);
-
       Matcher.addMatcher(fieldDecl(hasAncestor(functionDecl().bind("id5funcscope"))).bind("ident5field"), &HandlerForIdent5X);
-
       Matcher.addMatcher(parmVarDecl(hasAncestor(functionDecl().bind("id5funcscope"))).bind("ident5parmvar"), &HandlerForIdent5X);
-
       Matcher.addMatcher(functionDecl().bind("ident5func"), &HandlerForIdent5X);
-
       Matcher.addMatcher(varDecl(unless(hasAncestor(functionDecl()))).bind("ident5var"), &HandlerForIdent5X);
-
       Matcher.addMatcher(varDecl(hasAncestor(functionDecl().bind("id5funcscope"))).bind("ident5var"), &HandlerForIdent5X);
-
       Matcher.addMatcher(enumDecl(unless(hasAncestor(functionDecl()))).bind("ident5enum") , &HandlerForIdent5X);
-
       Matcher.addMatcher(enumDecl(hasAncestor(functionDecl().bind("id5funcscope"))).bind("ident5enum"), &HandlerForIdent5X);
-
       /*@DEVI-labels always have function scope.*/
       Matcher.addMatcher(labelDecl(hasAncestor(functionDecl().bind("id5funcscope"))).bind("ident5label"), &HandlerForIdent5X);
-
       Matcher.addMatcher(enumConstantDecl(unless(hasAncestor(functionDecl()))).bind("ident5enumconst"), &HandlerForIdent5X);
-
       Matcher.addMatcher(enumConstantDecl(hasAncestor(functionDecl().bind("id5funcscope"))).bind("ident5enumconst"), &HandlerForIdent5X);
     }
     /*end of matchers for 5.x*/
 
     /*start of SaferCPP matchers*/
     Matcher.addMatcher(varDecl(hasType(arrayType())).bind("sfcpparrdecl"), &HandlerForSFCPPARR01);
-
     Matcher.addMatcher(fieldDecl(hasType(arrayType())).bind("sfcpparrfield"), &HandlerForSFCPPARR01);
-
     Matcher.addMatcher(implicitCastExpr(hasCastKind(CK_ArrayToPointerDecay)).bind("sfcpparrcastexpr"), &HandlerForSFCPPARR01);
-
     Matcher.addMatcher(cStyleCastExpr(hasCastKind(CK_ArrayToPointerDecay)).bind("sfcpparrcastexpr"), &HandlerForSFCPPARR01);
-
     Matcher.addMatcher(declRefExpr(hasAncestor(binaryOperator(allOf(hasLHS(declRefExpr().bind("sfcpparrdeep")), hasRHS(hasDescendant(implicitCastExpr(hasCastKind(CK_ArrayToPointerDecay))))\
                 , hasOperatorName("="))))), &HandlerForSFCPPARR02);
-
     Matcher.addMatcher(varDecl(hasType(pointerType())).bind("sfcpppntr01"), &HandlerForSFCPPPNTR01);
-
     Matcher.addMatcher(declRefExpr(hasType(pointerType())).bind("sfcpppntr02"), &HandlerForSFCPPPNTR02);
     /*end of SaferCPP matchers*/
-
 #endif
   }
 
@@ -7748,132 +7591,85 @@ private:
   MatchFinder Matcher;
 };
 /**********************************************************************************************************************/
-class Mutator0DiagnosticConsumer : public clang::DiagnosticConsumer
-{
+class Mutator0DiagnosticConsumer : public clang::DiagnosticConsumer {
 public:
-
   virtual void HandleDiagnostic(DiagnosticsEngine::Level DiagLevel, const Diagnostic &Info) override
   {
     DiagnosticConsumer::HandleDiagnostic(DiagLevel, Info);
-
     SourceLocation SL = Info.getLocation();
     CheckSLValidity(SL);
-
     SourceManager &SM = Info.getSourceManager();
 
-    if (Devi::IsTheMatchInSysHeader(CheckSystemHeader, SM, SL))
-    {
-      return void();
-    }
-
-    if (!Devi::IsTheMatchInMainFile(MainFileOnly, SM, SL))
-    {
-      return void();
-    }
+    if (Devi::IsTheMatchInSysHeader(CheckSystemHeader, SM, SL)) return void();
+    if (!Devi::IsTheMatchInMainFile(MainFileOnly, SM, SL)) return void();
 
     SL = SM.getSpellingLoc(SL);
 
     unsigned SpellingLine = SM.getSpellingLineNumber(SL);
     unsigned SpellingColumn = SM.getSpellingColumnNumber(SL);
     std::string FileName = SM.getFilename(SL).str();
-
     SmallString<100> DiagBuffer;
-
     Info.FormatDiagnostic(DiagBuffer);
 
-#if 0
-    std::cout << "ClangDiag:" << DiagBuffer.str().str() << ":" << SL.printToString(SM) << ":" << Info.getID() << ":" << "\n";
-#endif
-
     XMLDocOut.XMLAddNode(SpellingLine, SpellingColumn, FileName, "ClangDiag", DiagBuffer.str().str());
     JSONDocOUT.JSONAddElement(SpellingLine, SpellingColumn, FileName, "ClangDiag", DiagBuffer.str().str());
 
-    if (Info.getID() == 872U)
-    {
+    if (Info.getID() == 872U) {
       std::cout << "2.2:" << "Illegal comment format(/*...*/) used:" << SL.printToString(SM) << ":" << "\n";
-
       XMLDocOut.XMLAddNode(SpellingLine, SpellingColumn, FileName, "2.2", "Illegal comment format(/*...*/) used:");
       JSONDocOUT.JSONAddElement(SpellingLine, SpellingColumn, FileName, "2.2", "Illegal comment format(/*...*/) used:");
     }
 
-    if (Info.getID() == 974U)
-    {
+    if (Info.getID() == 974U) {
       std::cout << "2.3:" << "Use of the character sequence /* inside a comment is illegal:" << SL.printToString(SM) << ":" << "\n";
-
       XMLDocOut.XMLAddNode(SpellingLine, SpellingColumn, FileName, "2.3", "Use of the character sequence /* inside a comment is illegal:");
       JSONDocOUT.JSONAddElement(SpellingLine, SpellingColumn, FileName, "2.3", "Use of the character sequence /* inside a comment is illegal:");
     }
 
-    if (Info.getID() == 938U)
-    {
+    if (Info.getID() == 938U) {
       std::cout << "4.2:" << "Use of trigraphs is illegal:" << SL.printToString(SM) << ":" << "\n";
-
       XMLDocOut.XMLAddNode(SpellingLine, SpellingColumn, FileName, "4.2", "Use of trigraphs is illegal:");
       JSONDocOUT.JSONAddElement(SpellingLine, SpellingColumn, FileName, "4.2", "Use of trigraphs is illegal:");
     }
 
-    if (Info.getID() == 4578U)
-    {
+    if (Info.getID() == 4578U) {
       std::cout << "9.2:" << "Brace initialization has either not been correctly used or not used at all:" << SL.printToString(SM) << ":" << "\n";
-
       XMLDocOut.XMLAddNode(SpellingLine, SpellingColumn, FileName, "9.2", "Brace initialization has either not been correctly used or not used at all:");
       JSONDocOUT.JSONAddElement(SpellingLine, SpellingColumn, FileName, "9.2", "Brace initialization has either not been correctly used or not used at all:");
     }
 
-    if (Info.getID() == 4872U)
-    {
+    if (Info.getID() == 4872U) {
       std::cout << "14.2:" << "Expression result is unused:" << SL.printToString(SM) << ":" << "\n";
-
       XMLDocOut.XMLAddNode(SpellingLine, SpellingColumn, FileName, "14.2", "Expression result is unused:");
       JSONDocOUT.JSONAddElement(SpellingLine, SpellingColumn, FileName, "14.2", "Expression result is unused:");
     }
 
-    if (Info.getID() == 966U)
-    {
+    if (Info.getID() == 966U) {
       std::cout << "19.14:" << "\"defined\" has undefined behaviour:" << SL.printToString(SM) << ":" << "\n";
-
       XMLDocOut.XMLAddNode(SpellingLine, SpellingColumn, FileName, "19.14", "\"defined\" has undefined behaviour:");
       JSONDocOUT.JSONAddElement(SpellingLine, SpellingColumn, FileName, "19.14", "\"defined\" has undefined behaviour:");
     }
 
-    if (Info.getID() == 895U)
-    {
+    if (Info.getID() == 895U) {
       std::cout << "20.1:" << "Redefining built-in macro:" << SL.printToString(SM) << ":" << "\n";
-
       XMLDocOut.XMLAddNode(SpellingLine, SpellingColumn, FileName, "20.1", "Redefining built-in macro:");
       JSONDocOUT.JSONAddElement(SpellingLine, SpellingColumn, FileName, "20.1", "Redefining built-in macro:");
     }
-
   }
 
 private:
-
 };
 /**********************************************************************************************************************/
-class MyFrontendAction : public ASTFrontendAction
-{
+class MyFrontendAction : public ASTFrontendAction {
 public:
   MyFrontendAction() {}
+  void EndSourceFileAction() override {}
 
-  void EndSourceFileAction() override
-  {
-
-  }
-
-  std::unique_ptr<ASTConsumer> CreateASTConsumer(CompilerInstance &CI, StringRef file) override
-  {
-#if 1
+  std::unique_ptr<ASTConsumer> CreateASTConsumer(CompilerInstance &CI, StringRef file) override {
     CI.getPreprocessor().addPPCallbacks(llvm::make_unique<PPInclusion>(&CI.getSourceManager()));
-#endif
-
     DiagnosticsEngine &DiagEngine = CI.getPreprocessor().getDiagnostics();
-
-#if 1
     Mutator0DiagnosticConsumer* M0DiagConsumer = new Mutator0DiagnosticConsumer;
-
     DiagEngine.setClient(M0DiagConsumer, true);
-#endif
-
     TheRewriter.setSourceMgr(CI.getSourceManager(), CI.getLangOpts());
     return llvm::make_unique<MyASTConsumer>(TheRewriter);
   }
@@ -7883,8 +7679,24 @@ private:
 };
 /**********************************************************************************************************************/
 /*Main*/
-int main(int argc, const char **argv)
+int main(int argc, const char** argv)
 {
+#if 0
+  std::string action_file_path;
+  for (int i = 0; i < argc; ++i) {
+    if (strcmp(argv[i], "--file") == 0) {
+      if (i < argc - 2) {
+        action_file_path = argv[i];
+      } else {
+        std::cout << "error:bad argument for option --file\n";
+      }
+    }
+  }
+  std::vector<const char*> vc;
+  std::vector<std::string> vs = Devi::action_file_parser(argc, argv, action_file_path);
+  std::transform(vs.begin(), vs.end(), std::back_inserter(vc), [](const std::string &s){return s.c_str();});
+#endif
+  //CommonOptionsParser op(argc, &vc[0], MutatorLVL0Cat);
   CommonOptionsParser op(argc, argv, MutatorLVL0Cat);
 
   CompilationDatabase &CDB [[maybe_unused]] = op.getCompilations();
@@ -7892,28 +7704,21 @@ int main(int argc, const char **argv)
   std::vector<std::vector<std::string>> ExecCL;
 
 #if defined(_MUT0_TEST)
-  for (auto &iter : ComCom)
-  {
+  for (auto &iter : ComCom) {
     ExecCL.push_back(iter.CommandLine);
   }
 
-  for (auto &iter : ExecCL)
-  {
-    for (auto &yaiter : iter)
-    {
+  for (auto &iter : ExecCL) {
+    for (auto &yaiter : iter) {
       std::cout << "comcom: " << yaiter << "\n";
     }
-
     std::cout << "\n";
   }
 #endif
 
   const std::vector<std::string> &SourcePathList = op.getSourcePathList();
-
   ClangTool Tool(op.getCompilations(), op.getSourcePathList());
-
   StringOptionsParser SOPProto;
-
   SOPProto.MC2Parser();
 
 #if defined(_MUT0_TEST)
@@ -7921,18 +7726,16 @@ int main(int argc, const char **argv)
 #endif
 
 #if defined(_MUT0_TEST)
-  if (SOPProto.MC2Parser())
-  {
+  if (SOPProto.MC2Parser()) {
     typedef std::multimap<std::string, std::string>::iterator Iter;
-    for (Iter iter = MC1EquivalencyMap.begin(), iterE = MC1EquivalencyMap.end(); iter != iterE; ++iter)
-    {
+    for (Iter iter = MC1EquivalencyMap.begin(), iterE = MC1EquivalencyMap.end(); iter != iterE; ++iter) {
       std::cout << "Key: " << iter->first << "  " << "Value: " << iter->second << "\n";
     }
   }
 #endif
 
   XMLDocOut.XMLCreateReport();
-  JSONDocOUT.JSONCreateReport();
+  JSONDocOUT.JSONCreateReport(JSONOUT);
   IsThereJunkPreInclusion ITJPIInstance;
   ITJPIInstance.Check(SourcePathList);
   int RunResult = 0;
@@ -7950,10 +7753,10 @@ int main(int argc, const char **argv)
   CheckForNullStatements CheckForNull;
   CheckForNull.Check();
   onEndOfAllTUs::run();
-  XMLDocOut.SaveReport();
+  XMLDocOut.SaveReport(XMLOUT);
   JSONDocOUT.CloseReport();
   ME.DumpAll();
-  ME.XMLReportAncestry();
+  ME.XMLReportAncestry(MUTAGENOUT);
 
   return RunResult;
 } //end of main
diff --git a/m0/mutator-lvl0.h b/m0/mutator-lvl0.h
index c1e452a..5881228 100644
--- a/m0/mutator-lvl0.h
+++ b/m0/mutator-lvl0.h
@@ -521,13 +521,13 @@ class MutagenExtraction
       }
     }
 
-    void XMLReportAncestry(void)
+    void XMLReportAncestry(std::string savepath)
     {
       mutagenAncestryReport MAR(MutantStrainsAncestry, WeakPoints);
       MAR.CreateReport();
       MAR.AddNode();
       MAR.AddNodeWeakPoint();
-      MAR.SaveReport("m0.xml");
+      MAR.SaveReport(savepath.c_str());
     }
 
   private:
diff --git a/m0/mutator_aux.cpp b/m0/mutator_aux.cpp
index 83211f5..f6b2675 100644
--- a/m0/mutator_aux.cpp
+++ b/m0/mutator_aux.cpp
@@ -20,10 +20,12 @@ Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.*
 /*********************************************************************************************************************/
 /*inclusion directives*/
 #include "mutator_aux.h"
+#include <algorithm>
 #include <string>
 #include <cassert>
 #include <iostream>
 #include <fstream>
+#include <iterator>
 #include "clang/AST/AST.h"
 #include "clang/ASTMatchers/ASTMatchFinder.h"
 #include "clang/Basic/SourceManager.h"
@@ -144,6 +146,41 @@ bool IsTheMatchInMainFile(bool MainFileFlag, bool MainFile) {
   }
 }
 /*********************************************************************************************************************/
+std::vector<std::string> action_file_parser (int argc, const char** argv, std::string file_path) {
+  int i = 1;
+  std::vector<std::string> vs;
+  std::ifstream action_file(file_path);
+  for (std::string line; getline(action_file, line);) {
+    size_t pos = line.find(":");
+    if (line[0] == '#') {
+      i++;
+      continue;
+    }
+    if (pos == std::string::npos) {
+      if (line[0] != '#') {
+        if (strcmp(line.c_str(), "") != 0)std::cout << "m0 action file parser:error:malformed line at " << i << ".\n";//FIXME-RED
+        //return 1;
+      } else {
+        i++;
+        continue;
+      }
+    }
+    std::string content = line.substr(pos + 1, std::string::npos);
+    std::string option = line.substr(0, pos);
+    if (option == "action_name") {}
+    else if (option == "exec_opts") {vs.push_back(content);}
+    else if (option == "in_files") {vs.push_back(content);}
+    else if (option == "libtooling_options") {vs.push_back(content);}
+    else if (option == "out_files") {vs.push_back(content);}
+    else if (option == "log_files") {}
+    else if (option == "print_pretty") {}
+    else if (option == "end_action") {}
+    else {/*std::cout << "m0 action file parser:error:bad option at line "<< i <<"\n"*/;}//FIXME-RED
+    i++;
+  }
+  return vs;
+}
+/*********************************************************************************************************************/
 /*End of namespace Devi*/
 }
 /*********************************************************************************************************************/
diff --git a/m0/mutator_aux.h b/m0/mutator_aux.h
index 9f22a5a..0067335 100644
--- a/m0/mutator_aux.h
+++ b/m0/mutator_aux.h
@@ -58,6 +58,8 @@ bool IsTheMatchInMainFile(bool MainFileFlag, const SourceManager &SM, SourceLoca
 bool IsTheMatchInMainFile(bool MainFileFlag, bool MainFile, SourceLocation SL);
 bool IsTheMatchInMainFile(bool MainFileFlag, bool MainFile);
 /*********************************************************************************************************************/
+std::vector<std::string> action_file_parser (int argc, const char** argv, std::string file_path);
+/*********************************************************************************************************************/
 /*end of namespace Devi*/
 }
 #endif
diff --git a/m0/mutator_report.cpp b/m0/mutator_report.cpp
index 1e0459f..3b6a2d3 100644
--- a/m0/mutator_report.cpp
+++ b/m0/mutator_report.cpp
@@ -69,8 +69,7 @@ namespace Devi {
 /************************************************end of XMLReportBase*************************************************/
 /*********************************************************************************************************************/
 /******************************************************XMLReport******************************************************/
-XMLReport::XMLReport()
-{
+  XMLReport::XMLReport() {
   RootPointer = XMLReportDoc.NewElement("mutator:Report");
   RootPointer->SetAttribute("xmlns:mutator", "http://www.w3.org/2001/XMLSchema");
 }
@@ -176,7 +175,7 @@ bool XMLReport::isReportEmpty(void)
   return false;
 }
 
-void XMLReport::SaveReport(void)
+void XMLReport::SaveReport(std::string savepath)
 {
   if(this->isReportEmpty())
   {
@@ -185,7 +184,7 @@ void XMLReport::SaveReport(void)
 
   XMLReportDoc.InsertEndChild(RootPointer);
 
-  XMLError XMLErrorResult = XMLReportDoc.SaveFile("./misrareport.xml");
+  XMLError XMLErrorResult = XMLReportDoc.SaveFile(savepath.c_str());
 
   if (XMLErrorResult != XML_SUCCESS)
   {
@@ -197,9 +196,9 @@ void XMLReport::SaveReport(void)
 /*****************************************************JSONReport******************************************************/
 JSONReport::JSONReport() {}
 
-void JSONReport::JSONCreateReport(void)
+void JSONReport::JSONCreateReport(std::string outpath)
 {
-  JSONRepFile.open("./test/misrareport.json", std::ios::out);
+  JSONRepFile.open(outpath, std::ios::out);
 }
 
 void JSONReport::JSONAddElement(ASTContext* ASTC, SourceLocation SL, std::string MisraRule, std::string Description)
diff --git a/m0/mutator_report.h b/m0/mutator_report.h
index 0be06f6..730b7ec 100644
--- a/m0/mutator_report.h
+++ b/m0/mutator_report.h
@@ -80,7 +80,7 @@ namespace Devi {
 
     bool isReportEmpty(void);
 
-    void SaveReport(void);
+    void SaveReport(std::string savepath);
 
   private:
     XMLDocument XMLReportDoc;
@@ -92,7 +92,7 @@ namespace Devi {
   public:
     JSONReport();
 
-    void JSONCreateReport(void);
+    void JSONCreateReport(std::string outpath);
     void JSONAddElement(ASTContext* ASTC, SourceLocation SL, std::string MisraRule, std::string Description);
     /*overload for checks that announce the result in onendoftranslation unit.*/
     void JSONAddElement(FullSourceLoc FSL, SourceLocation SL, std::string MisraRule, std::string Description);
diff --git a/m0/run.sh b/m0/run.sh
new file mode 100755
index 0000000..9f6b635
--- /dev/null
+++ b/m0/run.sh
@@ -0,0 +1 @@
+./mutator-lvl0 --jsonout ./report.json --xmlout ./report.xml --mutagenout ./mutagen.xml -MCEA -MCD="5.1 5.2 5.3 5.4 5.5 5.6 5.7" -SysHeader=false -MainOnly=true -MCV=C2 -mutagen ../test/testFuncs1.c ../test/testFuncs2.c ../test/testFuncs3.c ../test/testFuncs3.h ../test/testFuncs2.h ../test/testFuncs1.h -- -std=c90 -I/lib/gcc/x86_64-redhat-linux/7/include -Wall > ./misra-log