SVF-tools/SVF

Public

Static Value-Flow Analysis Framework for Source Code

abstract-interpretation bug-detection code-analysis code-verification dependency-analysis llvm pointer-analysis points-to-analysis source-code-analysis static-analysis static-analyzer static-value-flow

Star1.7k Fork500 Watch55 Mở trên GitHub

Stars1.7k+1+1 tuần này
Forks500
Watchers55
Issues184
Ngày tạo05/06/2015
Cập nhật gần nhất28/10/2026
Ngôn ngữC++
Giấy phép—

Repo này không có README

Chủ repo chưa viết README, hoặc file chưa được đồng bộ về Bee. Xem trực tiếp trên GitHub.

Mở trên GitHub

Bee AI AnalysisBETA

Chưa có bản tóm tắt AI cho repo này. Bấm nút bên dưới để Bee AI đọc README và tóm tắt.

Độ phổ biến38/100

Xu hướng+1stars tuần này

Điểm Bee69/100

Mức độ khó · Phù hợp với · Loại dự án — có sau khi phân tích

Thao tác nhanh

ZIP GitHub So sánh

git clone https://github.com/SVF-tools/SVF.git

Thông tin repository

Chủ sở hữuSVF-tools

Ngày tạo05/06/2015

Push gần nhất4 ngày trước

Kích thước21.0 MB

Nhánh mặc địnhmaster

Giấy phépKhông có giấy phép

Trang chủsvf-tools.github.io/SVF/

Trạng tháiĐang hoạt động

Dữ liệu chụp22 giờ trước

Chủ đềabstract-interpretation, bug-detection, code-analysis, code-verification, dependency-analysis, llvm, pointer-analysis, points-to-analysis, source-code-analysis, static-analysis, static-analyzer, static-value-flow

Repo liên quan

Xây ứng dụng AI từ những repo này?

Bee cung cấp API cho hơn 100 model, tính tiền VND.

Build with Bee