计算机科学libraryC++

SVF

Static Value-Flow Analysis Framework for Source Code

1,671 stars487 forks369 issuesNOASSERTION更新于 2026/4/22

code-analysiscode-securitydependency-analysisllvmpointer-analysispoints-to-analysissource-code-analysisstatic-analysisstatic-analyzerstatic-value-flow

暂无详细内容

同类推荐

awesome-selfhosted

A list of Free Software network services and web applications which can be hosted on your own servers

287,499

computer-science

🎓 Path to a free self-taught education in Computer Science!

203,207

PythonDataScienceHandbook

Python Data Science Handbook: full text in Jupyter Notebooks

47,333

black

The uncompromising Python code formatter

41,476

keycloak

Open Source Identity and Access Management For Modern Applications and Services

34,003

certbot

Certbot is EFF's tool to obtain certs from Let's Encrypt and (optionally) auto-enable HTTPS on your server. It can also act as a client for any other CA that uses the ACME protocol.

32,995