{"repo":"SVF-tools/SVF","free":true,"listed":false,"github":"https://github.com/SVF-tools/SVF","clone":"git clone https://github.com/SVF-tools/SVF.git","description":"Static Value-Flow Analysis Framework for Source Code","language":"C++","stars":1700,"topics":["static-analysis","static-value-flow","source-code-analysis","pointer-analysis","llvm","dependency-analysis","code-analysis","points-to-analysis","static-analyzer","abstract-interpretation"],"license":null,"category":"dev-tools","readme_excerpt":"News SVF now supports LLVM-21 (Contributed by cjsrxzdyzds). SVF now supports new build system (Thank Johannes for his help!). SVF-Python is now available, enabling developers to write static analyzers in Python by leveraging the SVF library (Contributed by Jiawei Wang). New course Software Security Analysis for learning code analysis and verification with SVF for fun and expertise! SVF now supports LLVM-16.0.0 with opaque pointers (Contributed by Xiao Cheng). Modernize SVF's CMake (Contributed by Johannes). SVF now supports LLVM-13.0.0 (Thank Shengjie Xu for his help!). Object clustering published in our OOPSLA paper is now available in SVF Hash-Consed Points-To Sets published in our SAS paper is now available in SVF Learning or teaching Software Analysis? Check out SVF-Teaching! SVF now supports LLVM-12.0.0 (Thank Xiyu Yang for her help!). VSFS published in our CGO paper is now available in SVF TypeClone published in our ECOOP paper is now available in SVF SVF now uses a single script for its build. Just type source ./build.sh in your terminal, that's it! SVF now supports LLVM-10.0.0! We thank bsauce for writing a user manual of SVF (link1 and link2) in Chinese SVF now supports LLVM-9.0.0 (Thank Byoungyoung Lee for his help!). SVF now supports a set of field-sensitive pointer analyses. Use SVF as an external lib for your own project (Contributed by Hongxu Chen). SVF now supports LLVM-7.0.0. SVF now supports Docker. Try SVF in Docker! SVF now supports LLVM-6.0.0 (Contributed ","default_branch":null,"files":null,"tree":[],"storefront":"/r/SVF-tools","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/SVF-tools/SVF/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}