diff options
| -rw-r--r-- | mutator-lvl0.cpp | 284 |
1 files changed, 170 insertions, 114 deletions
diff --git a/mutator-lvl0.cpp b/mutator-lvl0.cpp index 10c2a31..a8db7cd 100644 --- a/mutator-lvl0.cpp +++ b/mutator-lvl0.cpp @@ -380,41 +380,44 @@ public: const FunctionDecl *FD = MR.Nodes.getNodeAs<clang::FunctionDecl>("mcfunc164"); const FunctionDecl *FDcl = FD->getDefinition(); - SourceLocation SL = FD->getLocStart(); - SL = Devi::SourceLocationHasMacro(SL, Rewrite, "start"); + /*to guard against function that have a declaration that is not a definition only.*/ + if (FDcl != nullptr) + { + SourceLocation SL = FD->getLocStart(); + SL = Devi::SourceLocationHasMacro(SL, Rewrite, "start"); - SourceLocation SLDcl = FDcl->getLocStart(); - SLDcl = Devi::SourceLocationHasMacro(SLDcl, Rewrite, "start"); + SourceLocation SLDcl = FDcl->getLocStart(); + SLDcl = Devi::SourceLocationHasMacro(SLDcl, Rewrite, "start"); - ArrayRef<ParmVarDecl*> FDParmList = FD->parameters(); + ArrayRef<ParmVarDecl*> FDParmList = FD->parameters(); - ArrayRef<ParmVarDecl*> FDclParmList = FDcl->parameters(); + ArrayRef<ParmVarDecl*> FDclParmList = FDcl->parameters(); - if ( FD->getNumParams() != FDcl->getNumParams()) - { - std::cout << "numparam of functiondefinition and functionDecl dont match! : " << SL.printToString(*MR.SourceManager) << "\n" << std::endl; - } - else - { - if (FD->getNumParams() != 0) + if ( FD->getNumParams() != FDcl->getNumParams()) { - for (unsigned x = 0; x < FD->getNumParams(); ++x) + std::cout << "numparam of functiondefinition and functionDecl dont match! : " << SL.printToString(*MR.SourceManager) << "\n" << std::endl; + } + else + { + if (FD->getNumParams() != 0) { - if (FDParmList[x]->getNameAsString() != FDclParmList[x]->getNameAsString()) - { - std::cout << "16.4 : " << "FunctionDecl parameter names are not the same as function definition parameter names: " << std::endl; - std::cout << SL.printToString(*MR.SourceManager) << " & " << SLDcl.printToString(*MR.SourceManager) << "\n" << std::endl; - - break; - } - else + for (unsigned x = 0; x < FD->getNumParams(); ++x) { - /*intentionally left blank.*/ + if (FDParmList[x]->getNameAsString() != FDclParmList[x]->getNameAsString()) + { + std::cout << "16.4 : " << "FunctionDecl parameter names are not the same as function definition parameter names: " << std::endl; + std::cout << SL.printToString(*MR.SourceManager) << " & " << SLDcl.printToString(*MR.SourceManager) << "\n" << std::endl; + + break; + } + else + { + /*intentionally left blank.*/ + } } } } } - } else { @@ -505,17 +508,20 @@ public: virtual void run(const MatchFinder::MatchResult &MR) { - const ImplicitCastExpr* ICE = MR.Nodes.getNodeAs<clang::ImplicitCastExpr>("mcfunc169"); + if (MR.Nodes.getNodeAs<clang::ImplicitCastExpr>("mcfunc169") != nullptr) + { + const ImplicitCastExpr* ICE = MR.Nodes.getNodeAs<clang::ImplicitCastExpr>("mcfunc169"); - SourceLocation SL = ICE->getLocStart(); - SL = Devi::SourceLocationHasMacro(SL, Rewrite, "start"); + SourceLocation SL = ICE->getLocStart(); + SL = Devi::SourceLocationHasMacro(SL, Rewrite, "start"); - CastKind CK = ICE->getCastKind(); + CastKind CK = ICE->getCastKind(); - if (CK == CK_FunctionToPointerDecay) - { - std::cout << "16.9 : " << "FunctionToPointerDecay: " << std::endl; - std::cout << SL.printToString(*MR.SourceManager) << "\n" << std::endl; + if (CK == CK_FunctionToPointerDecay) + { + std::cout << "16.9 : " << "FunctionToPointerDecay: " << std::endl; + std::cout << SL.printToString(*MR.SourceManager) << "\n" << std::endl; + } } } @@ -532,13 +538,16 @@ public: virtual void run(const MatchFinder::MatchResult &MR) { - const VarDecl *VD = MR.Nodes.getNodeAs<clang::VarDecl>("mcpa171"); + if (MR.Nodes.getNodeAs<clang::VarDecl>("mcpa171") != nullptr) + { + const VarDecl *VD = MR.Nodes.getNodeAs<clang::VarDecl>("mcpa171"); - QualType QT = VD->getType(); + QualType QT = VD->getType(); #if 0 - std::cout << QT.getAsString() << "\n" << std::endl; + std::cout << QT.getAsString() << "\n" << std::endl; #endif + } } private: @@ -552,13 +561,16 @@ public: virtual void run(const MatchFinder::MatchResult &MR) { - const RecordDecl *RD = MR.Nodes.getNodeAs<clang::RecordDecl>("mcsu184"); + if (MR.Nodes.getNodeAs<clang::RecordDecl>("mcsu184") != nullptr) + { + const RecordDecl *RD = MR.Nodes.getNodeAs<clang::RecordDecl>("mcsu184"); - SourceLocation SL = RD->getLocStart(); - SL = Devi::SourceLocationHasMacro(SL, Rewrite, "start"); + SourceLocation SL = RD->getLocStart(); + SL = Devi::SourceLocationHasMacro(SL, Rewrite, "start"); - std::cout << "18.4 : " << "Union declared: " << std::endl; - std::cout << SL.printToString(*MR.SourceManager) << "\n" << std::endl; + std::cout << "18.4 : " << "Union declared: " << std::endl; + std::cout << SL.printToString(*MR.SourceManager) << "\n" << std::endl; + } } private: @@ -572,30 +584,33 @@ public: virtual void run(const MatchFinder::MatchResult &MR) { - const FieldDecl *FD = MR.Nodes.getNodeAs<clang::FieldDecl>("mctype6465"); + if (MR.Nodes.getNodeAs<clang::FieldDecl>("mctype6465") != nullptr) + { + const FieldDecl *FD = MR.Nodes.getNodeAs<clang::FieldDecl>("mctype6465"); - SourceLocation SL = FD->getLocStart(); - SL = Devi::SourceLocationHasMacro(SL, Rewrite, "start"); + SourceLocation SL = FD->getLocStart(); + SL = Devi::SourceLocationHasMacro(SL, Rewrite, "start"); - QualType QT = FD->getType(); - const clang::Type* TP = QT.getTypePtr(); + QualType QT = FD->getType(); + const clang::Type* TP = QT.getTypePtr(); - if ( !(TP->hasUnsignedIntegerRepresentation() || TP->hasSignedIntegerRepresentation())) - { - /*this part is ueless since the clang parser wont let such a bitfield through.*/ - std::cout << "6.4 : " << "BitField has a type other than int or unsigned int: " << std::endl; - std::cout << SL.printToString(*MR.SourceManager) << "\n" << std::endl; - } + if ( !(TP->hasUnsignedIntegerRepresentation() || TP->hasSignedIntegerRepresentation())) + { + /*this part is ueless since the clang parser wont let such a bitfield through.*/ + std::cout << "6.4 : " << "BitField has a type other than int or unsigned int: " << std::endl; + std::cout << SL.printToString(*MR.SourceManager) << "\n" << std::endl; + } - ASTContext *const ASTC = MR.Context; - unsigned int BitWidth = FD->getBitWidthValue(*ASTC); + ASTContext *const ASTC = MR.Context; + unsigned int BitWidth = FD->getBitWidthValue(*ASTC); - if (TP->hasSignedIntegerRepresentation()) - { - if (BitWidth < 2U) + if (TP->hasSignedIntegerRepresentation()) { - std::cout << "6.5 : " << "BitField of type signed integer has a length of less than 2 in bits : " << std::endl; - std::cout << SL.printToString(*MR.SourceManager) << "\n" << std::endl; + if (BitWidth < 2U) + { + std::cout << "6.5 : " << "BitField of type signed integer has a length of less than 2 in bits : " << std::endl; + std::cout << SL.printToString(*MR.SourceManager) << "\n" << std::endl; + } } } } @@ -617,46 +632,49 @@ public: /*underdev*/ virtual void run(const MatchFinder::MatchResult &MR) { - alreadymatched = false; + if (MR.Nodes.getNodeAs<clang::FunctionDecl>("mcdcdf81") != nullptr) + { + alreadymatched = false; - const FunctionDecl* FD = MR.Nodes.getNodeAs<clang::FunctionDecl>("mcdcdf81"); - DeclarationNameInfo DNI = FD->getNameInfo(); - std::string MatchedName = DNI.getAsString(); + const FunctionDecl* FD = MR.Nodes.getNodeAs<clang::FunctionDecl>("mcdcdf81"); + DeclarationNameInfo DNI = FD->getNameInfo(); + std::string MatchedName = DNI.getAsString(); - SourceLocation SL = FD->getLocStart(); - SL = Devi::SourceLocationHasMacro(SL, Rewrite, "start"); + SourceLocation SL = FD->getLocStart(); + SL = Devi::SourceLocationHasMacro(SL, Rewrite, "start"); - /*going through the already matched functions,making sure we are not adding duplicates.*/ - for (unsigned x = 0; x < VecC; ++x) - { - if (FuncInfoProto[x].FuncNameString == MatchedName) + /*going through the already matched functions,making sure we are not adding duplicates.*/ + for (unsigned x = 0; x < VecC; ++x) { - alreadymatched = true; - - if (!FD->isThisDeclarationADefinition()) + if (FuncInfoProto[x].FuncNameString == MatchedName) { - FuncInfoProto[x].HasDecThatisNotDef = true; + alreadymatched = true; + + if (!FD->isThisDeclarationADefinition()) + { + FuncInfoProto[x].HasDecThatisNotDef = true; + } } } - } - if (alreadymatched == false) - { - FuncInfoProto.push_back(FuncInfo()); - FuncInfoProto[VecC].FuncNameString = MatchedName; - - if (!FD->isThisDeclarationADefinition()) - { - /*this function has a declaration that is not a definition.*/ - FuncInfoProto[VecC].HasDecThatisNotDef = true; - } - else + if (alreadymatched == false) { - /*save the sourcelocation only if the functiondecl is a definition.*/ - FuncInfoProto[VecC].StrcSL = SL.printToString(*MR.SourceManager); - } + FuncInfoProto.push_back(FuncInfo()); + FuncInfoProto[VecC].FuncNameString = MatchedName; + + if (!FD->isThisDeclarationADefinition()) + { + /*this function has a declaration that is not a definition.*/ + FuncInfoProto[VecC].HasDecThatisNotDef = true; + } + else + { + /*save the sourcelocation only if the functiondecl is a definition.*/ + FuncInfoProto[VecC].StrcSL = SL.printToString(*MR.SourceManager); + } - VecC++; + VecC++; + } } } @@ -700,15 +718,18 @@ public: virtual void run(const MatchFinder::MatchResult &MR) { - const VarDecl* VD = MR.Nodes.getNodeAs<clang::VarDecl>("mcdcdf82"); + if (MR.Nodes.getNodeAs<clang::VarDecl>("mcdcdf82") != nullptr) + { + const VarDecl* VD = MR.Nodes.getNodeAs<clang::VarDecl>("mcdcdf82"); - std::string QualifiedName = VD->getQualifiedNameAsString(); + std::string QualifiedName = VD->getQualifiedNameAsString(); - QualType QT = VD->getType(); + QualType QT = VD->getType(); #if 0 - std::cout << QualifiedName << "\n" << std::endl; + std::cout << QualifiedName << "\n" << std::endl; #endif + } } private: @@ -723,18 +744,21 @@ public: virtual void run(const MatchFinder::MatchResult &MR) { - const VarDecl* VD = MR.Nodes.getNodeAs<clang::VarDecl>("mcinit91"); + if (MR.Nodes.getNodeAs<clang::VarDecl>("mcinit91") != nullptr) + { + const VarDecl* VD = MR.Nodes.getNodeAs<clang::VarDecl>("mcinit91"); - SourceLocation SL = VD->getLocStart(); - SL = Devi::SourceLocationHasMacro(SL, Rewrite, "start"); + SourceLocation SL = VD->getLocStart(); + SL = Devi::SourceLocationHasMacro(SL, Rewrite, "start"); - /*we only check for local static since global static is meaningless.*/ - if (!VD->isStaticLocal() && VD->isLocalVarDecl()) - { - if (!VD->hasInit()) + /*we only check for local static since global static is meaningless.*/ + if (!VD->isStaticLocal() && VD->isLocalVarDecl()) { - std::cout << "9.1 : " << "staic local variable does not have initialization : " << std::endl; - std::cout << SL.printToString(*MR.SourceManager) << "\n" << std::endl; + if (!VD->hasInit()) + { + std::cout << "9.1 : " << "staic local variable does not have initialization : " << std::endl; + std::cout << SL.printToString(*MR.SourceManager) << "\n" << std::endl; + } } } @@ -751,22 +775,20 @@ public: virtual void run(const MatchFinder::MatchResult &MR) { - const InitListExpr* ILE = MR.Nodes.getNodeAs<clang::InitListExpr>("mcinit92"); - const VarDecl* VD = MR.Nodes.getNodeAs<clang::VarDecl>("mcinit92daddy"); + if (MR.Nodes.getNodeAs<clang::InitListExpr>("mcinit92") != nullptr) + { + const InitListExpr* ILE = MR.Nodes.getNodeAs<clang::InitListExpr>("mcinit92"); + const VarDecl* VD = MR.Nodes.getNodeAs<clang::VarDecl>("mcinit92daddy"); - SourceLocation SL = VD->getLocStart(); - SL = Devi::SourceLocationHasMacro(SL, Rewrite, "start"); + SourceLocation SL = VD->getLocStart(); + SL = Devi::SourceLocationHasMacro(SL, Rewrite, "start"); - unsigned int NumInits = ILE->getNumInits(); + unsigned int NumInits = ILE->getNumInits(); #if 0 - std::cout << NumInits << "\n" << std::endl; + std::cout << NumInits << "\n" << std::endl; #endif - } - - virtual void onEndOfTranslationUnit() - { - + } } private: @@ -841,7 +863,7 @@ public: if (IL != nullptr) { /*in breach of misrac*/ - std::cout << "9.3 : " << "first enumeration does not have integerliteral initialization but at least one enumeration does : " << std::endl; + std::cout << "9.3 : " << "first enumeration does not have integerliteral initialization but at least one other enumeration does : " << std::endl; std::cout << SL.printToString(*MR.SourceManager) << "\n" << std::endl; } else @@ -868,6 +890,37 @@ private: Rewriter &Rewrite; }; + +/**********************************************************************************************************************/ +class MCExpr123 : public MatchFinder::MatchCallback +{ +public: + MCExpr123 (Rewriter &Rewrite) : Rewrite(Rewrite) {} + + virtual void run(const MatchFinder::MatchResult &MR) + { + if (MR.Nodes.getNodeAs<clang::Expr>("mcexpr123kiddy") != nullptr) + { + const Expr* EXP = MR.Nodes.getNodeAs<clang::Expr>("mcexpr123kiddy"); + + SourceLocation SL = EXP->getLocStart(); + SL = Devi::SourceLocationHasMacro(SL, Rewrite, "start"); + + ASTContext *const ASTC = MR.Context; + + if (EXP->HasSideEffects(*ASTC, true)) + { + std::cout << "12.3 : " << "sizeof working on an expr with a side-effect : " << std::endl; + std::cout << SL.printToString(*MR.SourceManager) << "\n" << std::endl; + } + } + } + +private: + Rewriter &Rewrite; +}; +/**********************************************************************************************************************/ +/**********************************************************************************************************************/ /**********************************************************************************************************************/ /**********************************************************************************************************************/ /**********************************************************************************************************************/ @@ -878,7 +931,7 @@ public: HandlerForIfElse(R), HandlerForSwitchBrkLess(R), HandlerForSwitchDftLEss(R), HandlerForMCSwitch151(R), HandlerForMCSwitch155(R), \ HandlerForMCFunction161(R), HandlerForFunction162(R), HandlerForFunction164(R), HandlerForFunction166(R), HandlerForFunction168(R), \ HandlerForFunction169(R), HandlerForPA171(R), HandlerForSU184(R), HandlerForType6465(R), HandlerForDCDF81(R), HandlerForDCDF82(R), \ - HandlerForInit91(R), HandlerForInit92(R), HandlerForInit93(R) { + HandlerForInit91(R), HandlerForInit92(R), HandlerForInit93(R), HandlerForExpr123(R) { /*forstmts whithout a compound statement.*/ Matcher.addMatcher(forStmt(unless(hasDescendant(compoundStmt()))).bind("mcfor"), &HandlerForCmpless); @@ -930,6 +983,8 @@ public: Matcher.addMatcher(initListExpr(hasAncestor(varDecl().bind("mcinit92daddy"))).bind("mcinit92"), &HandlerForInit92); Matcher.addMatcher(enumConstantDecl(anyOf(allOf(hasDescendant(integerLiteral().bind("mcinit93kiddy")), hasAncestor(enumDecl().bind("mcinit93daddy"))), hasAncestor(enumDecl().bind("mcinit93daddy")))).bind("mcinit93"), &HandlerForInit93); + + Matcher.addMatcher(unaryExprOrTypeTraitExpr(hasDescendant(expr().bind("mcexpr123kiddy"))).bind("mcexpr123"), &HandlerForExpr123); } void HandleTranslationUnit(ASTContext &Context) override { @@ -960,6 +1015,7 @@ private: MCInit91 HandlerForInit91; MCInit92 HandlerForInit92; MCInit93 HandlerForInit93; + MCExpr123 HandlerForExpr123; MatchFinder Matcher; }; /**********************************************************************************************************************/ |