Pull requests: secure-software-engineering/phasar
Pull requests list
IDE Solver Strategy
enhancement
New feature or request
#669
opened Sep 21, 2023 by
fabianbs96
Loading…
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
•
Draft
Modernize UninitializedVariables Analysis
refactoring
technical debt
#616
opened May 3, 2023 by
fabianbs96
•
Draft
Update LLVM to 16
blocked
A prerequisite for this ticket prevents it from being worked on
dependencies
Pull requests that update a dependency file
question
Further information is requested
#793
opened Sep 8, 2025 by
fabianbs96
Loading…
VTA Callgraph
blocked
A prerequisite for this ticket prevents it from being worked on
enhancement
New feature or request
#794
opened Sep 14, 2025 by
fabianbs96
Loading…
Alias Iterator
enhancement
New feature or request
usability
#783
opened Jun 28, 2025 by
fabianbs96
Loading…
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.