Geoffrey

Bit-field initialization via interpreter still has problems

1

When I use `ccomp -interp ` , i encounter a UB problem about bitfield. I also notice https://github.com/AbsInt/CompCert/issues/22, it should be fixed, but not. ```c // test.c typedef struct S1...

can not build the project

2

> cmake -G "Unix Makefiles" -DLLVM_TARGETS_TO_BUILD=X86 -DCMAKE_INSTALL_PREFIX=/usr/local/clang -CMAKE_BUILD_TYPE=Debug ../llvm/ This command get error ： > /LLVM-Essentials-13/llvm" does not exist.

Hwg change SVFFunction to CallGraphNode in AE

rename CallGraph to PTACallGraph

1

rename CallGraph to PTACallGraph

[Bug]: AgentStuckInLoopError: Agent got stuck in a loop

12

### Is there an existing issue for the same bug? - [x] I have checked the existing issues. ### Describe the bug and reproduction steps I run hello world with...

remove all SVFFunction in svf

3

remove all SVFFunction in svf except SVFValue svf-llvm remains some SVFFunction usages