Static initializer edges not added to call graph

rohanpadhye / vasco

An inter-procedural data-flow analysis framework using value-based context sensitivity

GNU Lesser General Public License v2.1

88 stars 35 forks source link

Static initializer edges not added to call graph #6

Closed rohanpadhye closed 7 years ago

rohanpadhye commented 7 years ago

PR #5 addressed statements that are call sites but that do not contain invoke expressions. These are in fact statements that are the source of call edges to <clinit> functions representing static initializers for classes. After PR #5, such edges are marked as INVALID and are never added to the callgraph.