Pull requests: secure-software-engineering/phasar
Pull requests list
IterIDE Path Tracking
enhancement
New feature or request
#854
opened Aug 10, 2026 by
fabianbs96
Member
Loading…
phasar-cli entry-points
cleanup
technical debt
#853
opened Aug 10, 2026 by
fabianbs96
Member
Loading…
Devirtualize IFDS/IDE Tabulation Problem
breaking changes
Changes in this PR break public APIs. Requires update in BreakingChanges.md
extensive
Bigger piece of work
refactoring
technical debt
#851
opened Jul 18, 2026 by
fabianbs96
Member
Loading…
IDE Solver Strategy
enhancement
New feature or request
#669
opened Sep 21, 2023 by
fabianbs96
Member
Loading…
Modernize UninitializedVariables Analysis
refactoring
technical debt
#616
opened May 3, 2023 by
fabianbs96
Member
•
Draft
Update LLVMBasedAliasAnalysis
blocked
A prerequisite for this ticket prevents it from being worked on
cleanup
external bug
A bug in depending code
#610
opened Apr 14, 2023 by
fabianbs96
Member
•
Draft
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.