| //=- ClangSACheckersEmitter.cpp - Generate Clang SA checkers tables -*- C++ -*- |
| // |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| // See https://llvm.org/LICENSE.txt for license information. |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| // |
| //===----------------------------------------------------------------------===// |
| // |
| // This tablegen backend emits Clang Static Analyzer checkers tables. |
| // |
| //===----------------------------------------------------------------------===// |
| |
| #include "TableGenBackends.h" |
| #include "llvm/ADT/StringMap.h" |
| #include "llvm/TableGen/Error.h" |
| #include "llvm/TableGen/Record.h" |
| #include "llvm/TableGen/TableGenBackend.h" |
| #include <map> |
| #include <string> |
| |
| using namespace llvm; |
| |
| //===----------------------------------------------------------------------===// |
| // Static Analyzer Checkers Tables generation |
| //===----------------------------------------------------------------------===// |
| |
| static std::string getPackageFullName(const Record *R); |
| |
| static std::string getParentPackageFullName(const Record *R) { |
| std::string name; |
| if (DefInit *DI = dyn_cast<DefInit>(R->getValueInit("ParentPackage"))) |
| name = getPackageFullName(DI->getDef()); |
| return name; |
| } |
| |
| static std::string getPackageFullName(const Record *R) { |
| std::string name = getParentPackageFullName(R); |
| if (!name.empty()) |
| name += "."; |
| assert(!R->getValueAsString("PackageName").empty()); |
| name += R->getValueAsString("PackageName"); |
| return name; |
| } |
| |
| static std::string getCheckerFullName(const Record *R) { |
| std::string name = getParentPackageFullName(R); |
| if (!name.empty()) |
| name += "."; |
| assert(!R->getValueAsString("CheckerName").empty()); |
| name += R->getValueAsString("CheckerName"); |
| return name; |
| } |
| |
| static std::string getStringValue(const Record &R, StringRef field) { |
| if (StringInit *SI = dyn_cast<StringInit>(R.getValueInit(field))) |
| return SI->getValue(); |
| return std::string(); |
| } |
| |
| // Calculates the integer value representing the BitsInit object |
| static inline uint64_t getValueFromBitsInit(const BitsInit *B, const Record &R) { |
| assert(B->getNumBits() <= sizeof(uint64_t) * 8 && "BitInits' too long!"); |
| |
| uint64_t Value = 0; |
| for (unsigned i = 0, e = B->getNumBits(); i != e; ++i) { |
| const auto *Bit = dyn_cast<BitInit>(B->getBit(i)); |
| if (Bit) |
| Value |= uint64_t(Bit->getValue()) << i; |
| else |
| PrintFatalError(R.getLoc(), |
| "missing Documentation for " + getCheckerFullName(&R)); |
| } |
| return Value; |
| } |
| |
| static std::string getCheckerDocs(const Record &R) { |
| StringRef LandingPage; |
| if (BitsInit *BI = R.getValueAsBitsInit("Documentation")) { |
| uint64_t V = getValueFromBitsInit(BI, R); |
| if (V == 1) |
| LandingPage = "available_checks.html"; |
| else if (V == 2) |
| LandingPage = "alpha_checks.html"; |
| } |
| |
| if (LandingPage.empty()) |
| return ""; |
| |
| return (llvm::Twine("https://clang-analyzer.llvm.org/") + LandingPage + "#" + |
| getCheckerFullName(&R)) |
| .str(); |
| } |
| |
| /// Retrieves the type from a CmdOptionTypeEnum typed Record object. Note that |
| /// the class itself has to be modified for adding a new option type in |
| /// CheckerBase.td. |
| static std::string getCheckerOptionType(const Record &R) { |
| if (BitsInit *BI = R.getValueAsBitsInit("Type")) { |
| switch(getValueFromBitsInit(BI, R)) { |
| case 0: |
| return "int"; |
| case 1: |
| return "string"; |
| case 2: |
| return "bool"; |
| } |
| } |
| PrintFatalError(R.getLoc(), |
| "unable to parse command line option type for " |
| + getCheckerFullName(&R)); |
| return ""; |
| } |
| |
| static std::string getDevelopmentStage(const Record &R) { |
| if (BitsInit *BI = R.getValueAsBitsInit("DevelopmentStage")) { |
| switch(getValueFromBitsInit(BI, R)) { |
| case 0: |
| return "alpha"; |
| case 1: |
| return "released"; |
| } |
| } |
| |
| PrintFatalError(R.getLoc(), |
| "unable to parse command line option type for " |
| + getCheckerFullName(&R)); |
| return ""; |
| } |
| |
| static bool isHidden(const Record *R) { |
| if (R->getValueAsBit("Hidden")) |
| return true; |
| |
| // Not declared as hidden, check the parent package if it is hidden. |
| if (DefInit *DI = dyn_cast<DefInit>(R->getValueInit("ParentPackage"))) |
| return isHidden(DI->getDef()); |
| |
| return false; |
| } |
| |
| static void printChecker(llvm::raw_ostream &OS, const Record &R) { |
| OS << "CHECKER(" << "\""; |
| OS.write_escaped(getCheckerFullName(&R)) << "\", "; |
| OS << R.getName() << ", "; |
| OS << "\""; |
| OS.write_escaped(getStringValue(R, "HelpText")) << "\", "; |
| OS << "\""; |
| OS.write_escaped(getCheckerDocs(R)); |
| OS << "\", "; |
| |
| if (!isHidden(&R)) |
| OS << "false"; |
| else |
| OS << "true"; |
| |
| OS << ")\n"; |
| } |
| |
| static void printOption(llvm::raw_ostream &OS, StringRef FullName, |
| const Record &R) { |
| OS << "\""; |
| OS.write_escaped(getCheckerOptionType(R)) << "\", \""; |
| OS.write_escaped(FullName) << "\", "; |
| OS << '\"' << getStringValue(R, "CmdFlag") << "\", "; |
| OS << '\"'; |
| OS.write_escaped(getStringValue(R, "Desc")) << "\", "; |
| OS << '\"'; |
| OS.write_escaped(getStringValue(R, "DefaultVal")) << "\", "; |
| OS << '\"'; |
| OS << getDevelopmentStage(R) << "\", "; |
| |
| if (!R.getValueAsBit("Hidden")) |
| OS << "false"; |
| else |
| OS << "true"; |
| } |
| |
| void clang::EmitClangSACheckers(RecordKeeper &Records, raw_ostream &OS) { |
| std::vector<Record*> checkers = Records.getAllDerivedDefinitions("Checker"); |
| std::vector<Record*> packages = Records.getAllDerivedDefinitions("Package"); |
| |
| using SortedRecords = llvm::StringMap<const Record *>; |
| |
| OS << "// This file is automatically generated. Do not edit this file by " |
| "hand.\n"; |
| |
| // Emit packages. |
| // |
| // PACKAGE(PACKAGENAME) |
| // - PACKAGENAME: The name of the package. |
| OS << "\n" |
| "#ifdef GET_PACKAGES\n"; |
| { |
| SortedRecords sortedPackages; |
| for (unsigned i = 0, e = packages.size(); i != e; ++i) |
| sortedPackages[getPackageFullName(packages[i])] = packages[i]; |
| |
| for (SortedRecords::iterator |
| I = sortedPackages.begin(), E = sortedPackages.end(); I != E; ++I) { |
| const Record &R = *I->second; |
| |
| OS << "PACKAGE(" << "\""; |
| OS.write_escaped(getPackageFullName(&R)) << '\"'; |
| OS << ")\n"; |
| } |
| } |
| OS << "#endif // GET_PACKAGES\n" |
| "\n"; |
| |
| // Emit a package option. |
| // |
| // PACKAGE_OPTION(OPTIONTYPE, PACKAGENAME, OPTIONNAME, DESCRIPTION, DEFAULT) |
| // - OPTIONTYPE: Type of the option, whether it's integer or boolean etc. |
| // This is important for validating user input. Note that |
| // it's a string, rather than an actual type: since we can |
| // load checkers runtime, we can't use template hackery for |
| // sorting this out compile-time. |
| // - PACKAGENAME: Name of the package. |
| // - OPTIONNAME: Name of the option. |
| // - DESCRIPTION |
| // - DEFAULT: The default value for this option. |
| // |
| // The full option can be specified in the command like like this: |
| // -analyzer-config PACKAGENAME:OPTIONNAME=VALUE |
| OS << "\n" |
| "#ifdef GET_PACKAGE_OPTIONS\n"; |
| for (const Record *Package : packages) { |
| |
| if (Package->isValueUnset("PackageOptions")) |
| continue; |
| |
| std::vector<Record *> PackageOptions = Package |
| ->getValueAsListOfDefs("PackageOptions"); |
| for (Record *PackageOpt : PackageOptions) { |
| OS << "PACKAGE_OPTION("; |
| printOption(OS, getPackageFullName(Package), *PackageOpt); |
| OS << ")\n"; |
| } |
| } |
| OS << "#endif // GET_PACKAGE_OPTIONS\n" |
| "\n"; |
| |
| // Emit checkers. |
| // |
| // CHECKER(FULLNAME, CLASS, HELPTEXT) |
| // - FULLNAME: The full name of the checker, including packages, e.g.: |
| // alpha.cplusplus.UninitializedObject |
| // - CLASS: The name of the checker, with "Checker" appended, e.g.: |
| // UninitializedObjectChecker |
| // - HELPTEXT: The description of the checker. |
| OS << "\n" |
| "#ifdef GET_CHECKERS\n" |
| "\n"; |
| for (const Record *checker : checkers) { |
| printChecker(OS, *checker); |
| } |
| OS << "\n" |
| "#endif // GET_CHECKERS\n" |
| "\n"; |
| |
| // Emit dependencies. |
| // |
| // CHECKER_DEPENDENCY(FULLNAME, DEPENDENCY) |
| // - FULLNAME: The full name of the checker that depends on another checker. |
| // - DEPENDENCY: The full name of the checker FULLNAME depends on. |
| OS << "\n" |
| "#ifdef GET_CHECKER_DEPENDENCIES\n"; |
| for (const Record *Checker : checkers) { |
| if (Checker->isValueUnset("Dependencies")) |
| continue; |
| |
| for (const Record *Dependency : |
| Checker->getValueAsListOfDefs("Dependencies")) { |
| OS << "CHECKER_DEPENDENCY("; |
| OS << '\"'; |
| OS.write_escaped(getCheckerFullName(Checker)) << "\", "; |
| OS << '\"'; |
| OS.write_escaped(getCheckerFullName(Dependency)) << '\"'; |
| OS << ")\n"; |
| } |
| } |
| OS << "\n" |
| "#endif // GET_CHECKER_DEPENDENCIES\n"; |
| |
| // Emit a package option. |
| // |
| // CHECKER_OPTION(OPTIONTYPE, CHECKERNAME, OPTIONNAME, DESCRIPTION, DEFAULT) |
| // - OPTIONTYPE: Type of the option, whether it's integer or boolean etc. |
| // This is important for validating user input. Note that |
| // it's a string, rather than an actual type: since we can |
| // load checkers runtime, we can't use template hackery for |
| // sorting this out compile-time. |
| // - CHECKERNAME: Name of the package. |
| // - OPTIONNAME: Name of the option. |
| // - DESCRIPTION |
| // - DEFAULT: The default value for this option. |
| // |
| // The full option can be specified in the command like like this: |
| // -analyzer-config CHECKERNAME:OPTIONNAME=VALUE |
| OS << "\n" |
| "#ifdef GET_CHECKER_OPTIONS\n"; |
| for (const Record *Checker : checkers) { |
| |
| if (Checker->isValueUnset("CheckerOptions")) |
| continue; |
| |
| std::vector<Record *> CheckerOptions = Checker |
| ->getValueAsListOfDefs("CheckerOptions"); |
| for (Record *CheckerOpt : CheckerOptions) { |
| OS << "CHECKER_OPTION("; |
| printOption(OS, getCheckerFullName(Checker), *CheckerOpt); |
| OS << ")\n"; |
| } |
| } |
| OS << "#endif // GET_CHECKER_OPTIONS\n" |
| "\n"; |
| } |