-
Notifications
You must be signed in to change notification settings - Fork 147
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
LLVM > 15
blocked
A prerequisite for this ticket prevents it from being worked on
dependencies
Pull requests that update a dependency file
technical debt
Field Sensitivity for general IFDS/IDE analyses
enhancement
New feature or request
extensive
Bigger piece of work
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
Stable ICFG Export
enhancement
New feature or request
technical debt
#741
opened Dec 15, 2024 by
fabianbs96
Dataflow facts disappear when using PropagateOntoStrategy in backward analysis
#729
opened Jul 4, 2024 by
yuffon
Phasar does not support exit() as exit points when calling getAllExitPoints()
#728
opened Jun 28, 2024 by
yuffon
Indices in uninit variables analysis
enhancement
New feature or request
#720
opened Apr 29, 2024 by
StamesJames
Tutorial (https://phasar.org/tutorial/) doesn't explain how to run Phasar
#716
opened Apr 14, 2024 by
yurivict
Phasar conflicts with the pre-installed nlohmann-json during the run-time
#715
opened Apr 14, 2024 by
yurivict
4 of 9 tasks
Can Phasar be used to identify control-dependent instructions
#685
opened Nov 22, 2023 by
Mohannadcse
Previous Next
ProTip!
Exclude everything labeled
bug
with -label:bug.