Code for instrumenting function calls (caller context).
Definition in file Caller.cpp.
#include "Caller.h"#include "Manifest.h"#include "Names.h"#include "State.h"#include "Transition.h"#include "llvm/IR/Instructions.h"#include "llvm/IR/IRBuilder.h"#include "llvm/IR/Module.h"#include "llvm/Support/raw_ostream.h"
 Include dependency graph for Caller.cpp:Go to the source code of this file.
Namespaces | |
| namespace | tesla |