ganli2015

@yuleisui ``` #include #include #include #include #include #include using namespace std; class Task { public: int x; Task() { x = 0; } void thread0() { x = 1; }...

It looks like MAYALIAS can only be used for two values in ONE function, however, test values in my case are in two functions. I have no idea how to...

I change the case as follows, ``` #include "aliascheck.h" #include #include #include #include #define TESTNUM 4 typedef struct global_struct { int x, y, r1, r2; } global_struct_t; global_struct_t *g_str; int...

Many thanks! Do you have any plan to support thread-sensitive flow-sensitive analysis ? Another problem is that analyzing spdk_tgt.bc (sent by my colleague) by flow sensitive hangs for over 4...

> Could you try the latest version? Also note that getPts() is only for top-level pointers, for address-taken object nodes, you will need to use `getDFInPtsSet/getDFOutPtsSet` to specify which program...

> It is hard to get the desired alias output for your purpose. Have you taken a look at this https://github.com/SVF-tools/SVF-example, and this https://github.com/SVF-tools/SVF-example/blob/master/src/svf-ex.cpp#L49? This example is calling SVF by...

> No, you can't use bpf_spin_lock in tracing progs as of kernel v5.1. See the conversation [here](https://github.com/iovisor/bcc/pull/4669#discussion_r1392458503). And __sync_lock_test_and_set or __sync_val_compare_and_swap are also not available yet? Found errors like that....