SVF
llvm-project
SVF | llvm-project | |
---|---|---|
1 | 2 | |
1,302 | 38 | |
- | - | |
9.6 | 0.0 | |
2 days ago | almost 3 years ago | |
C++ | C++ | |
GNU General Public License v3.0 or later | - |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
SVF
llvm-project
-
High-confidence Lifetime Checks in Visual Studio version 17.5 Preview 2
The flow-sensitive analysis that is stricter is in a fork here: https://github.com/mgehre/llvm-project
-
Lifetime Annotations for C++
This reminds me of the -Wlifetime proposal, which provides similar checks but requires annotation of ownership at struct level (hence the check only applies to new structs):
An example: https://github.com/llvm/llvm-project/blob/main/clang/test/Se...
More details can be found at https://herbsutter.com/2018/09/20/lifetime-profile-v1-0-post...
Unfortunately it was never upstreamed according to https://github.com/mgehre/llvm-project/issues/98
What are some alternatives?
heavydb - HeavyDB (formerly OmniSciDB)
tokio - A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
cclyzerpp - cclyzer++ is a precise and scalable pointer analysis for LLVM code.
ayanami-nemesis-analyzer - A C/C++ Staitc Analyzer for Now.
codebrowser - Woboq CodeBrowser
mcsema - Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
llvm-project - The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
cppinsights - C++ Insights - See your source code with the eyes of a compiler
edgesearch - Serverless full-text search with Cloudflare Workers, WebAssembly, and Roaring Bitmaps
JPlag - State-of-the-Art Software Plagiarism & Collusion Detection
cling - The cling C++ interpreter