-
Notifications
You must be signed in to change notification settings - Fork 136
Issues: mchalupa/dg
Incorrect slicing of functions ending with a
noreturn
call.
#418
opened Nov 23, 2021 by
lzaoral
Open
1
Crash and Assertion `use_empty() && "Uses remain when a valu...
#445
opened Jul 19, 2022 by
Clingto
Open
4
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
It there any way to preserve instructions depends on or depended by sliced criterions?
question
#456
opened Dec 4, 2023 by
XChy
Can DG only do data dependency analysis without program slicing?
question
#452
opened May 2, 2023 by
wangteng13
Is data-dependence analysis driven by self-defined pointer analysis or SVF?
question
#451
opened Dec 20, 2022 by
for-just-we
Please update SVFPointerAnalysis.h in dg due to SVF updated.
#447
opened Aug 1, 2022 by
wliuxingxiangyu
Crash and Assertion `use_empty() && "Uses remain when a value is destroyed!"' failed.
bug
#445
opened Jul 19, 2022 by
Clingto
Previous Next
ProTip!
no:milestone will show everything without a milestone.