Skip to content

Pull requests: secure-software-engineering/phasar

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

F src based unittests
#789 opened Aug 18, 2025 by mxHuber Draft
Remove boost from BitVectorSet technical debt
#788 opened Aug 9, 2025 by fabianbs96 Loading…
GCC Compatibility bug Something isn't working technical debt
#787 opened Aug 3, 2025 by fabianbs96 Loading…
Update dependencies dependencies Pull requests that update a dependency file
#784 opened Jun 28, 2025 by fabianbs96 Loading…
Alias Iterator enhancement New feature or request usability
#783 opened Jun 28, 2025 by fabianbs96 Loading…
Added a uninit variables analysis with indexes
#732 opened Sep 24, 2024 by StamesJames Loading…
Windows support
#695 opened Dec 12, 2023 by fabianbs96 Draft
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 PhASAR 2603
Swift Taint Tests enhancement New feature or request extensive Bigger piece of work
#592 opened Feb 24, 2023 by janniclas Draft
ProTip! no:milestone will show everything without a milestone.