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

259 Open 290 Closed
259 Open 290 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

It seems PTA results of -sfrander have some pts-elements missing compared with -nander?
#1458 opened May 11, 2024 by zhaosiying12138
Same Node but with Different Source Loc in -vfspta Pointer Analysis
#1454 opened May 5, 2024 by HiragiChi
2
Flow sensitive wpa misses alias of global pointer?
#1449 opened Apr 29, 2024 by Qcloud1223
7
SVF::FlowSensitive analyze failed
#1445 opened Apr 24, 2024 by FFGGSSJJ
3
Type inference failure for linked list
#1442 opened Apr 22, 2024 by Qcloud1223
1
Failed when using getLLVMValue() on Value got from IntraICFGNode->getInst()
#1441 opened Apr 20, 2024 by S-Hang23
Faced a crash on saber bug
#1437 opened Apr 17, 2024 by tangken333
7
[SVF API] Delete ICFG Node/Edge / Create new abstract ICFG from ground?
#1435 opened Apr 13, 2024 by mirusu400
Question regarding different modes of wpa
#1433 opened Apr 10, 2024 by lzyxdu
How to modify PAG/ICFG?
#1432 opened Apr 10, 2024 by JuliusNmn
2
How to maintain structure field-sensitivity across functions (in C)?
#1430 opened Apr 9, 2024 by TrivikramAT
dylib path issue on macOS
#1427 opened Apr 4, 2024 by sdingcn
Hello, is there any mechanism in SVF to update TCT?
#1421 opened Mar 30, 2024 by bitTrader123
Failed to Extract Bc Files for Spec2006
#1417 opened Mar 26, 2024 by 040840308
1
I encountered a segmentation fault.
#1416 opened Mar 25, 2024 by yxscc
How to show more attributes on graphs?
#1414 opened Mar 24, 2024 by Billxzliu
2
Performing reachability analysis between PAG edges
#1413 opened Mar 19, 2024 by karthikbhata97
1
SVF_INSTALL_INCLUDE_DIR lacks svf suffix
#1411 opened Mar 15, 2024 by 251
1
SVF-example project reports error when compiled with LLVM under Debug mode.
#1402 opened Mar 8, 2024 by yuffon
8
Error when compiling LLVM
#1401 opened Mar 8, 2024 by LegalZhang
1
On running a llvm pass before svf pag construction
#1399 opened Mar 7, 2024 by YantingChi
2
ExtAPI module cannot handle those functions with name mangling.
#1391 opened Mar 4, 2024 by DesNevermore
5
Abstract Execution Fails to Trace Correct Allocation Size
#1390 opened Mar 1, 2024 by rycbar77
2
load module failed
#1389 opened Mar 1, 2024 by catzlm
1
How does SVF handle external functions without entities during memory analysis?
#1388 opened Feb 28, 2024 by Ehu1
4
ProTip! Add no:assignee to see everything that’s not assigned.