67 lines · c
1//===-- ModelInjector.h -----------------------------------------*- C++ -*-===//2//3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.4// See https://llvm.org/LICENSE.txt for license information.5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception6//7//===----------------------------------------------------------------------===//8///9/// \file10/// This file defines the clang::ento::ModelInjector class which implements the11/// clang::CodeInjector interface. This class is responsible for injecting12/// function definitions that were synthesized from model files.13///14/// Model files allow definitions of functions to be lazily constituted for functions15/// which lack bodies in the original source code. This allows the analyzer16/// to more precisely analyze code that calls such functions, analyzing the17/// artificial definitions (which typically approximate the semantics of the18/// called function) when called by client code. These definitions are19/// reconstituted lazily, on-demand, by the static analyzer engine.20///21//===----------------------------------------------------------------------===//22 23#ifndef LLVM_CLANG_SA_FRONTEND_MODELINJECTOR_H24#define LLVM_CLANG_SA_FRONTEND_MODELINJECTOR_H25 26#include "clang/Analysis/CodeInjector.h"27#include "llvm/ADT/StringMap.h"28 29namespace clang {30 31class CompilerInstance;32class NamedDecl;33 34namespace ento {35class ModelInjector : public CodeInjector {36public:37 ModelInjector(CompilerInstance &CI);38 Stmt *getBody(const FunctionDecl *D) override;39 Stmt *getBody(const ObjCMethodDecl *D) override;40 41private:42 /// Synthesize a body for a declaration43 ///44 /// This method first looks up the appropriate model file based on the45 /// model-path configuration option and the name of the declaration that is46 /// looked up. If no model were synthesized yet for a function with that name47 /// it will create a new compiler instance to parse the model file using the48 /// ASTContext, Preprocessor, SourceManager of the original compiler instance.49 /// The former resources are shared between the two compiler instance, so the50 /// newly created instance have to "leak" these objects, since they are owned51 /// by the original instance.52 ///53 /// The model-path should be either an absolute path or relative to the54 /// working directory of the compiler.55 void onBodySynthesis(const NamedDecl *D);56 57 CompilerInstance &CI;58 59 // FIXME: double memoization is redundant, with memoization both here and in60 // BodyFarm.61 llvm::StringMap<Stmt *> Bodies;62};63}64}65 66#endif67