Skip to content

Issues: secure-software-engineering/phasar

Beta
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
53 Open 726 Closed
53 Open 726 Closed
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
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Example Programs documentation usability
#774 opened May 25, 2025 by fabianbs96 Loading… updated Jun 15, 2025 PhASAR 2510
@fabianbs96
Modernize UninitializedVariables Analysis refactoring technical debt
#616 opened May 3, 2023 by fabianbs96 • Draft updated Jun 9, 2025 PhASAR 2603
@fabianbs96
LLVM > 15 blocked A prerequisite for this ticket prevents it from being worked on dependencies Pull requests that update a dependency file technical debt
#780 opened Jun 9, 2025 by fabianbs96 updated Jun 9, 2025 PhASAR 2603
Better CallGraph enhancement New feature or request
#779 opened Jun 9, 2025 by fabianbs96 updated Jun 9, 2025
5 tasks
PhASAR 2510
Own CI environment is required due to 20.04 brownout and outdated swift toolchain.
#750 opened Feb 18, 2025 by jusito updated Jun 9, 2025 PhASAR 2510
1
IDE Solver Consolidation cleanup extensive Bigger piece of work technical debt
#735 opened Oct 21, 2024 by fabianbs96 updated Jun 9, 2025 PhASAR 2603
2
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 updated Jun 9, 2025 PhASAR 2603
@fabianbs96
2
C++20 refactoring usability
#734 opened Oct 21, 2024 by fabianbs96 updated Jun 9, 2025 PhASAR 2603
DI-based Unittests technical debt testing
#778 opened Jun 9, 2025 by fabianbs96 updated Jun 9, 2025
2 tasks
PhASAR 2510
Update Code Formatter technical debt
#756 opened Mar 13, 2025 by fabianbs96 updated Jun 9, 2025 PhASAR 2603
Remove Boost Graph cleanup refactoring
#547 opened Dec 5, 2022 by sritejakv updated Jun 9, 2025
2 tasks
PhASAR 2603
@sritejakv
Field Sensitivity for general IFDS/IDE analyses enhancement New feature or request extensive Bigger piece of work
#777 opened Jun 9, 2025 by fabianbs96 updated Jun 9, 2025
3 tasks
PhASAR 2510
Fix Type-based Call-Graphs with Multiple Inheritance bug Something isn't working
#776 opened Jun 7, 2025 by fabianbs96 Loading… updated Jun 9, 2025 PhASAR 2510
@fabianbs96
Added c++ 20 modules support
#775 opened May 28, 2025 by mxHuber Loading… updated Jun 9, 2025 PhASAR 2510
Misc Changes bug Something isn't working enhancement New feature or request
#773 opened May 25, 2025 by fabianbs96 Loading… updated Jun 9, 2025 PhASAR 2510
@fabianbs96
5 tests fail bug Something isn't working freebsd
#761 opened Mar 16, 2025 by yurivict updated Jun 9, 2025 PhASAR 2510
1
Testing Conan Integration in CI blocked A prerequisite for this ticket prevents it from being worked on technical debt
#745 opened Feb 7, 2025 by fabianbs96 updated Feb 7, 2025
Stable ICFG Export enhancement New feature or request technical debt
#741 opened Dec 15, 2024 by fabianbs96 updated Dec 15, 2024
Swift Taint Tests enhancement New feature or request extensive Bigger piece of work
#592 opened Feb 24, 2023 by janniclas • Draft updated Nov 10, 2024
@janniclas
7
Make Compose and Join optional in EdgeFunction
#736 opened Oct 21, 2024 by fabianbs96 • Draft updated Oct 22, 2024
@fabianbs96
Added a uninit variables analysis with indexes
#732 opened Sep 24, 2024 by StamesJames Loading… updated Oct 21, 2024
3
Indices in uninit variables analysis enhancement New feature or request
#720 opened Apr 29, 2024 by StamesJames updated Sep 8, 2024
3
Dataflow facts disappear when using PropagateOntoStrategy in backward analysis
#729 opened Jul 4, 2024 by yuffon updated Aug 24, 2024
3
IDE Solver Strategy enhancement New feature or request
#669 opened Sep 21, 2023 by fabianbs96 Loading… updated Jul 2, 2024
@fabianbs96
4
Phasar does not support exit() as exit points when calling getAllExitPoints()
#728 opened Jun 28, 2024 by yuffon updated Jul 2, 2024
2
ProTip! Mix and match filters to narrow down what you’re looking for.