Hiragi Chi

Build failure of libcrunch

5

Hi, I am trying to build libcrunch from a pre-built liballocs. The environment is a docker image built from /liballocs/buildtest/ubuntu-18.04/DockerFile When I try to build libcrunch, the following problem emerges:...

Problem on callgraph generation accelaration

8

Hi, Thanks for providing such a useful tool. I am interested in getting a call graph (indirect call included) for large-scale programs (like Linux kernel) using Anderson analysis. However, using...

False Negative in Anderson Points-to Analysis

4

Hi, Thanks for providing such a useful tool. I tried to use wpa -ander to detect all indirect function calls via points-to analysis, and the target program is PHP (https://github.com/php/php-src)....

Same Node but with Different Source Loc in -vfspta Pointer Analysis

3

Hi, I was trying to run versioned flow-sensitive pointer analysis on Linux kernel 4.12. Here is the prompt I use: `./wpa -ander -vfspta -print-fp vmlinux_v4.12.bc` When I query the Persistent...