NASA-SW-VnV/ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

abstract-interpretationprogram-analysissoftware-verificationstatic-analysis

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 4 meses.

	Repositorio	Estrellas	Lenguaje	Licencia	Actividad
1	nikic/PHP-ParserA PHP parser written in PHP	★ 17.5k	PHP	BSD-3-Clause	Activo
2	semgrep/semgrepLightweight static analysis for many languages. Find bug variants with patterns that look like source code.	★ 17.1k	C	LGPL-2.1	Activo
3	996icu/996.ICURepo for counting stars and contributing. Press F to pay respect to glorious developers.	★ 277.2k	—	Other	Sin cambios
4	torvalds/linuxLinux kernel source tree	★ 252.4k	C	Other	Activo
5	jackfrued/Python-100-DaysPython - 100天从新手到大师	★ 187.3k	Jupyter Notebook	—	Activo
6	airbnb/javascriptJavaScript Style Guide	★ 148.1k	JavaScript	MIT	Menos activo
7	iptv-org/iptvCollection of publicly available IPTV channels from all over the world	★ 141.3k	TypeScript	Unlicense	Activo
8	ruanyf/weekly科技爱好者周刊，每周五发布	★ 106.4k	—	—	Activo