Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/SVF-tools/SVF
/ empty
Method
empty
svf-llvm/include/SVF-LLVM/LLVMModule.h:387–390 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
385
}
386
387
bool empty() const
388
{
389
return getModuleNum() == 0;
390
}
391
392
/// Get or create SVFType and typeinfo
393
SVFType* getSVFType(const Type* T);
Callers
15
main
Function · 0.45
traverseOnICFG
Function · 0.45
traverseOnVFG
Function · 0.45
processFunBody
Method · 0.45
addComplexConsForExt
Method · 0.45
getFunReachableBBs
Method · 0.45
functionDoesNotRet
Method · 0.45
restoreFuncName
Method · 0.45
getSourceLoc
Method · 0.45
buildLLVMLoops
Method · 0.45
buildSVFLoops
Method · 0.45
build
Method · 0.45
Calls
no outgoing calls
Tested by
no test coverage detected