Intro

This repo is based on SVF-2.8. (Not support opaque pointers.)

We modify the code further to perform Linux kernel static analysis, which can work together with LLVM-14.0.6.

TODO:

• Manually merge some useful SVF commits for current customized version. (By reading the SVF releases changelog.)

---

Original links:

• https://github.com/SVF-tools/SVF/tree/master
• https://svf-tools.github.io/SVF/