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
Sort

Pull requests list

Pull in the IDESolver++ (aka. IterativeIDESolver) enhancement New feature or request extensive Bigger piece of work
#733 opened Sep 26, 2024 by fabianbs96 Loading…
Added a uninit variables analysis with indexes
#732 opened Sep 24, 2024 by StamesJames Loading…
Opaque Pointers Integration extensive Bigger piece of work refactoring technical debt
#730 opened Aug 6, 2024 by fabianbs96 Loading…
Filtered AliasSet
#723 opened May 10, 2024 by fabianbs96 Loading…
Sparse IDE enhancement New feature or request
#714 opened Apr 7, 2024 by fabianbs96 Draft
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
Swift Taint Tests enhancement New feature or request extensive Bigger piece of work
#592 opened Feb 24, 2023 by janniclas Loading…
Conan migration dependencies Pull requests that update a dependency file enhancement New feature or request extensive Bigger piece of work
#516 opened Aug 24, 2022 by jusito Draft
1 of 7 tasks
ProTip! Mix and match filters to narrow down what you’re looking for.