Heliopolis

I could run WALA on Java **16.0.1** with adding **JRE 8** path to **wala.properties**. Thanks a lot.

I build SVF on Windows by `cmake`, but it finally failed. ``` Performing C SOURCE FILE Test CMAKE_HAVE_LIBC_PTHREAD failed with the following output: Change Dir: E:/C++ repositories/SVF-master/build/CMakeFiles/CMakeScratch/TryCompile-r4f1lc Run Build Command(s):C:/PROGRA~2/CMake/bin/ninja.exe...

> @JasonZhongZexin could help with a build of arm lib in SVF’s CI and SVF’s npm? Thank you for your prompt response. I have successfully recompiled SVF using clang. I...

Organization/Company: Nankai University Country/Region: China Contact: [[email protected]](mailto:[email protected]) Usage scenario: Using Tai-e for (1) learning and implementing custom static analysis, (2) conducting research in software misconfigurations for addressing detecting/diagnosing/validation problem.