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

F model dataflow for libraries
#731 opened Aug 23, 2024 by bulletSpace Loading…
Opaque Pointers Integration extensive Bigger piece of work refactoring technical debt
#730 opened Aug 6, 2024 by fabianbs96 Loading…
Split LLVMBasedICFG enhancement New feature or request performance This ticket improves the performance of an existing feature instead of adding a new one refactoring technical debt
#726 opened May 26, 2024 by fabianbs96 Loading…
Refactor getAsJson() refactoring
#725 opened May 20, 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! Exclude everything labeled bug with -label:bug.