Hiragi Chi

Hi, I just looked into the instructions and found out that they are not identical but most of them are assembly codes. I will look into the problems later. I...

>I have another problem here, I just finished running `./wpa -ander -vfspta -print-fp vmlinux_v4.12.but the execution stops after the AUX Anderson points-to analysis without further refinements. Is that because of...

Thanks for the reply! I will give it a try tomorrow~ On Wed, Aug 23, 2023, 11:14 Stephen Kell ***@***.***> wrote: > Hi Hiragi. Thank you for your interest. The...

Hi Kell, I have tried to compile libcrunch with Feb 25th version of liballocs but I still met some problems. Roughly I did the following things: 1) Install the liballocs...

Ahhhh my mistake! I will see If it works. Many thanks!

Hi, Thanks for the reply. I think there are some non-function objects (like void* pointers) that can actually point to functions or function pointers, but there are some objects and...

Yeah, and a union type is also something that might be related to function pointers. I plan to mark these four types: void*, function pointer types, structs that contain function...

Thanks for the timely reply! That is true. What I am thinking is can this process be tracked by bitcast analysis? (say fptr1 is assigned to int*, so there must...

Thanks for the guidance! I will try my idea with LLVM-14 and I will let you know if I have any progress :)

Hi, Thanks for the timely reply! I have some follow up questions. By "modeling of C++ libraries", do you mean modeling the built-in library like stdlib or the user-defined library...