diff options
| -rw-r--r-- | mutator-lvl0.cpp | 169 |
1 files changed, 141 insertions, 28 deletions
diff --git a/mutator-lvl0.cpp b/mutator-lvl0.cpp index e31f3bf..98f283b 100644 --- a/mutator-lvl0.cpp +++ b/mutator-lvl0.cpp @@ -47,7 +47,7 @@ std::vector<std::string> IncludeFileArr; static llvm::cl::OptionCategory MatcherSampleCategory("Matcher Sample"); /**********************************************************************************************************************/ -class MCForCmpless : public MatchFinder::MatchCallback { +class [[deprecated("replaced by a more efficient class"), maybe_unused]] MCForCmpless : public MatchFinder::MatchCallback { public: MCForCmpless (Rewriter &Rewrite) : Rewrite (Rewrite) {} @@ -75,7 +75,7 @@ private: Rewriter &Rewrite; }; /**********************************************************************************************************************/ -class MCWhileCmpless : public MatchFinder::MatchCallback { +class [[deprecated("replaced by a more efficient class"), maybe_unused]] MCWhileCmpless : public MatchFinder::MatchCallback { public: MCWhileCmpless (Rewriter &Rewrite) : Rewrite (Rewrite) {} @@ -549,7 +549,7 @@ private: }; /**********************************************************************************************************************/ /*the clang parser does not allow for such constructs.*/ -class MCFunction168 : public MatchFinder::MatchCallback +class [[maybe_unused]] MCFunction168 : public MatchFinder::MatchCallback { public: MCFunction168 (Rewriter &Rewrite) : Rewrite (Rewrite) {} @@ -560,7 +560,7 @@ public: { const ReturnStmt *RT = MR.Nodes.getNodeAs<clang::ReturnStmt>("mcfunc168"); - const Expr *RE = RT->getRetValue(); + const Expr *RE [[maybe_unused]] = RT->getRetValue(); SourceLocation SL = RT->getLocStart(); SL = Devi::SourceLocationHasMacro(SL, Rewrite, "start"); @@ -620,7 +620,7 @@ private: /**********************************************************************************************************************/ /*@DEVI-what is correct: match a pointer then run matcher for implicitcastexpressions of type arraytopointerdecay that have unary(--,++) and binary(-,+) operators as parents*/ -class MCPA171 : public MatchFinder::MatchCallback +class [[maybe_unused]] MCPA171 : public MatchFinder::MatchCallback { public: MCPA171 (Rewriter &Rewrite) : Rewrite(Rewrite) {} @@ -631,7 +631,7 @@ public: { const VarDecl *VD = MR.Nodes.getNodeAs<clang::VarDecl>("mcpa171"); - QualType QT = VD->getType(); + QualType QT [[maybe_unused]] = VD->getType(); #if 0 std::cout << QT.getAsString() << "\n" << std::endl; @@ -640,7 +640,7 @@ public: } private: - Rewriter &Rewrite; + Rewriter &Rewrite [[maybe_unused]]; }; /**********************************************************************************************************************/ /*18.1 has false positives. incomplete types that have the same name as another incomplete @@ -1023,7 +1023,7 @@ private: /*Notes:clang does not let 8.2 and 8.3 through.*/ /*clang gives the implicitly-typed vardecl and functiondecl a default type in the AST so we cant use that. we should just get the rewritten text and do string searches inside. thats the only way i can think of.*/ -class MCDCDF82 : public MatchFinder::MatchCallback +class [[maybe_unused]] MCDCDF82 : public MatchFinder::MatchCallback { public: MCDCDF82 (Rewriter &Rewrite) : Rewrite (Rewrite) {} @@ -1036,7 +1036,7 @@ public: std::string QualifiedName = VD->getQualifiedNameAsString(); - QualType QT = VD->getType(); + QualType QT [[maybe_unused]] = VD->getType(); #if 0 std::cout << QualifiedName << "\n" << std::endl; @@ -1045,7 +1045,7 @@ public: } private: - Rewriter &Rewrite; + Rewriter &Rewrite [[maybe_unused]]; }; /**********************************************************************************************************************/ /*this class also matches aggregate types. a simple aggregate check should fix that, if need be.*/ @@ -1120,7 +1120,7 @@ public: if (TP->isArrayType() || TP->isStructureType()) { /*JANKY*/ - const Expr* InitExpr = VD->getInit(); + const Expr* InitExpr [[maybe_unused]] = VD->getInit(); SourceRange InitExprSR; InitExprSR.setBegin(SL); InitExprSR.setEnd(SLE); @@ -1159,7 +1159,7 @@ private: Rewriter &Rewrite; }; /**********************************************************************************************************************/ -class MCInit92 : public MatchFinder::MatchCallback +class [[maybe_unused]] MCInit92 : public MatchFinder::MatchCallback { public: MCInit92 (Rewriter &Rewrite) : Rewrite(Rewrite) {} @@ -1174,7 +1174,7 @@ public: SourceLocation SL = VD->getLocStart(); SL = Devi::SourceLocationHasMacro(SL, Rewrite, "start"); - unsigned int NumInits = ILE->getNumInits(); + unsigned int NumInits [[maybe_unused]] = ILE->getNumInits(); #if 0 std::cout << NumInits << "\n" << std::endl; @@ -1195,7 +1195,7 @@ public: { if (MR.Nodes.getNodeAs<clang::EnumConstantDecl>("mcinit93") != nullptr && MR.Nodes.getNodeAs<clang::EnumDecl>("mcinit93daddy") != nullptr) { - const EnumConstantDecl * ECD = MR.Nodes.getNodeAs<clang::EnumConstantDecl>("mcinit93"); + const EnumConstantDecl * ECD [[maybe_unused]] = MR.Nodes.getNodeAs<clang::EnumConstantDecl>("mcinit93"); const EnumDecl* ED = MR.Nodes.getNodeAs<clang::EnumDecl>("mcinit93daddy"); /*do note that this pointer might very well be nullptr. we are actually counting on that. it tells us we could not match an integer initialization for this enumconstantdecl.*/ @@ -1362,9 +1362,9 @@ public: SourceLocation SL = EXP->getLocStart(); SL = Devi::SourceLocationHasMacro(SL, Rewrite, "start"); - ASTContext *const ASTC = MR.Context; + ASTContext *const ASTC [[maybe_unused]] = MR.Context; - QualType QT = EXP->getType(); + QualType QT [[maybe_unused]] = EXP->getType(); SourceLocation SLE = EXP->getLocEnd(); SLE = Devi::SourceLocationHasMacro(SLE, Rewrite, "end"); @@ -1463,7 +1463,7 @@ private: Rewriter &Rewrite; }; /**********************************************************************************************************************/ -class MCExpr128 : public MatchFinder::MatchCallback +class [[maybe_unused]] MCExpr128 : public MatchFinder::MatchCallback { public: MCExpr128 (Rewriter &Rewrite) : Rewrite(Rewrite) {} @@ -1481,8 +1481,8 @@ public: QualType RQT = RHS->getType(); QualType LQT = LHS->getType(); - const clang::Type* RTP = RQT.getTypePtr(); - const clang::Type* LTP = LQT.getTypePtr(); + const clang::Type* RTP [[maybe_unused]] = RQT.getTypePtr(); + const clang::Type* LTP [[maybe_unused]] = LQT.getTypePtr(); /*i need to know the size of underlying types on the target so i cant do much about that.*/ /*llvm::DataLayout lets you do that but then you need llvm::Module.*/ @@ -1753,7 +1753,7 @@ public: const Stmt* FSInit = FS->getInit(); const Expr* FSInc = FS->getInc(); - const Expr* FSCond = FS->getCond(); + const Expr* FSCond [[maybe_unused]] = FS->getCond(); SourceLocation SLD = FS->getLocStart(); SLD = Devi::SourceLocationHasMacro(SLD, Rewrite, "start"); @@ -2530,7 +2530,7 @@ public: std::string CQTAsString = CQT.getAsString(); - const clang::Type* TP = CQT.getTypePtr(); + const clang::Type* TP [[maybe_unused]] = CQT.getTypePtr(); unsigned starCounter = 0U; size_t StarPos = 0U; @@ -2538,7 +2538,7 @@ public: size_t NextOpenParens = 0U; size_t CommaPos = 0U; size_t NextCommaPos = 0U; - bool FoundAMatch = false; + bool FoundAMatch [[maybe_unused]] = false; while (StarPos != std::string::npos) { @@ -2597,7 +2597,7 @@ public: if (MR.Nodes.getNodeAs<clang::Expr>("mctypes61rhs") != nullptr && MR.Nodes.getNodeAs<clang::VarDecl>("mctypes61lhs") != nullptr) { const Expr* EXP = MR.Nodes.getNodeAs<clang::Expr>("mctypes61rhs"); - const VarDecl* VD = MR.Nodes.getNodeAs<clang::VarDecl>("mctypes61lhs"); + const VarDecl* VD [[maybe_unused]] = MR.Nodes.getNodeAs<clang::VarDecl>("mctypes61lhs"); SourceLocation SL = EXP->getLocStart(); SL = Devi::SourceLocationHasMacro(SL, Rewrite, "start"); @@ -2663,7 +2663,7 @@ public: const clang::Type* TP = QT.getTypePtr(); - ASTContext *const ASTC = MR.Context; + ASTContext *const ASTC [[maybe_unused]] = MR.Context; #if 0 const ASTContext::DynTypedNodeList NodeList = ASTC->getParents(*CSCE); @@ -2732,7 +2732,6 @@ public: virtual void run(const MatchFinder::MatchResult &MR) { - /*underdev*/ if (MR.Nodes.getNodeAs<clang::ImplicitCastExpr>("atcdaddy") != nullptr) { const ImplicitCastExpr* ICE = MR.Nodes.getNodeAs<clang::ImplicitCastExpr>("atcdaddy"); @@ -2818,6 +2817,47 @@ private: Rewriter &Rewrite; }; /**********************************************************************************************************************/ +class MCIdent5 : public MatchFinder::MatchCallback +{ +public: + MCIdent5 (Rewriter &Rewrite) : Rewrite(Rewrite) {} + + virtual void run(const MatchFinder::MatchResult &MR) + { + /*underdev*/ + if (MR.Nodes.getNodeAs<clang::VarDecl>("MCIdent5") != nullptr) + { + const VarDecl* VD = MR.Nodes.getNodeAs<clang::VarDecl>("MCIdent5"); + + ASTContext *const ASTC = MR.Context; + + SourceLocation SL = VD->getLocStart(); + SL = Devi::SourceLocationHasMacro(SL, Rewrite, "start"); + + const IdentifierTable &IT = ASTC->Idents; + + IdentifierInfo* II = VD->getIdentifier(); + + StringRef IdentStringRef = II->getName(); + + if (!havealreadydonethis) + { + for (clang::IdentifierTable::const_iterator iter = IT.begin(); iter != IT.end(); iter++) + { + //std::cout << iter->getName().str() << std::endl; + } + + havealreadydonethis = true; + } + + } + } + +private: + bool havealreadydonethis = false; + + Rewriter &Rewrite; +}; /**********************************************************************************************************************/ /**********************************************************************************************************************/ /**********************************************************************************************************************/ @@ -2835,6 +2875,10 @@ public: bool IsAngled, CharSourceRange FileNameRange, const FileEntry* File, \ StringRef SearchPath, StringRef RelativePath, const clang::Module* Imported) { +#if 0 + assert(HashLoc.isValid() && "The SourceLocation for InclusionDirective is invalid."); +#endif + if (IsAngled) { size_t singleQPos = FileName.find("\'", 0); @@ -2940,7 +2984,11 @@ public: basically i dont know how to just get the tokens after defined.*/ virtual void Defined(const Token &MacroNameTok, const MacroDefinition &MD, SourceRange Range) { - SourceLocation SL = Range.getBegin(); + SourceLocation SL [[maybe_unused]] = Range.getBegin(); + +#if 0 + assert(SL.isValid(), "the SourceLocation for macro Defined is not valid."); +#endif const MacroInfo* MI = MD.getMacroInfo(); @@ -3001,6 +3049,10 @@ public: SourceLocation SL = MacroNameTok.getLocation(); +#if 0 + assert(SL.isValid(), "the SourceLocation for MacroUndefined is not valid."); +#endif + /*start of 20.1*/ /*inline and restrict are C99*/ if (MacroNameTok.isOneOf(tok::kw_auto, tok::kw_break, tok::kw_case, tok::kw_char, tok::kw_const, tok::kw_continue, \ @@ -3049,6 +3101,11 @@ public: const MacroInfo* MI = MD->getMacroInfo(); SourceLocation SL = MacroNameTok.getLocation(); + +#if 0 + assert(SL->isValid(), "the SourceLocation for MacroDefined is not valid."); +#endif + unsigned MacroNumArgs = MI->getNumArgs(); /*start of 19.5*/ @@ -3221,6 +3278,10 @@ public: { SourceLocation SL = MacroNameTok.getLocation(); +#if 0 + assert(SL.isValid(), "the SourceLocation for MacroExpands is not valid."); +#endif + IdentifierInfo* II = MacroNameTok.getIdentifierInfo(); std::string MacroNameString = II->getName().str(); @@ -3252,6 +3313,48 @@ public: } } + virtual void Elif(SourceLocation Loc, SourceRange ConditionRange, ConditionValueKind ConditionValue, SourceLocation IfLoc) + { + SourceLocation SLoc = SM.getSpellingLoc(Loc); + SourceLocation SIfLoc = SM.getSpellingLoc(IfLoc); + + if (SM.getFileID(SLoc) != SM.getFileID(SIfLoc)) + { + std::cout << "19.17 : " << "elif directive is not in the same file as its if directive : " << std::endl; + std::cout << SLoc.printToString(SM) << "\n" << std::endl; + + XMLDocOut.XMLAddNode(SM, SLoc, "19.17", "elif directive is not in the same file as its if directive : "); + } + } + + virtual void Else(SourceLocation Loc, SourceLocation IfLoc) + { + SourceLocation SLoc = SM.getSpellingLoc(Loc); + SourceLocation SIfLoc = SM.getSpellingLoc(IfLoc); + + if (SM.getFileID(SLoc) != SM.getFileID(SIfLoc)) + { + std::cout << "19.17 : " << "else directive is not in the same file as its if directive : " << std::endl; + std::cout << SLoc.printToString(SM) << "\n" << std::endl; + + XMLDocOut.XMLAddNode(SM, SLoc, "19.17", "else directive is not in the same file as its if directive : "); + } + } + + virtual void Endif (SourceLocation Loc, SourceLocation IfLoc) + { + SourceLocation SLoc = SM.getSpellingLoc(Loc); + SourceLocation SIfLoc = SM.getSpellingLoc(IfLoc); + + if (SM.getFileID(SLoc) != SM.getFileID(SIfLoc)) + { + std::cout << "19.17 : " << "endif directive is not in the same file as its if directive : " << std::endl; + std::cout << SLoc.printToString(SM) << "\n" << std::endl; + + XMLDocOut.XMLAddNode(SM, SLoc, "19.17", "endif directive is not in the same file as its if directive : "); + } + } + private: const SourceManager &SM; }; @@ -3272,7 +3375,7 @@ public: 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), HandlerForPointer175(R), HandlerForTypes61(R), HandlerForSU181(R), \ - HandlerForMCPTCCSTYLE(R), HandlerForATC101(R) { + HandlerForMCPTCCSTYLE(R), HandlerForATC101(R), HandlerForIdent5(R) { /*forstmts whithout a compound statement.*/ Matcher.addMatcher(forStmt(unless(hasDescendant(compoundStmt()))).bind("mcfor"), &HandlerForCmpless); @@ -3450,6 +3553,8 @@ public: Matcher.addMatcher(implicitCastExpr(has(expr(anyOf(binaryOperator().bind("atcdous"), unaryOperator().bind("atcuno"), \ parenExpr().bind("atcparens"), implicitCastExpr().bind("atckidice"), \ cStyleCastExpr().bind("atccstyle"))))).bind("atcdaddy"), &HandlerForATC101); + + Matcher.addMatcher(varDecl().bind("ident5var"), &HandlerForIdent5); } void HandleTranslationUnit(ASTContext &Context) override { @@ -3513,6 +3618,7 @@ private: MCSU181 HandlerForSU181; MCPTC11CSTYLE HandlerForMCPTCCSTYLE; MCATC101 HandlerForATC101; + MCIdent5 HandlerForIdent5; MatchFinder Matcher; }; /**********************************************************************************************************************/ @@ -3522,10 +3628,17 @@ class MyFrontendAction : public ASTFrontendAction public: MyFrontendAction() {} + void EndSourceFileAction() override + { + + } + std::unique_ptr<ASTConsumer> CreateASTConsumer(CompilerInstance &CI, StringRef file) override { -#if 1 CI.getPreprocessor().addPPCallbacks(llvm::make_unique<PPInclusion>(&CI.getSourceManager())); + +#if 0 + const IdentifierTable &IT [[maybe_unused]] = CI.getPreprocessor().getIdentifierTable(); #endif TheRewriter.setSourceMgr(CI.getSourceManager(), CI.getLangOpts()); |