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

30 Open 151 Closed
30 Open 151 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

Indices in uninit variables analysis enhancement New feature or request
#720 opened Apr 29, 2024 by StamesJames
2
PointsToInfo.cpp:64:3: error: implicit instantiation of undefined template 'std::vector<const llvm::Value *>'
#718 opened Apr 26, 2024 by yurivict
3 of 9 tasks
2
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
Handling getCalledFunction() method bug Something isn't working good first issue Good for newcomers
#631 opened Jun 16, 2023 by BowenZhang-UST
2 tasks done
3
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
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
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
ProTip! no:milestone will show everything without a milestone.