It is a platform of teaching software analysis
SVF is a source code analysis tool that enables interprocedural dependence analysis for LLVM-based languages.