游戏libraryC++

ikos

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

3,139 stars216 forks47 issuesNOASSERTION更新于 2026/4/22

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

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.

The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.