Yihan Dang

Higher optimization level leads to broken value flow in virtual functions

6

Hi, I encounter some problems when playing with virtual functions under SVF. Below is a minimal reproducible example: ```C++ // using external variable and printf to prevent O3 from optimizing...

Getting StmtVFGNode from FormalParmVFGNode nodes for value flow in function arguments

3

Hi, I've had some hands-on experience with SVF and really appreciate your great work. Like many others who use SVF, I want to track the value flow of certain variables,...

Flow sensitive wpa misses alias of global pointer?

7

Hi, I'm having unexpected results when analyzing a complicated program, and the problem boils down to a seemingly simple issue. Consider this very simple program: ```c++ int *a; int main()...

Type inference failure for linked list

1

Hi, I was trying to play with type inference under SVF using linked list, and found an unexpected result. Here is a minimal reproducible example: ```c++ struct ll { int...