Extractor
Home WeChat: cstutorcs QQ: 749389476 #include “Extractor.h” #include “llvm/IR/Instruction.h” void Extractor::initialize(AnalysisMode Mode) { Solver->register_relation(Kill); Solver->register_relation(Gen); Solver->register_relation(Next); Solver->register_relation(In); Solver->register_relation(Out); /* Variables for Rules * You may reuse X, Y, Z in all your rules expressions further down * You can also define more variables like these if you need * These variables are bitvectors of length […]