-
Notifications
You must be signed in to change notification settings - Fork 435
Issues: SVF-tools/SVF
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
SVF seems to be incomplete when dealing with virtual calls.
cpp-issue
#1301
opened Dec 25, 2023 by
Lqs66
Why does the --vcall-cha option not work when generating icfg?
cpp-issue
#1298
opened Dec 22, 2023 by
Lqs66
Is there a way for SVF to get the vitrual function callsite and all possible call targets on the IR?
#1294
opened Dec 21, 2023 by
Lqs66
SVFG does not use indirect call edges to join formal and actual parameters
#1279
opened Dec 11, 2023 by
acidghost
How does SVF handle forced type conversions for functions as arguments
#1278
opened Dec 11, 2023 by
Ehu1
How to know whether the current pointer points to some global variable?
#1270
opened Dec 5, 2023 by
yuffon
Getting StmtVFGNode from FormalParmVFGNode nodes for value flow in function arguments
#1254
opened Nov 22, 2023 by
Qcloud1223
loop does not terminate in debug mode, but terminates in release mode.
#1236
opened Oct 29, 2023 by
yuffon
Question: why there is two different function definition for getSVFFunction?
#1225
opened Oct 14, 2023 by
overlorde
Question: Is it possible to make callgraph with only direct calls (without the pointer analysis) with svf?
#1200
opened Sep 24, 2023 by
overlorde
Question: Determine if a
GepObjVar
has a constant field index
#1198
opened Sep 12, 2023 by
r-tamura-intern
AddressSanitizer + struct allocated on stack with function pointer field
#1180
opened Aug 30, 2023 by
acidghost
ProTip!
Add no:assignee to see everything that’s not assigned.