Skip to content

Commit

Permalink
Ticket #11897. Write Autosar/Cert C/Cert C++/Misra C++ in the checker…
Browse files Browse the repository at this point in the history
…s report also. (#5400)
  • Loading branch information
danmar committed Sep 3, 2023
1 parent fd12baa commit 6817113
Show file tree
Hide file tree
Showing 3 changed files with 781 additions and 18 deletions.
376 changes: 375 additions & 1 deletion lib/checkers.h
Original file line number Diff line number Diff line change
Expand Up @@ -206,6 +206,379 @@ namespace checkers {


static std::map<std::string, std::string> premiumCheckers{
{"Autosar: A0-1-3","style"},
{"Autosar: A0-4-2","style"},
{"Autosar: A0-4-4","style"},
{"Autosar: A10-1-1","style"},
{"Autosar: A11-0-2","style"},
{"Autosar: A11-3-1","style"},
{"Autosar: A13-2-1","style"},
{"Autosar: A13-2-3","style"},
{"Autosar: A13-5-2","style"},
{"Autosar: A13-5-5","style"},
{"Autosar: A15-1-2","style"},
{"Autosar: A15-3-5","style"},
{"Autosar: A16-6-1","style"},
{"Autosar: A16-7-1","style"},
{"Autosar: A18-0-3","style"},
{"Autosar: A18-1-1","style"},
{"Autosar: A18-1-2","style"},
{"Autosar: A18-1-3","style"},
{"Autosar: A18-5-1","style"},
{"Autosar: A18-9-1","style"},
{"Autosar: A2-11-1","style"},
{"Autosar: A2-13-1","style"},
{"Autosar: A2-13-3","style"},
{"Autosar: A2-13-5","style"},
{"Autosar: A2-13-6","style"},
{"Autosar: A2-5-2","style"},
{"Autosar: A3-1-3","style"},
{"Autosar: A3-1-4","style"},
{"Autosar: A3-3-1","style"},
{"Autosar: A4-10-1","style"},
{"Autosar: A4-7-1","style"},
{"Autosar: A5-0-2","style"},
{"Autosar: A5-0-3","style"},
{"Autosar: A5-0-4","style"},
{"Autosar: A5-1-1","style"},
{"Autosar: A5-1-2","style"},
{"Autosar: A5-1-3","style"},
{"Autosar: A5-16-1","style"},
{"Autosar: A5-1-6","style"},
{"Autosar: A5-1-7","style"},
{"Autosar: A5-2-1","style"},
{"Autosar: A5-2-4","style"},
{"Autosar: A6-5-3","style"},
{"Autosar: A7-1-4","style"},
{"Autosar: A7-1-6","style"},
{"Autosar: A7-1-7","style"},
{"Autosar: A8-4-1","style"},
{"Autosar: A8-5-3","style"},
{"Autosar: A9-3-1","style"},
{"Cert C: ARR30-C","warning"},
{"Cert C: ARR32-C","warning"},
{"Cert C: ARR37-C","warning"},
{"Cert C: ARR38-C",""},
{"Cert C: ARR39-C","warning"},
{"Cert C: CON30-C","style"},
{"Cert C: CON31-C","style"},
{"Cert C: CON32-C","style"},
{"Cert C: CON33-C","style"},
{"Cert C: CON34-C","warning"},
{"Cert C: CON35-C","warning"},
{"Cert C: CON36-C","style"},
{"Cert C: CON37-C","style"},
{"Cert C: CON38-C","warning"},
{"Cert C: CON39-C","warning"},
{"Cert C: CON40-C","warning"},
{"Cert C: CON41-C","style"},
{"Cert C++: CON51-CPP",""},
{"Cert C++: CON52-CPP","style"},
{"Cert C++: CON53-CPP","style"},
{"Cert C++: CON54-CPP","style"},
{"Cert C++: CON55-CPP","style"},
{"Cert C++: CON56-CPP",""},
{"Cert C++: CTR50-CPP",""},
{"Cert C++: CTR52-CPP",""},
{"Cert C++: CTR53-CPP",""},
{"Cert C++: CTR56-CPP","style"},
{"Cert C++: CTR57-CPP",""},
{"Cert C++: CTR58-CPP",""},
{"Cert C: DCL31-C","style"},
{"Cert C: DCL36-C","style"},
{"Cert C: DCL37-C","style"},
{"Cert C: DCL38-C","style"},
{"Cert C: DCL39-C","style"},
{"Cert C: DCL40-C","style"},
{"Cert C: DCL41-C","style"},
{"Cert C++: DCL50-CPP","style"},
{"Cert C++: DCL51-CPP","style"},
{"Cert C++: DCL52-CPP","style"},
{"Cert C++: DCL53-CPP","style"},
{"Cert C++: DCL54-CPP",""},
{"Cert C++: DCL56-CPP",""},
{"Cert C++: DCL58-CPP","style"},
{"Cert C++: DCL59-CPP","style"},
{"Cert C: ENV30-C","style"},
{"Cert C: ENV31-C","style"},
{"Cert C: ENV32-C","style"},
{"Cert C: ENV33-C","style"},
{"Cert C: ENV34-C","style"},
{"Cert C: ERR30-C","warning"},
{"Cert C: ERR32-C","warning"},
{"Cert C: ERR33-C","warning"},
{"Cert C++: ERR50-CPP",""},
{"Cert C++: ERR51-CPP","style"},
{"Cert C++: ERR52-CPP","style"},
{"Cert C++: ERR53-CPP",""},
{"Cert C++: ERR54-CPP",""},
{"Cert C++: ERR55-CPP",""},
{"Cert C++: ERR56-CPP",""},
{"Cert C++: ERR58-CPP",""},
{"Cert C++: ERR59-CPP","warning"},
{"Cert C++: ERR60-CPP","warning"},
{"Cert C++: ERR61-CPP","style"},
{"Cert C++: ERR62-CPP","style"},
{"Cert C: EXP32-C","warning"},
{"Cert C: EXP35-C",""},
{"Cert C: EXP36-C","style"},
{"Cert C: EXP37-C","style"},
{"Cert C: EXP39-C","style"},
{"Cert C: EXP40-C","style"},
{"Cert C: EXP42-C","style"},
{"Cert C: EXP43-C","style"},
{"Cert C: EXP45-C","warning"},
{"Cert C++: EXP50-CPP",""},
{"Cert C++: EXP51-CPP",""},
{"Cert C++: EXP55-CPP",""},
{"Cert C++: EXP56-CPP",""},
{"Cert C++: EXP57-CPP","style"},
{"Cert C++: EXP58-CPP","style"},
{"Cert C++: EXP59-CPP",""},
{"Cert C: FIO30-C","warning"},
{"Cert C: FIO32-C","style"},
{"Cert C: FIO34-C","style"},
{"Cert C: FIO37-C",""},
{"Cert C: FIO38-C","style"},
{"Cert C: FIO40-C","style"},
{"Cert C: FIO41-C","style"},
{"Cert C: FIO44-C","warning"},
{"Cert C: FIO45-C","warning"},
{"Cert C++: FIO51-CPP","style"},
{"Cert C: FLP30-C","warning"},
{"Cert C: FLP36-C","portability"},
{"Cert C: FLP37-C","style"},
{"Cert C: INT30-C","warning"},
{"Cert C: INT31-C","warning"},
{"Cert C: INT32-C","warning"},
{"Cert C: INT33-C","warning"},
{"Cert C: INT34-C","warning"},
{"Cert C: INT35-C","warning"},
{"Cert C: INT36-C","warning"},
{"Cert C++: INT50-CPP","style"},
{"Cert C: MEM33-C","style"},
{"Cert C: MEM35-C","warning"},
{"Cert C: MEM36-C","warning"},
{"Cert C++: MEM52-CPP",""},
{"Cert C++: MEM53-CPP",""},
{"Cert C++: MEM54-CPP",""},
{"Cert C++: MEM55-CPP",""},
{"Cert C++: MEM57-CPP","style"},
{"Cert C: MSC30-C","style"},
{"Cert C: MSC32-C","style"},
{"Cert C: MSC33-C","style"},
{"Cert C: MSC38-C","warning"},
{"Cert C: MSC39-C","warning"},
{"Cert C: MSC40-C","warning"},
{"Cert C++: MSC50-CPP","style"},
{"Cert C++: MSC51-CPP","style"},
{"Cert C++: MSC53-CPP",""},
{"Cert C++: MSC54-CPP","style"},
{"Cert C++: OOP51-CPP",""},
{"Cert C++: OOP55-CPP",""},
{"Cert C++: OOP56-CPP",""},
{"Cert C++: OOP57-CPP",""},
{"Cert C++: OOP58-CPP","style"},
{"Cert C: PRE31-C","style"},
{"Cert C: SIG30-C","style"},
{"Cert C: SIG31-C","warning"},
{"Cert C: SIG34-C","style"},
{"Cert C: SIG35-C","warning"},
{"Cert C: STR31-C","warning"},
{"Cert C: STR32-C","warning"},
{"Cert C: STR34-C","warning"},
{"Cert C: STR38-C","style"},
{"Cert C++: STR50-CPP",""},
{"Cert C++: STR53-CPP",""},
{"Misra C: 10.1","style"},
{"Misra C: 10.2","style"},
{"Misra C: 10.3","style"},
{"Misra C: 10.4","style"},
{"Misra C: 10.5","style"},
{"Misra C: 10.6","style"},
{"Misra C: 10.7","style"},
{"Misra C: 10.8","style"},
{"Misra C: 11.10","style"},
{"Misra C: 12.6",""},
{"Misra C: 1.5","style"},
{"Misra C: 17.10","style"},
{"Misra C: 17.11","style"},
{"Misra C: 17.12","style"},
{"Misra C: 17.9","style"},
{"Misra C: 18.10","style"},
{"Misra C: 18.9","style"},
{"Misra C: 21.12","style"},
{"Misra C: 21.22","style"},
{"Misra C: 21.23","style"},
{"Misra C: 21.24","style"},
{"Misra C: 21.25","warning"},
{"Misra C: 21.26","warning"},
{"Misra C: 22.11",""},
{"Misra C: 22.12","style"},
{"Misra C: 22.13","style"},
{"Misra C: 22.14","style"},
{"Misra C: 22.15","style"},
{"Misra C: 22.16","warning"},
{"Misra C: 22.17","warning"},
{"Misra C: 22.18","warning"},
{"Misra C: 22.19","warning"},
{"Misra C: 22.20","style"},
{"Misra C: 23.1","style"},
{"Misra C: 23.2","style"},
{"Misra C: 23.3","style"},
{"Misra C: 23.4","style"},
{"Misra C: 23.5","style"},
{"Misra C: 23.6","style"},
{"Misra C: 23.7","style"},
{"Misra C: 23.8","style"},
{"Misra C: 6.3","style"},
{"Misra C: 7.5","style"},
{"Misra C: 7.6","style"},
{"Misra C: 8.10","style"},
{"Misra C: 8.15","style"},
{"Misra C: 8.16","style"},
{"Misra C: 8.17","style"},
{"Misra C: 9.6","style"},
{"Misra C: 9.7",""},
{"Misra C++: M0-1-11","style"},
{"Misra C++: M0-1-12","style"},
{"Misra C++: M0-1-4","style"},
{"Misra C++: M0-1-5","style"},
{"Misra C++: M0-1-7","style"},
{"Misra C++: M0-1-8","style"},
{"Misra C++: M10-1-1","style"},
{"Misra C++: M10-1-2","style"},
{"Misra C++: M10-1-3","style"},
{"Misra C++: M10-2-1","style"},
{"Misra C++: M10-3-3","style"},
{"Misra C++: M11-0-1","style"},
{"Misra C++: M12-8-2","style"},
{"Misra C++: M14-5-1","warning"},
{"Misra C++: M14-5-2","warning"},
{"Misra C++: M14-5-3","warning"},
{"Misra C++: M14-6-1","warning"},
{"Misra C++: M14-7-1","style"},
{"Misra C++: M14-7-2","style"},
{"Misra C++: M15-0-3",""},
{"Misra C++: M15-1-1",""},
{"Misra C++: M15-1-2","style"},
{"Misra C++: M15-1-3","style"},
{"Misra C++: M15-3-2","warning"},
{"Misra C++: M15-3-3",""},
{"Misra C++: M15-4-1","style"},
{"Misra C++: M16-0-1","style"},
{"Misra C++: M16-0-2","style"},
{"Misra C++: M16-0-3","style"},
{"Misra C++: M16-0-4","style"},
{"Misra C++: M16-1-1","style"},
{"Misra C++: M16-2-1","style"},
{"Misra C++: M16-2-2","style"},
{"Misra C++: M16-2-3","style"},
{"Misra C++: M16-2-4","style"},
{"Misra C++: M16-2-5","style"},
{"Misra C++: M16-2-6","style"},
{"Misra C++: M16-3-1","style"},
{"Misra C++: M16-3-2","style"},
{"Misra C++: M17-0-1","style"},
{"Misra C++: M17-0-2","style"},
{"Misra C++: M17-0-3","style"},
{"Misra C++: M17-0-5","style"},
{"Misra C++: M18-0-1","style"},
{"Misra C++: M18-0-2","style"},
{"Misra C++: M18-0-3","style"},
{"Misra C++: M18-0-4","style"},
{"Misra C++: M18-0-5","style"},
{"Misra C++: M18-2-1","style"},
{"Misra C++: M18-4-1","style"},
{"Misra C++: M18-7-1","style"},
{"Misra C++: M19-3-1","style"},
{"Misra C++: M2-10-1","style"},
{"Misra C++: M2-10-3","style"},
{"Misra C++: M2-10-4","style"},
{"Misra C++: M2-10-5","style"},
{"Misra C++: M2-10-6","style"},
{"Misra C++: M2-13-4","style"},
{"Misra C++: M2-13-5","style"},
{"Misra C++: M27-0-1","style"},
{"Misra C++: M2-7-1","style"},
{"Misra C++: M2-7-2","style"},
{"Misra C++: M2-7-3","style"},
{"Misra C++: M3-1-1","style"},
{"Misra C++: M3-1-2","style"},
{"Misra C++: M3-1-3","style"},
{"Misra C++: M3-2-1",""},
{"Misra C++: M3-3-1","style"},
{"Misra C++: M3-3-2","style"},
{"Misra C++: M3-9-1","style"},
{"Misra C++: M3-9-2","style"},
{"Misra C++: M3-9-3","style"},
{"Misra C++: M4-10-1","style"},
{"Misra C++: M4-10-2","style"},
{"Misra C++: M4-5-1","style"},
{"Misra C++: M4-5-2","style"},
{"Misra C++: M4-5-3","style"},
{"Misra C++: M5-0-10","style"},
{"Misra C++: M5-0-11","style"},
{"Misra C++: M5-0-12","style"},
{"Misra C++: M5-0-14","style"},
{"Misra C++: M5-0-15","style"},
{"Misra C++: M5-0-20","style"},
{"Misra C++: M5-0-21","style"},
{"Misra C++: M5-0-2","style"},
{"Misra C++: M5-0-3","style"},
{"Misra C++: M5-0-4","style"},
{"Misra C++: M5-0-5","style"},
{"Misra C++: M5-0-6","style"},
{"Misra C++: M5-0-7","style"},
{"Misra C++: M5-0-8","style"},
{"Misra C++: M5-0-9","style"},
{"Misra C++: M5-2-10","style"},
{"Misra C++: M5-2-11","style"},
{"Misra C++: M5-2-12","style"},
{"Misra C++: M5-2-1","style"},
{"Misra C++: M5-2-2","style"},
{"Misra C++: M5-2-3","style"},
{"Misra C++: M5-2-5","style"},
{"Misra C++: M5-2-6","style"},
{"Misra C++: M5-2-7","style"},
{"Misra C++: M5-2-8","style"},
{"Misra C++: M5-2-9","style"},
{"Misra C++: M5-3-1","style"},
{"Misra C++: M5-3-2","style"},
{"Misra C++: M5-3-3","style"},
{"Misra C++: M6-2-3","style"},
{"Misra C++: M6-4-4","style"},
{"Misra C++: M6-4-6","style"},
{"Misra C++: M6-4-7","style"},
{"Misra C++: M6-4-8","style"},
{"Misra C++: M6-5-1","style"},
{"Misra C++: M6-5-2","style"},
{"Misra C++: M6-5-3","style"},
{"Misra C++: M6-5-4","style"},
{"Misra C++: M6-5-5","style"},
{"Misra C++: M6-5-6","style"},
{"Misra C++: M6-6-1","style"},
{"Misra C++: M6-6-3","style"},
{"Misra C++: M6-6-4","style"},
{"Misra C++: M6-6-5","style"},
{"Misra C++: M7-2-1","style"},
{"Misra C++: M7-3-1","style"},
{"Misra C++: M7-3-2","style"},
{"Misra C++: M7-3-3","style"},
{"Misra C++: M7-3-4","style"},
{"Misra C++: M7-3-5","style"},
{"Misra C++: M7-3-6","style"},
{"Misra C++: M7-4-2","style"},
{"Misra C++: M7-4-3","style"},
{"Misra C++: M7-5-3","style"},
{"Misra C++: M8-0-1","style"},
{"Misra C++: M8-3-1","style"},
{"Misra C++: M8-4-4","style"},
{"Misra C++: M9-3-1","style"},
{"Misra C++: M9-5-1","style"},
{"Misra C++: M9-6-2","style"},
{"Misra C++: M9-6-3","style"},
{"Misra C++: M9-6-4","style"},
{"PremiumCheckBufferOverrun::addressOfPointerArithmetic","warning"},
{"PremiumCheckBufferOverrun::negativeBufferSizeCheckedNonZero","warning"},
{"PremiumCheckBufferOverrun::negativeBufferSizeCheckedNonZero","warning"},
Expand All @@ -217,8 +590,9 @@ namespace checkers {
{"PremiumCheckOther::pointerCast","style"},
{"PremiumCheckOther::reassignInLoop","style"},
{"PremiumCheckOther::unreachableCode","style"},
{"PremiumCheckUninitVar::uninitvar",""},
{"PremiumCheckStrictAlias::strictAliasCondition","warning"},
{"PremiumCheckUninitVar::uninitmember",""},
{"PremiumCheckUninitVar::uninitvar",""},
{"PremiumCheckUnusedVar::unreadVariable","style"},
{"PremiumCheckUnusedVar::unusedPrivateMember","style"},
};
Expand Down
Loading

0 comments on commit 6817113

Please sign in to comment.