clang  3.9.0
ModelInjector.h
Go to the documentation of this file.
1 //===-- ModelInjector.h -----------------------------------------*- 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 /// \file
11 /// \brief This file defines the clang::ento::ModelInjector class which implements the
12 /// clang::CodeInjector interface. This class is responsible for injecting
13 /// function definitions that were synthesized from model files.
14 ///
15 /// Model files allow definitions of functions to be lazily constituted for functions
16 /// which lack bodies in the original source code. This allows the analyzer
17 /// to more precisely analyze code that calls such functions, analyzing the
18 /// artificial definitions (which typically approximate the semantics of the
19 /// called function) when called by client code. These definitions are
20 /// reconstituted lazily, on-demand, by the static analyzer engine.
21 ///
22 //===----------------------------------------------------------------------===//
23 
24 #ifndef LLVM_CLANG_SA_FRONTEND_MODELINJECTOR_H
25 #define LLVM_CLANG_SA_FRONTEND_MODELINJECTOR_H
26 
28 #include "llvm/ADT/IntrusiveRefCntPtr.h"
29 #include "llvm/ADT/StringMap.h"
30 #include <map>
31 #include <memory>
32 #include <vector>
33 
34 namespace clang {
35 
36 class CompilerInstance;
37 class ASTUnit;
38 class ASTReader;
39 class NamedDecl;
40 class Module;
41 
42 namespace ento {
43 class ModelInjector : public CodeInjector {
44 public:
46  Stmt *getBody(const FunctionDecl *D) override;
47  Stmt *getBody(const ObjCMethodDecl *D) override;
48 
49 private:
50  /// \brief Synthesize a body for a declaration
51  ///
52  /// This method first looks up the appropriate model file based on the
53  /// model-path configuration option and the name of the declaration that is
54  /// looked up. If no model were synthesized yet for a function with that name
55  /// it will create a new compiler instance to parse the model file using the
56  /// ASTContext, Preprocessor, SourceManager of the original compiler instance.
57  /// The former resources are shared between the two compiler instance, so the
58  /// newly created instance have to "leak" these objects, since they are owned
59  /// by the original instance.
60  ///
61  /// The model-path should be either an absolute path or relative to the
62  /// working directory of the compiler.
63  void onBodySynthesis(const NamedDecl *D);
64 
65  CompilerInstance &CI;
66 
67  // FIXME: double memoization is redundant, with memoization both here and in
68  // BodyFarm.
69  llvm::StringMap<Stmt *> Bodies;
70 };
71 }
72 }
73 
74 #endif
FunctionDecl - An instance of this class is created to represent a function declaration or definition...
Definition: Decl.h:1561
ObjCMethodDecl - Represents an instance or class method declaration.
Definition: DeclObjC.h:113
Defines the clang::CodeInjector interface which is responsible for injecting AST of function definiti...
Stmt * getBody(const FunctionDecl *D) override
CompilerInstance - Helper class for managing a single instance of the Clang compiler.
CodeInjector is an interface which is responsible for injecting AST of function definitions that may ...
Definition: CodeInjector.h:36
NamedDecl - This represents a decl with a name.
Definition: Decl.h:213
ModelInjector(CompilerInstance &CI)