aboutsummaryrefslogtreecommitdiffstats
path: root/mutator-lvl0.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'mutator-lvl0.cpp')
-rw-r--r--mutator-lvl0.cpp169
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());
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-10 00:18:32 +0000