Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/SVF-tools/SVF
/ AbsExtAPI
Method
AbsExtAPI
svf/lib/AE/Svfexe/AbsExtAPI.cpp:35–40 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
33
34
using namespace SVF;
35
AbsExtAPI::AbsExtAPI(AbstractInterpretation* ae): ae(ae)
36
{
37
svfir = PAG::getPAG();
38
icfg = svfir->getICFG();
39
initExtFunMap();
40
}
41
42
void AbsExtAPI::initExtFunMap()
43
{
Callers
nothing calls this directly
Calls
1
getICFG
Method · 0.45
Tested by
no test coverage detected