clang 20.0.0git
Classes | Namespaces
ModelInjector.h File Reference

This file defines the clang::ento::ModelInjector class which implements the clang::CodeInjector interface. More...

#include "clang/Analysis/CodeInjector.h"
#include "llvm/ADT/StringMap.h"

Go to the source code of this file.

Classes

class  clang::ento::ModelInjector
 

Namespaces

namespace  clang
 The JSON file list parser is used to communicate input to InstallAPI.
 
namespace  clang::ento
 

Detailed Description

This file defines the clang::ento::ModelInjector class which implements the clang::CodeInjector interface.

This class is responsible for injecting function definitions that were synthesized from model files.

Model files allow definitions of functions to be lazily constituted for functions which lack bodies in the original source code. This allows the analyzer to more precisely analyze code that calls such functions, analyzing the artificial definitions (which typically approximate the semantics of the called function) when called by client code. These definitions are reconstituted lazily, on-demand, by the static analyzer engine.

Definition in file ModelInjector.h.