Guidance on using the analysis tool for type resolution #2
Description
I hope this message finds you well. I am currently exploring the code from this project that involves generating call graphs for software analysis. My work specifically focuses on the challenges of type resolution.
Despite going through the available documentation and examples, I've found it somewhat challenging to understand how to leverage this tool in the context of type resolution.
Specifically, I'm interested in:
- Any existing functionality within the tool that facilitates type resolution.
- Recommendations for extending this tool to support type resolution, if necessary.