diff options
Diffstat (limited to '')
| -rw-r--r-- | mutator-lvl0.cpp | 115 |
1 files changed, 113 insertions, 2 deletions
diff --git a/mutator-lvl0.cpp b/mutator-lvl0.cpp index 4f6a610..30ba3fe 100644 --- a/mutator-lvl0.cpp +++ b/mutator-lvl0.cpp @@ -5,11 +5,11 @@ /*included modules*/ /*project headers*/ #include "mutator_aux.h" -#include "tinyxml2/tinyxml2.h" /*standard headers*/ #include <cassert> #include <fstream> #include <iostream> +#include <regex> #include <string> #include <vector> /*Clang headers*/ @@ -2296,11 +2296,13 @@ public: const Expr* FSCond = FS->getCond(); const Expr* FSInc = FS->getInc(); +#if 0 if (FSCond != nullptr) { std::string multix = Rewrite.getRewrittenText(FSCond->getSourceRange()); std::cout << "diagnostic" << ":" << multix << std::endl; } +#endif if (FSCond != nullptr) { @@ -5017,6 +5019,106 @@ private: Rewriter &Rewrite; }; /**********************************************************************************************************************/ +class MCConst71 : public MatchFinder::MatchCallback +{ +public: + MCConst71 (Rewriter &Rewrite) : Rewrite(Rewrite) {} + + virtual void run(const MatchFinder::MatchResult &MR) + { + std::string TagCandidateString; + SourceLocation SL; + + if (MR.Nodes.getNodeAs<clang::IntegerLiteral>("mcconst71int") != nullptr) + { + const IntegerLiteral* IL = MR.Nodes.getNodeAs<clang::IntegerLiteral>("mcconst71int"); + + SourceRange SR; + SL = IL->getLocStart(); + SL = Devi::SourceLocationHasMacro(SL, Rewrite, "start"); + SR.setBegin(SL); + SourceLocation SLE = IL->getLocEnd(); + SLE = Devi::SourceLocationHasMacro(SLE, Rewrite, "start"); + SR.setEnd(SLE); + + TagCandidateString = Rewrite.getRewrittenText(SR); + } + + if (MR.Nodes.getNodeAs<clang::StringLiteral>("mcconst71string") != nullptr) + { + const clang::StringLiteral* StringLit = MR.Nodes.getNodeAs<clang::StringLiteral>("mcconst71string"); + + SL = StringLit->getLocStart(); + SL = Devi::SourceLocationHasMacro(SL, Rewrite, "strat"); + + TagCandidateString = StringLit->getString().str(); + } + + if (MR.Nodes.getNodeAs<clang::CharacterLiteral>("mcconst71char") != nullptr) + { + const CharacterLiteral* CL = MR.Nodes.getNodeAs<clang::CharacterLiteral>("mcconst71char"); + + SL = CL->getLocStart(); + SL = Devi::SourceLocationHasMacro(SL, Rewrite, "start"); + + SourceRange SR; + SourceLocation SLE = CL->getLocEnd(); + SLE = Devi::SourceLocationHasMacro(SLE, Rewrite, "start"); + SR.setBegin(SL); + SR.setEnd(SLE); + + TagCandidateString = Rewrite.getRewrittenText(SR); + } + + if (Devi::IsTheMatchInSysHeader(CheckSystemHeader, MR, SL)) + { + return void(); + } + + if (!Devi::IsTheMatchInMainFile(MainFileOnly, MR, SL)) + { + return void(); + } + + std::regex octalconstant("\\\\[0-7]+"); + std::regex octalconstantint("^0[0-9]+$"); + std::regex hexescapesequence("\\\\x[0-9a-fA-F]+"); + std::regex otherescapesequence("\\\\[^0-9abfnrtvx'\"\\?]"); + + std::smatch result; + +#if 0 + std::cout << "diagnostic2:" << TagCandidateString << ":" << SL.printToString(*MR.SourceManager) << ":" << std::regex_search(TagCandidateString, result, octalconstant) << std::endl; +#endif + + if (std::regex_search(TagCandidateString, result, octalconstant) || std::regex_search(TagCandidateString, result, octalconstantint)) + { + std::cout << "7.1" << ":" << "Octal escape sequence used:" << SL.printToString(*MR.SourceManager) << ":" << TagCandidateString << std::endl; + + XMLDocOut.XMLAddNode(MR.Context, SL, "7.1", "Octal escape sequence used:"); + JSONDocOUT.JSONAddElement(MR.Context, SL, "7.1", "Octal escape sequence used:"); + } + + if (std::regex_search(TagCandidateString, result, hexescapesequence)) + { + std::cout << "4.1" << ":" << "Hexadecimal escape sequence used:" << SL.printToString(*MR.SourceManager) << ":" << TagCandidateString << std::endl; + + XMLDocOut.XMLAddNode(MR.Context, SL, "4.1", "Hexadecimal escape sequence used:"); + JSONDocOUT.JSONAddElement(MR.Context, SL, "4.1", "Hexadecimal escape sequence used:"); + } + + if (std::regex_search(TagCandidateString, result, otherescapesequence)) + { + std::cout << "4.1" << ":" << "Non-standard escape sequence used:" << SL.printToString(*MR.SourceManager) << ":" << TagCandidateString << std::endl; + + XMLDocOut.XMLAddNode(MR.Context, SL, "4.1", "Non-standard escape sequence used:"); + JSONDocOUT.JSONAddElement(MR.Context, SL, "4.1", "Non-standard escape sequence used:"); + } + } + +private: + Rewriter &Rewrite; +}; /**********************************************************************************************************************/ /**********************************************************************************************************************/ /**********************************************************************************************************************/ @@ -6287,7 +6389,7 @@ public: HandlerForPointer1723(R), HandlerForPointer174(R), HandlerForPointer175(R), HandlerForTypes61(R), HandlerForSU181(R), \ HandlerForMCPTCCSTYLE(R), HandlerForATC101(R), HandlerForIdent5(R), HandlerForDCDF87(R), HandlerForLangX23(R), \ HandlerForFunction167(R), HandlerForCF143(R), HandlerForExpr1212(R), HandlerForExpr1211(R), HandlerForAtc105(R), HandlerForCSE135(R), \ - HandlerForTypes612(R), HandlerForDCDF88(R) { + HandlerForTypes612(R), HandlerForDCDF88(R), HandlerForConst71(R) { #if 1 /*forstmts whithout a compound statement.*/ @@ -6507,6 +6609,14 @@ public: 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.*/ + Matcher.addMatcher(stringLiteral().bind("mcconst71string"), &HandlerForConst71); + + Matcher.addMatcher(characterLiteral().bind("mcconst71char"), &HandlerForConst71); + + Matcher.addMatcher(integerLiteral().bind("mcconst71int"), &HandlerForConst71); + /*end of 7.1*/ #endif } @@ -6582,6 +6692,7 @@ private: MCATC105 HandlerForAtc105; MCCSE135 HandlerForCSE135; MCTypes612 HandlerForTypes612; + MCConst71 HandlerForConst71; MatchFinder Matcher; }; /**********************************************************************************************************************/ |