Support ServiceLoader
Opened this issue · 0 comments
errt commented
ServiceLoader is a feature that dynamically loads and instantiates classes reflectively based on a declarative specification in either Jar files' manifest or module-info files. As such, it should be supported in order to ensure soundness of our analyses, in particular call graph analyses.