-
Notifications
You must be signed in to change notification settings - Fork 15
/
yocto_attach.cpp
98 lines (78 loc) · 3.58 KB
/
yocto_attach.cpp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
/**
* @file yocto_attach.cpp
* @brief check if there is an `assert_one_yocto` in privilege function
*
*/
#include "near_core.h"
#include <fstream>
#include <set>
#include "llvm/IR/BasicBlock.h"
#include "llvm/IR/DebugInfoMetadata.h"
#include "llvm/IR/DebugLoc.h"
#include "llvm/IR/Function.h"
#include "llvm/IR/LegacyPassManager.h"
#include "llvm/Pass.h"
#include "llvm/Support/FileSystem.h"
#include "llvm/Support/Regex.h"
#include "llvm/Support/raw_ostream.h"
#include "llvm/Transforms/IPO/PassManagerBuilder.h"
namespace {
struct YoctoAttach : public llvm::ModulePass {
static char ID;
private:
llvm::raw_fd_ostream *os = nullptr;
std::set<std::string> callbacks;
public:
YoctoAttach() : ModulePass(ID) {
std::error_code EC;
os = new llvm::raw_fd_ostream(std::string(getenv("TMP_DIR")) + std::string("/.yocto-attach.tmp"), EC, llvm::sys::fs::OpenFlags::OF_Append);
std::ifstream is;
is.open(Rustle::callback_file);
std::string callbackLine;
while (is >> callbackLine) {
callbacks.insert(callbackLine.substr(0, callbackLine.find('@')));
}
is.close();
}
~YoctoAttach() { os->close(); }
bool runOnModule(llvm::Module &M) override {
using namespace llvm;
CallGraph CG(M);
for (auto &F : M.functions()) {
StringRef funcFileName;
if (!Rustle::debug_check_all_func && Rustle::regexForLibFunc.match(F.getName()))
continue;
if (callbacks.count(F.getName().str())) // skip callback functions
return false;
if (Rustle::debug_print_function)
Rustle::Logger().Debug("Checking function ", F.getName());
if (Rustle::isFuncPrivileged(&F)) { // is privilege function, check assert_one_yocto usage
bool foundYoctoCheck = false;
for (BasicBlock &BB : F) {
for (Instruction &I : BB) {
if (!I.getDebugLoc().get() || Rustle::regexForLibLoc.match(I.getDebugLoc().get()->getFilename()))
continue;
if (funcFileName.empty())
if (I.getDebugLoc().get())
funcFileName = I.getDebugLoc().get()->getFilename();
Regex const static regex_assert_yocto = Regex("near_sdk[0-9]+utils[0-9]+assert_one_yocto");
if (Rustle::isInstCallFuncRec(&I, CG, regex_assert_yocto)) {
Rustle::Logger().Info("Found yocto check for function ", F.getName(), " at ", I.getDebugLoc());
foundYoctoCheck = true;
break;
}
}
}
if (!foundYoctoCheck) {
Rustle::Logger().Warning("No yocto check for function ", F.getName());
*os << F.getName() << "@" << funcFileName << "\n";
}
}
}
return false;
}
};
} // namespace
char YoctoAttach::ID = 0;
static llvm::RegisterPass<YoctoAttach> X("yocto-attach", "", false /* Only looks at CFG */, false /* Analysis Pass */);
static llvm::RegisterStandardPasses Y(llvm::PassManagerBuilder::EP_EarlyAsPossible, [](const llvm::PassManagerBuilder &builder, llvm::legacy::PassManagerBase &PM) { PM.add(new YoctoAttach()); });