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

Clear current search query, filters, and sorts
288 Open 314 Closed
288 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

Support LLVM 12.0.0
#417 by sherlly was closed Jun 1, 2021
2 👍 1
singleton instances, unclear memory ownership question
#2 by dtzWill was closed May 13, 2016
1 👍 1
Query Mod-Ref Analysis question
#161 by yiansu was closed Feb 15, 2020
2 👍 1
AndersenLCD implementation "incomplete": documentation and efficiency help wanted question
#6 by dtzWill was closed May 12, 2016
1
PAG: "black hole" and "variant GEP" edges? help wanted question
#7 by dtzWill was closed May 12, 2016
3
Assertion triggered after modifying code question
#12 by ktran was closed Mar 21, 2017
2
Migrating SVF to LLVM 4 enhancement
#14 by jcarlson23 was closed May 7, 2017
11
Missing a function in musl's PointsTo
#15 by anh-q was closed May 7, 2017
8
Question for source sink analysis question
#16 by nix7965 was closed Apr 23, 2017
4
Error on wpa -ander -svfg -dump-svfg example.bc bug
#17 by nix7965 was closed May 7, 2017
5
cppUtil::DemangledName cppUtil::demangle does not work in some case question
#19 by nix7965 was closed May 1, 2017
4
Merging in SUPA implementation? question
#20 by dtzWill was closed May 4, 2017
2
valgrind errors with "wpa -anders" and PTABen bug help wanted
#21 by dtzWill was closed Jun 13, 2017
3
Points-to analysis on Linux kernel question
#26 by threeearcat was closed Jul 22, 2017
18
Minor nit: change souce to source enhancement
#29 by roachspray was closed Aug 1, 2017
1
Wiki documentation seems out of sync question
#30 by roachspray was closed Aug 5, 2017
2
Saber: Assertion `SVFUtil::isa<X>(Val) && "cast<Ty>() argument of incompatible type!"' failed.
#1592 by fouzhe was closed Nov 13, 2024
2
Output format question
#33 by threeearcat was closed Oct 2, 2017
4
Why are all constant objects treated as the same object? enhancement help wanted question
#36 by kren1 was closed Feb 27, 2018
7
Question about Points-to Analysis to statically detect all indirect function calls question
#37 by nix7965 was closed Mar 20, 2018
3
Does SVF change the module it analyses?
#39 by kren1 was closed Mar 20, 2018
3
DummyValPN & DummyObjPN invalid
#44 by zhaogang92 was closed Apr 15, 2018
Aborted in cudddTable.c:343 enhancement question
#46 by macromachine was closed May 13, 2018
3
Segmentation fault on Saber bug help wanted
#47 by macromachine was closed May 14, 2018
5
Some questions related to a LLVM-gold plugin and Linux kernel. invalid question
#27 by threeearcat was closed Oct 2, 2017
3
ProTip! Updated in the last three days: updated:>2024-11-15.