Skip to content

Issues: secure-software-engineering/phasar

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

32 Open 154 Closed
32 Open 154 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

IDE Solver Consolidation cleanup technical debt
#735 opened Oct 21, 2024 by fabianbs96
1
C++20 refactoring usability
#734 opened Oct 21, 2024 by fabianbs96
Dataflow facts disappear when using PropagateOntoStrategy in backward analysis
#729 opened Jul 4, 2024 by yuffon
3
Phasar does not support exit() as exit points when calling getAllExitPoints()
#728 opened Jun 28, 2024 by yuffon
2
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
A problem when build call graph in methd
#713 opened Apr 7, 2024 by ms-sky
1
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
Analysis not finnishing
#676 opened Oct 31, 2023 by StamesJames
4 of 8 tasks
4
Simple Taint Analysis example with phasar-cli
#674 opened Oct 19, 2023 by StamesJames
1
Evaluate Profile-Guided Optimization (PGO) and LLVM BOLT performance This ticket improves the performance of an existing feature instead of adding a new one
#668 opened Sep 13, 2023 by zamazan4ik
1
Simple type hierachy analysis produce wrong results bug Something isn't working
#656 opened Aug 9, 2023 by yiyuaner
2 tasks done
1
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
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
stdc++fs isn't needed on FreeBSD
#563 opened Jan 15, 2023 by yurivict
1
CMake Uninstall Target bug Something isn't working cleanup good first issue Good for newcomers tooling usability
#556 opened Jan 6, 2023 by fabianbs96
2 tasks
1
Remove Boost Graph cleanup refactoring
#547 opened Dec 5, 2022 by sritejakv
2 tasks
@sritejakv
Coverage Tracking enhancement New feature or request testing tooling
#540 opened Nov 29, 2022 by fabianbs96
2 tasks
Update Wiki documentation
#538 opened Nov 29, 2022 by fabianbs96
2 tasks
Update or Move phasar.org documentation
#537 opened Nov 29, 2022 by fabianbs96
2 tasks
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
Is there a tutorial for taint analysis? documentation
#481 opened Jan 14, 2022 by Radon10043
3
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
ProTip! Follow long discussions with comments:>50.