| 296 | } |
| 297 | |
| 298 | SVFBasicBlock* getSVFBasicBlock(const BasicBlock* bb) |
| 299 | { |
| 300 | LLVMBB2SVFBBMap::const_iterator it = LLVMBB2SVFBB.find(bb); |
| 301 | assert(it!=LLVMBB2SVFBB.end() && "SVF BasicBlock not found!"); |
| 302 | return it->second; |
| 303 | } |
| 304 | |
| 305 | /// Get the corresponding Function based on its name |
| 306 | inline const Function* getFunction(const std::string& name) |
no test coverage detected