Sealbook / Open source / Frameworks web y backend

SVF-tools/SVF

Static Value-Flow Analysis Framework for Source Code

abstract-interpretationbug-detectioncode-analysiscode-verificationdependency-analysisllvmpointer-analysispoints-to-analysissource-code-analysisstatic-analysis

GitHub ↗Sitio ↗

Licencia y mantenimiento

Licencia propia o modificada que GitHub no reconoce: lee el archivo LICENSE del repositorio antes de usarlo en un producto.

Último cambio de código hace 5 días.

Proyectos similares

	Repositorio	Estrellas	Lenguaje	Licencia	Actividad
1	public-apis/public-apisA collective list of free APIs	★ 490k	Python	MIT	Activo
2	obra/superpowersAn agentic skills framework & software development methodology that works.	★ 301.6k	Shell	MIT	Activo
3	vuejs/vueThis is the repo for Vue 2. For Vue 3, go to https://github.com/vuejs/core	★ 212.6k	TypeScript	MIT	Sin cambios
4	flutter/flutterFlutter makes it easy and fast to build beautiful apps for mobile and beyond	★ 180.3k	Dart	BSD-3-Clause	Activo
5	vercel/next.jsThe React Framework	★ 143.1k	JavaScript	MIT	Activo
6	shadcn-ui/uiComposable, accessible components with thoughtful defaults. Build your own component library with code you can customize, extend, and make y	★ 125.9k	TypeScript	MIT	Activo
7	electron/electron:electron: Build cross-platform desktop apps with JavaScript, HTML, and CSS	★ 123.4k	C++	MIT	Activo
8	nodejs/nodeNode.js JavaScript runtime ✨🐢🚀✨	★ 122.4k	JavaScript	Other	Activo