Callee.cpp File Reference

Detailed Description

Code for instrumenting function calls (callee context).

Definition in file Callee.cpp.

#include "Automaton.h"
#include "Callee.h"
#include "Instrumentation.h"
#include "Manifest.h"
#include "Names.h"
#include "State.h"
#include "Transition.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/IR/Function.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/IRBuilder.h"
#include "llvm/IR/Module.h"
#include "llvm/Support/InstIterator.h"

Include dependency graph for Callee.cpp:

Go to the source code of this file.

Namespaces
namespace	tesla