NASA-SW-VnV/ikos

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

abstract-interpretationprogram-analysissoftware-verificationstatic-analysis

License & maintenance

Custom or modified license that GitHub does not recognise: read the LICENSE file in the repository before using it in a product.

Last code push 4 months ago.

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