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

The shortcomings of memcpy
#1498 opened Jul 11, 2024 by ZcoderL updated Jul 11, 2024
Any path-sensitive pointer analysis?
#1496 opened Jul 5, 2024 by DesNevermore updated Jul 5, 2024
1
-opt-svfg have no effect
#1497 opened Jul 5, 2024 by KelvinChung2000 updated Jul 5, 2024
1
An error occurred while testing abstract execution
#1488 opened Jun 14, 2024 by ZcoderL updated Jun 22, 2024
5
How to get the llvm::Function corresponding to SVFFunction?
#1489 opened Jun 14, 2024 by Lqs66 updated Jun 14, 2024
2
[SVF API] Delete ICFG Node/Edge / Create new abstract ICFG from ground?
#1435 opened Apr 13, 2024 by mirusu400 updated Jun 13, 2024
3
How to get point-to set?
#1485 opened Jun 12, 2024 by yuffon updated Jun 13, 2024
2
SVF Global not found
#1483 opened Jun 11, 2024 by LeoneChen updated Jun 12, 2024
11
Failed when using getLLVMValue() on Value got from IntraICFGNode->getInst()
#1441 opened Apr 20, 2024 by S-Hang23 updated Jun 1, 2024
1
Same Node but with Different Source Loc in -vfspta Pointer Analysis
#1454 opened May 5, 2024 by HiragiChi updated May 23, 2024
3
Flow sensitive wpa misses alias of global pointer?
#1449 opened Apr 29, 2024 by Qcloud1223 updated Apr 29, 2024
7
SVF::FlowSensitive analyze failed
#1445 opened Apr 24, 2024 by FFGGSSJJ updated Apr 26, 2024
3
Type inference failure for linked list
#1442 opened Apr 22, 2024 by Qcloud1223 updated Apr 22, 2024
1
about slicing
#1202 opened Sep 26, 2023 by woshizhuchenguang updated Apr 17, 2024
3
How to modify PAG/ICFG?
#1432 opened Apr 10, 2024 by JuliusNmn updated Apr 15, 2024
2
Question regarding different modes of wpa
#1433 opened Apr 10, 2024 by lzyxdu updated Apr 10, 2024
How to maintain structure field-sensitivity across functions (in C)?
#1430 opened Apr 9, 2024 by TrivikramAT updated Apr 9, 2024
dylib path issue on macOS
#1427 opened Apr 4, 2024 by sdingcn updated Apr 4, 2024
Hello, is there any mechanism in SVF to update TCT?
#1421 opened Mar 30, 2024 by bitTrader123 updated Mar 30, 2024
Failed to Extract Bc Files for Spec2006
#1417 opened Mar 26, 2024 by 040840308 updated Mar 27, 2024
1
How to show more attributes on graphs?
#1414 opened Mar 24, 2024 by Billxzliu updated Mar 26, 2024
2
I encountered a segmentation fault.
#1416 opened Mar 25, 2024 by yxscc updated Mar 25, 2024
point to set is empty
#1363 opened Feb 8, 2024 by yuffon updated Mar 22, 2024
5
Performing reachability analysis between PAG edges
#1413 opened Mar 19, 2024 by karthikbhata97 updated Mar 19, 2024
1
SVF-example project reports error when compiled with LLVM under Debug mode.
#1402 opened Mar 8, 2024 by yuffon updated Mar 17, 2024
8
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.