游戏libraryC++

ikos

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

3,139 stars216 forks45 issuesNOASSERTION更新于 2026/4/21

abstract-interpretationprogram-analysissoftware-verificationstatic-analysis

暂无详细内容

同类推荐

A complete computer science study plan to become a software engineer.

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

Tesseract Open Source OCR Engine (main repository)

Easy to maintain open source documentation websites.

A collection of learning resources for curious software engineers

A curated list of awesome frameworks, libraries and software for the Java programming language.