RCÉpique
NASA-SW-VnV/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
- Propriétaire
- NASA-SW-VnV (organisation)
- Étoiles
- Étoiles : 3 177
- Forks
- Forks : 220
- Langage
- C++
- Licence
- Aucune
- Création
- 2017
- Sujets
- static-analysissoftware-verificationabstract-interpretationprogram-analysis
- Rang
- RC (2 000 à 4 999 ★) Ce que veut dire ce rang
Autres dépôts de NASA-SW-VnV
Les 2 dépôts de NASA-SW-VnV- NASA-SW-VnV/fretÉtoiles : 502JavaScriptAlpha
D’autres dépôts C++
Tous les dépôts C++- Tencent/TendisÉtoiles : 3 180C++RC
- zrythm/zrythmÉtoiles : 3 178C++RC
- TheCruZ/kdmapperÉtoiles : 3 177C++RC
- WrBug/dumpDexÉtoiles : 3 170C++RC
- easymodo/qimgvÉtoiles : 3 165C++RC
- githubhaohao/NDK_OpenGLES_3_0Étoiles : 3 165C++RC