Heliopolis

Results 2 issues of Heliopolis

Hello everyone, I want to use SVF as a *lib* on **Win11** for static analysis in `Visual Studio 2022`. > [Use SVF as an external lib](https://github.com/SVF-tools/SVF/wiki/Using-SVF-as-a-lib-in-your-own-tool) for your own project...

Hello everyone, I'm new to SVF. I attempted to utilize SVF as an external library in CLion on `macOS Monterey`, but encountered a `cmake` failure along with the following log:...