Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Use string analysis results for Class.forName reflective calls #214

Draft
wants to merge 63 commits into
base: feature/StringAnalysis
Choose a base branch
from

Conversation

maximilianruesch
Copy link
Collaborator

Uses the results generated in #1 by:

  • Integrating them into the ClassForName reflective call analysis
  • Adding a string analysis demo along with a demo package showcasing the ability of the now integrated analysis to resolve calls across the Apache Xerces Framework

This PR contains some compromises and bugfixes that still need to be ironed out.

@errt errt self-requested a review September 9, 2024 08:28
@maximilianruesch maximilianruesch changed the title Use string analysis results for reflective calls Use string analysis results for Class.forName reflective calls Sep 12, 2024
@maximilianruesch maximilianruesch marked this pull request as ready for review September 24, 2024 10:08
@maximilianruesch maximilianruesch marked this pull request as draft September 24, 2024 10:34
@maximilianruesch
Copy link
Collaborator Author

This PR will still fail unit (and probably integration) tests since some computation for StringConstancy is missing (often times in the call graph computations that depend on the ClassForName analysis.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant