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

Unable to build use-phasar-as-library example, phasar_FOUND set to false
#531 opened Nov 1, 2022 by icmccorm
6 of 7 tasks
@fabianbs96
11
Can Phasar be used to identify control-dependent instructions
#685 opened Nov 22, 2023 by Mohannadcse
6
Dataflow facts vanish after function call using PropagateOnto strategy bug Something isn't working
#679 opened Nov 14, 2023 by yuffon
5
stdio type state analysis has a bug? bug Something isn't working
#650 opened Aug 2, 2023 by small-cat
5 of 7 tasks
5
Analysis not finnishing
#676 opened Oct 31, 2023 by StamesJames
4 of 8 tasks
4
IDE Solver Strategy enhancement New feature or request
#669 opened Sep 21, 2023 by fabianbs96 Loading…
@fabianbs96
4
Added a uninit variables analysis with indexes
#732 opened Sep 24, 2024 by StamesJames Loading…
3
Dataflow facts disappear when using PropagateOntoStrategy in backward analysis
#729 opened Jul 4, 2024 by yuffon
3
Indices in uninit variables analysis enhancement New feature or request
#720 opened Apr 29, 2024 by StamesJames
3
Tutorial (https://phasar.org/tutorial/) doesn't explain how to run Phasar
#716 opened Apr 14, 2024 by yurivict
3
Phasar conflicts with the pre-installed nlohmann-json during the run-time
#715 opened Apr 14, 2024 by yurivict
4 of 9 tasks
3
Swift Taint Tests enhancement New feature or request extensive Bigger piece of work
#592 opened Feb 24, 2023 by janniclas • Draft
@janniclas
7
phasar installs files from googletest, nlohmann json done-elsewhere This is taken care of in a different PR
#566 opened Jan 15, 2023 by yurivict
3
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
@jusito
18
Is there a tutorial for taint analysis? documentation
#481 opened Jan 14, 2022 by Radon10043
3
AddData in ProfileData.cc crashes computeFunctionsPointsToSet using CFLSteens external bug A bug in depending code
#329 opened Apr 18, 2021 by blipper
@vulder @MMory
3
Parallelize LLVMPointsToSet blocked A prerequisite for this ticket prevents it from being worked on external contribution appreciated A good issue for contribution outside of the SSE group
#305 opened Apr 15, 2021 by blipper
3
IDE Solver Consolidation cleanup extensive Bigger piece of work technical debt
#735 opened Oct 21, 2024 by fabianbs96 PhASAR 2603
2
Phasar does not support exit() as exit points when calling getAllExitPoints()
#728 opened Jun 28, 2024 by yuffon
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 PhASAR 2603
@fabianbs96
2
Standardized on D versus d_t for Dataflow Fact check for relevance Needs check whether this issue is still relevant and if so what to do about it good first issue Good for newcomers
#415 opened Aug 24, 2021 by blipper
2
Unit Tests compareResults numeric ID based ground truth values are fragile extensive Bigger piece of work
#328 opened Apr 18, 2021 by blipper
@meret-boe
2
Add/implement isReachable()/pathsTo() for control flow check for relevance Needs check whether this issue is still relevant and if so what to do about it
#321 opened Apr 17, 2021 by blipper
@MMory
2
Clearly document the OpenSSL version required check for relevance Needs check whether this issue is still relevant and if so what to do about it
#320 opened Apr 17, 2021 by blipper
@pdschubert @meret-boe
2
5 tests fail bug Something isn't working freebsd
#761 opened Mar 16, 2025 by yurivict PhASAR 2510
1
ProTip! no:milestone will show everything without a milestone.