Skip to content

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.

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

289 Open 314 Closed
289 Open 314 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

Example program for feeding VFG back into PointerAnalysis?
#1597 opened Nov 20, 2024 by TrivikramAT
1
Questions about exporting CFL graph files
#1596 opened Nov 15, 2024 by yuan2li
1
Basic C++ inheritance test in PTABen does not match expected behavior for DVF or WPA -ander
#1590 opened Nov 7, 2024 by mlevatich
1
Dataflow between a memcpy and a Load is broken in SVFG
#1589 opened Nov 6, 2024 by TrivikramAT
1
False positive of indirenct call in openssl
#1587 opened Nov 4, 2024 by Br1m4zz
3
Unable to get SVFFunction by name
#1586 opened Oct 31, 2024 by pengwinsurf
Wrong result of backward slicing
#1585 opened Oct 31, 2024 by xiaobaozidi
Unknown reason for a simple false positive and inconsistent flag behavior
#1584 opened Oct 30, 2024 by grandnew
Can DVF's flow sensitive points-to analysis give me the results at a given program statement?
#1583 opened Oct 30, 2024 by taptipalit
How to get llvm::Function and llvm::BasicBlock in SVF-2.7?
#1582 opened Oct 29, 2024 by Shrimpig
How to check if a constant value flows into a variable using source-sink checker?
#1581 opened Oct 28, 2024 by DesNevermore
3
What is the meaning of the output?
#1576 opened Oct 15, 2024 by tttturtle-russ
Question about the time overhead of LLVMModuleSet::buildSymbolTable()
#1573 opened Oct 13, 2024 by learjet5
7
Is there a way to disable the output?
#1567 opened Oct 9, 2024 by Lqs66
3
Collect Use-Def chain
#1565 opened Oct 9, 2024 by bao00065
MTA Does Not Terminate on Large Project
#1554 opened Sep 25, 2024 by dylanjwolff
3
Crash During Pointer Analysis on Boringssl with WPA
#1549 opened Sep 18, 2024 by liushengahn
14
When analyzing the class inheritance relationship, treat the members of the class as the parent class
#1539 opened Aug 30, 2024 by zz-fz-john
8
Problematic Path-condition Solving.
#1525 opened Aug 22, 2024 by DesNevermore
saber -dfree double free path and free() lines not showing
#1520 opened Aug 18, 2024 by mxHuber
Assertion failed if -cluster-fs is enabled
#1518 opened Aug 17, 2024 by cubicYYY
Does svf implement type matching？
#1507 opened Aug 1, 2024 by zz-fz-john
3
Question about applying SVF to real world large programs
#1505 opened Jul 25, 2024 by shoong98
4
What is varKills in MemSSA used for?
#1504 opened Jul 23, 2024 by canliture
1
some question about MTA
#1501 opened Jul 14, 2024 by yxscc
1
ProTip! Updated in the last three days: updated:>2024-11-21.