★
开源星图GITHUB / DISCOVERY
今日免费检索 3 次
SVF-tools / SVF

SVF

Static Value-Flow Analysis Framework for Source Code

C++★ 1.7k⑂ 500NOASSERTION创建于 2015-06-05最近提交 2026-10-13
中文介绍 · 自动生成

SVF 是用 C++ 编写的开发框架,提供应用开发的基础结构。

目前累计 1.7k star、500 fork,主要语言为 C++,项目始于 2015 年,采用 NOASSERTION 许可。最近状态:近一个月有提交。适合:后端与服务开发者。

中文介绍优先采用本站人工维护条目;无维护条目时依据 GitHub 公开字段(语言、主题、星标、提交时间)自动生成,未经项目方确认,不构成选型结论。
一句话解读

SVF-tools/SVF 是一个以 C++ 为主的开源项目,目前累计 1.7k star、500 fork,近 30 天内有提交。主要方向:abstract-interpretation、bug-detection、code-analysis、code-verification、dependency-analysis、llvm。

依据 GitHub 公开字段(语言、主题、星标、提交时间)自动生成,未经人工逐项核实。
abstract-interpretationbug-detectioncode-analysiscode-verificationdependency-analysisllvmpointer-analysispoints-to-analysissource-code-analysisstatic-analysisstatic-analyzerstatic-value-flow

README

正在加载…

相关项目