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
264 Open 302 Closed
264 Open 302 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

What are the meaning of the colored edges in a svfg?
#1495 by KelvinChung2000 was closed Jul 2, 2024
2
Question about branchID？
#1493 by liushengahn was closed Jun 22, 2024
9
Successor of BranchStmt can be confused bug
#1490 by LeoneChen was closed Jun 20, 2024
10
Questions about overflow detection
#1487 by ZcoderL was closed Jun 14, 2024
2
Testing memory leaks in LLVM IR generated from Rust language but throwing an error.
#1486 by y1lan was closed Jun 13, 2024
7
Alias analysis bug with compilation flags -O1 -Xclang -disable-O0-optnone enhancement
#1482 by yiansu was closed Jul 1, 2024
10
Does SVF have a version that supports llvm15?
#1481 by jinchangxfd was closed Jun 6, 2024
1
Incorrect alias result using -sfrander bug
#1475 by yiansu was closed Jun 3, 2024
3
Failed to generate the correct MemorySSA when using TypeAnalysis
#1473 by anbu1024 was closed May 28, 2024
4
Doubts about using contextDDA to run small projects exceeding budget
#1468 by ZcoderL was closed May 27, 2024
It seems PTA results of -sfrander have some pts-elements missing compared with -nander? bug
#1458 by zhaosiying12138 was closed Jun 2, 2024
2
Querying WPAPass APIs using LLVM Value* and CallInst*
#1455 by yiansu was closed May 7, 2024
4
Get pointer type in absence of getPtrElementType
#1439 by Qcloud1223 was closed Apr 19, 2024
2
Faced a crash on saber bug
#1437 by tangken333 was closed Jun 1, 2024
7
How to run SVF on a C++ project?
#1424 by hpate063 was closed Apr 8, 2024
9
How to create a CDG with SVF?
#1415 by liushengahn was closed Mar 29, 2024
25
LLVM assertion: "Initializer type must match GlobalVariable type"
#1406 by 251 was closed Mar 27, 2024
6
SVF::SVFValue has an empty name while LLVM::Value has a name
#1405 by FFGGSSJJ was closed Apr 8, 2024
1
Assertion when using SVF on Ceph
#1392 by Louise4one was closed Mar 17, 2024
1
7
How to get type information for PAG node
#1375 by YantingChi was closed Feb 19, 2024
4
Handling inttoptr in SVFIR
#1370 by karthikbhata97 was closed Mar 18, 2024
5
crash with opaque pointers
#1354 by void0red was closed Feb 6, 2024
5
Is there a block-level ICFG in SVF?
#1331 by Qcloud1223 was closed Jan 17, 2024
3
How to handle C++ external libraries
#1313 by ZcoderL was closed Jan 3, 2024
2
Higher optimization level leads to broken value flow in virtual functions cpp-issue
#1312 by Qcloud1223 was closed Apr 18, 2024
7
ProTip! Exclude everything labeled bug with -label:bug.