Skip to content

Conversation

fabianbs96
Copy link
Member

@fabianbs96 fabianbs96 commented Jun 28, 2025

Provides some improvements in handling aliases and pointers:

  • Adds AliasIterator, a new, minimal interface for providing alias-information that is more lightweight than AliasInfo
  • Adds PointsToIterator, similar to AliasIterator, for points-to information
  • Integrate PointsToIterator with SVF points-to info (currently supporting SVF 3.0)
  • Integrate LLVM IR-level AliasInfo with alias information from SVF's ContextDDA analysis (currently supporting SVF 3.0)
  • Integrate the new AliasIterator and PointsToIterator with the default IFDS/IDE flow-functions
  • Splits FilteredLLVMAliasSet into FilteredLLVMAliasIterator and CachedLLVMAliasIterator

@fabianbs96 fabianbs96 self-assigned this Jun 28, 2025
@fabianbs96 fabianbs96 added enhancement New feature or request usability labels Jun 28, 2025
@fabianbs96 fabianbs96 marked this pull request as ready for review June 28, 2025 10:36
@fabianbs96 fabianbs96 requested a review from MMory as a code owner June 28, 2025 10:36
@fabianbs96 fabianbs96 requested a review from sritejakv June 28, 2025 10:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request usability
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant