rohanpadhye / vasco

An inter-procedural data-flow analysis framework using value-based context sensitivity
GNU Lesser General Public License v2.1
89 stars 35 forks source link

Fixed Error in Edge creation #5

Closed SushmitaNikose closed 7 years ago

SushmitaNikose commented 7 years ago

VASCO's PointsToAnalysis generates callsites that does not invoke any function. Thus while creating CallGraph edge program does not find callsite as Invoke Expression and throws exception. So changes suggests that if there is presence of Invoke Expression then only edge will be created.