ganli2015

Incorrect alias for flow sensitive

8

#define TESTNUM 4 typedef struct global_struct { int x, y, r1, r2; } global_struct_t; global_struct_t *g_str; void thread0() { g_str[1].x = 1; g_str[1].y = 1; } void thread1() { g_str[1].r1...

How to identify llvm::Value with output from wpa command line tool

3

Firstly, my project is an independent process, not linking SVF as a dynamic or static library. Instead, I want to use SVF as a command line tool which is a...

Cannot find some NodeID from Flow sensitive analysis

3

SVF version: 1.9 and 2.0 Command line: wpa -fspta -print-aliases test_context_alias.c.bc When getting PointsTo from NodeID by method ''PTData::getPts", I found some NodeIDs are not in 'ptsMap'. ` inline Data&...

Fail to recognize member variable in different threads as an alias

2

``` #include #include #include #include #include #include using namespace std; class Task { public: int x,y,r1,r2; volatile int flag; Task() { x = y = r1 = r2 = flag...

Can bpf_spin_lock directly be used in BCC?

3

kernel 5.1, Can I use bpf_spin_lock in BCC like this: bpf_spin_lock(&q->lock); u64 stack_id = stack_traces.get_stackid(ctx, STACK_FLAGS); bpf_spin_unlock(&q->lock);

**Description** Segmentation fault when running utbot with command line on a simple program. **To Reproduce** Steps to reproduce the behavior: Test code. ``` int MyAdd(int a, int b) { return...

Version: SVF 3.0 Command line: ``` bin/wpa -ander -ff-eq-base=false -print-aliases libsql_dd.a.bc ``` Takes long long time about over 10 days. Check running stack: ``` #545 0x00000000007c0164 in SVF::Andersen::collapseNodePts(unsigned int) ()...