• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 //=- ClangSACheckersEmitter.cpp - Generate Clang SA checkers tables -*- C++ -*-
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // This tablegen backend emits Clang Static Analyzer checkers tables.
11 //
12 //===----------------------------------------------------------------------===//
13 
14 #include "llvm/ADT/DenseSet.h"
15 #include "llvm/TableGen/Record.h"
16 #include "llvm/TableGen/TableGenBackend.h"
17 #include <map>
18 #include <string>
19 using namespace llvm;
20 
21 //===----------------------------------------------------------------------===//
22 // Static Analyzer Checkers Tables generation
23 //===----------------------------------------------------------------------===//
24 
25 /// \brief True if it is specified hidden or a parent package is specified
26 /// as hidden, otherwise false.
isHidden(const Record & R)27 static bool isHidden(const Record &R) {
28   if (R.getValueAsBit("Hidden"))
29     return true;
30   // Not declared as hidden, check the parent package if it is hidden.
31   if (DefInit *DI = dynamic_cast<DefInit*>(R.getValueInit("ParentPackage")))
32     return isHidden(*DI->getDef());
33 
34   return false;
35 }
36 
isCheckerNamed(const Record * R)37 static bool isCheckerNamed(const Record *R) {
38   return !R->getValueAsString("CheckerName").empty();
39 }
40 
41 static std::string getPackageFullName(const Record *R);
42 
getParentPackageFullName(const Record * R)43 static std::string getParentPackageFullName(const Record *R) {
44   std::string name;
45   if (DefInit *DI = dynamic_cast<DefInit*>(R->getValueInit("ParentPackage")))
46     name = getPackageFullName(DI->getDef());
47   return name;
48 }
49 
getPackageFullName(const Record * R)50 static std::string getPackageFullName(const Record *R) {
51   std::string name = getParentPackageFullName(R);
52   if (!name.empty()) name += ".";
53   return name + R->getValueAsString("PackageName");
54 }
55 
getCheckerFullName(const Record * R)56 static std::string getCheckerFullName(const Record *R) {
57   std::string name = getParentPackageFullName(R);
58   if (isCheckerNamed(R)) {
59     if (!name.empty()) name += ".";
60     name += R->getValueAsString("CheckerName");
61   }
62   return name;
63 }
64 
getStringValue(const Record & R,StringRef field)65 static std::string getStringValue(const Record &R, StringRef field) {
66   if (StringInit *
67         SI = dynamic_cast<StringInit*>(R.getValueInit(field)))
68     return SI->getValue();
69   return std::string();
70 }
71 
72 namespace {
73 struct GroupInfo {
74   llvm::DenseSet<const Record*> Checkers;
75   llvm::DenseSet<const Record *> SubGroups;
76   bool Hidden;
77   unsigned Index;
78 
GroupInfo__anon02d414c80111::GroupInfo79   GroupInfo() : Hidden(false) { }
80 };
81 }
82 
addPackageToCheckerGroup(const Record * package,const Record * group,llvm::DenseMap<const Record *,GroupInfo * > & recordGroupMap)83 static void addPackageToCheckerGroup(const Record *package, const Record *group,
84                   llvm::DenseMap<const Record *, GroupInfo *> &recordGroupMap) {
85   llvm::DenseSet<const Record *> &checkers = recordGroupMap[package]->Checkers;
86   for (llvm::DenseSet<const Record *>::iterator
87          I = checkers.begin(), E = checkers.end(); I != E; ++I)
88     recordGroupMap[group]->Checkers.insert(*I);
89 
90   llvm::DenseSet<const Record *> &subGroups = recordGroupMap[package]->SubGroups;
91   for (llvm::DenseSet<const Record *>::iterator
92          I = subGroups.begin(), E = subGroups.end(); I != E; ++I)
93     addPackageToCheckerGroup(*I, group, recordGroupMap);
94 }
95 
96 namespace clang {
EmitClangSACheckers(RecordKeeper & Records,raw_ostream & OS)97 void EmitClangSACheckers(RecordKeeper &Records, raw_ostream &OS) {
98   std::vector<Record*> checkers = Records.getAllDerivedDefinitions("Checker");
99   llvm::DenseMap<const Record *, unsigned> checkerRecIndexMap;
100   for (unsigned i = 0, e = checkers.size(); i != e; ++i)
101     checkerRecIndexMap[checkers[i]] = i;
102 
103   // Invert the mapping of checkers to package/group into a one to many
104   // mapping of packages/groups to checkers.
105   std::map<std::string, GroupInfo> groupInfoByName;
106   llvm::DenseMap<const Record *, GroupInfo *> recordGroupMap;
107 
108   std::vector<Record*> packages = Records.getAllDerivedDefinitions("Package");
109   for (unsigned i = 0, e = packages.size(); i != e; ++i) {
110     Record *R = packages[i];
111     std::string fullName = getPackageFullName(R);
112     if (!fullName.empty()) {
113       GroupInfo &info = groupInfoByName[fullName];
114       info.Hidden = isHidden(*R);
115       recordGroupMap[R] = &info;
116     }
117   }
118 
119   std::vector<Record*>
120       checkerGroups = Records.getAllDerivedDefinitions("CheckerGroup");
121   for (unsigned i = 0, e = checkerGroups.size(); i != e; ++i) {
122     Record *R = checkerGroups[i];
123     std::string name = R->getValueAsString("GroupName");
124     if (!name.empty()) {
125       GroupInfo &info = groupInfoByName[name];
126       recordGroupMap[R] = &info;
127     }
128   }
129 
130   for (unsigned i = 0, e = checkers.size(); i != e; ++i) {
131     Record *R = checkers[i];
132     Record *package = 0;
133     if (DefInit *
134           DI = dynamic_cast<DefInit*>(R->getValueInit("ParentPackage")))
135       package = DI->getDef();
136     if (!isCheckerNamed(R) && !package)
137       throw "Checker '" + R->getName() + "' is neither named, nor in a package!";
138 
139     if (isCheckerNamed(R)) {
140       // Create a pseudo-group to hold this checker.
141       std::string fullName = getCheckerFullName(R);
142       GroupInfo &info = groupInfoByName[fullName];
143       info.Hidden = R->getValueAsBit("Hidden");
144       recordGroupMap[R] = &info;
145       info.Checkers.insert(R);
146     } else {
147       recordGroupMap[package]->Checkers.insert(R);
148     }
149 
150     Record *currR = isCheckerNamed(R) ? R : package;
151     // Insert the checker and its parent packages into the subgroups set of
152     // the corresponding parent package.
153     while (DefInit *DI
154              = dynamic_cast<DefInit*>(currR->getValueInit("ParentPackage"))) {
155       Record *parentPackage = DI->getDef();
156       recordGroupMap[parentPackage]->SubGroups.insert(currR);
157       currR = parentPackage;
158     }
159     // Insert the checker into the set of its group.
160     if (DefInit *DI = dynamic_cast<DefInit*>(R->getValueInit("Group")))
161       recordGroupMap[DI->getDef()]->Checkers.insert(R);
162   }
163 
164   // If a package is in group, add all its checkers and its sub-packages
165   // checkers into the group.
166   for (unsigned i = 0, e = packages.size(); i != e; ++i)
167     if (DefInit *DI = dynamic_cast<DefInit*>(packages[i]->getValueInit("Group")))
168       addPackageToCheckerGroup(packages[i], DI->getDef(), recordGroupMap);
169 
170   typedef std::map<std::string, const Record *> SortedRecords;
171   typedef llvm::DenseMap<const Record *, unsigned> RecToSortIndex;
172 
173   SortedRecords sortedGroups;
174   RecToSortIndex groupToSortIndex;
175   OS << "\n#ifdef GET_GROUPS\n";
176   {
177     for (unsigned i = 0, e = checkerGroups.size(); i != e; ++i)
178       sortedGroups[checkerGroups[i]->getValueAsString("GroupName")]
179                    = checkerGroups[i];
180 
181     unsigned sortIndex = 0;
182     for (SortedRecords::iterator
183            I = sortedGroups.begin(), E = sortedGroups.end(); I != E; ++I) {
184       const Record *R = I->second;
185 
186       OS << "GROUP(" << "\"";
187       OS.write_escaped(R->getValueAsString("GroupName")) << "\"";
188       OS << ")\n";
189 
190       groupToSortIndex[R] = sortIndex++;
191     }
192   }
193   OS << "#endif // GET_GROUPS\n\n";
194 
195   OS << "\n#ifdef GET_PACKAGES\n";
196   {
197     SortedRecords sortedPackages;
198     for (unsigned i = 0, e = packages.size(); i != e; ++i)
199       sortedPackages[getPackageFullName(packages[i])] = packages[i];
200 
201     for (SortedRecords::iterator
202            I = sortedPackages.begin(), E = sortedPackages.end(); I != E; ++I) {
203       const Record &R = *I->second;
204 
205       OS << "PACKAGE(" << "\"";
206       OS.write_escaped(getPackageFullName(&R)) << "\", ";
207       // Group index
208       if (DefInit *DI = dynamic_cast<DefInit*>(R.getValueInit("Group")))
209         OS << groupToSortIndex[DI->getDef()] << ", ";
210       else
211         OS << "-1, ";
212       // Hidden bit
213       if (isHidden(R))
214         OS << "true";
215       else
216         OS << "false";
217       OS << ")\n";
218     }
219   }
220   OS << "#endif // GET_PACKAGES\n\n";
221 
222   OS << "\n#ifdef GET_CHECKERS\n";
223   for (unsigned i = 0, e = checkers.size(); i != e; ++i) {
224     const Record &R = *checkers[i];
225 
226     OS << "CHECKER(" << "\"";
227     std::string name;
228     if (isCheckerNamed(&R))
229       name = getCheckerFullName(&R);
230     OS.write_escaped(name) << "\", ";
231     OS << R.getName() << ", ";
232     OS << getStringValue(R, "DescFile") << ", ";
233     OS << "\"";
234     OS.write_escaped(getStringValue(R, "HelpText")) << "\", ";
235     // Group index
236     if (DefInit *DI = dynamic_cast<DefInit*>(R.getValueInit("Group")))
237       OS << groupToSortIndex[DI->getDef()] << ", ";
238     else
239       OS << "-1, ";
240     // Hidden bit
241     if (isHidden(R))
242       OS << "true";
243     else
244       OS << "false";
245     OS << ")\n";
246   }
247   OS << "#endif // GET_CHECKERS\n\n";
248 
249   unsigned index = 0;
250   for (std::map<std::string, GroupInfo>::iterator
251          I = groupInfoByName.begin(), E = groupInfoByName.end(); I != E; ++I)
252     I->second.Index = index++;
253 
254   // Walk through the packages/groups/checkers emitting an array for each
255   // set of checkers and an array for each set of subpackages.
256 
257   OS << "\n#ifdef GET_MEMBER_ARRAYS\n";
258   unsigned maxLen = 0;
259   for (std::map<std::string, GroupInfo>::iterator
260          I = groupInfoByName.begin(), E = groupInfoByName.end(); I != E; ++I) {
261     maxLen = std::max(maxLen, (unsigned)I->first.size());
262 
263     llvm::DenseSet<const Record *> &checkers = I->second.Checkers;
264     if (!checkers.empty()) {
265       OS << "static const short CheckerArray" << I->second.Index << "[] = { ";
266       // Make the output order deterministic.
267       std::map<int, const Record *> sorted;
268       for (llvm::DenseSet<const Record *>::iterator
269              I = checkers.begin(), E = checkers.end(); I != E; ++I)
270         sorted[(*I)->getID()] = *I;
271 
272       for (std::map<int, const Record *>::iterator
273              I = sorted.begin(), E = sorted.end(); I != E; ++I)
274         OS << checkerRecIndexMap[I->second] << ", ";
275       OS << "-1 };\n";
276     }
277 
278     llvm::DenseSet<const Record *> &subGroups = I->second.SubGroups;
279     if (!subGroups.empty()) {
280       OS << "static const short SubPackageArray" << I->second.Index << "[] = { ";
281       // Make the output order deterministic.
282       std::map<int, const Record *> sorted;
283       for (llvm::DenseSet<const Record *>::iterator
284              I = subGroups.begin(), E = subGroups.end(); I != E; ++I)
285         sorted[(*I)->getID()] = *I;
286 
287       for (std::map<int, const Record *>::iterator
288              I = sorted.begin(), E = sorted.end(); I != E; ++I) {
289         OS << recordGroupMap[I->second]->Index << ", ";
290       }
291       OS << "-1 };\n";
292     }
293   }
294   OS << "#endif // GET_MEMBER_ARRAYS\n\n";
295 
296   OS << "\n#ifdef GET_CHECKNAME_TABLE\n";
297   for (std::map<std::string, GroupInfo>::iterator
298          I = groupInfoByName.begin(), E = groupInfoByName.end(); I != E; ++I) {
299     // Group option string.
300     OS << "  { \"";
301     OS.write_escaped(I->first) << "\","
302                                << std::string(maxLen-I->first.size()+1, ' ');
303 
304     if (I->second.Checkers.empty())
305       OS << "0, ";
306     else
307       OS << "CheckerArray" << I->second.Index << ", ";
308 
309     // Subgroups.
310     if (I->second.SubGroups.empty())
311       OS << "0, ";
312     else
313       OS << "SubPackageArray" << I->second.Index << ", ";
314 
315     OS << (I->second.Hidden ? "true" : "false");
316 
317     OS << " },\n";
318   }
319   OS << "#endif // GET_CHECKNAME_TABLE\n\n";
320 }
321 } // end namespace clang
322