ikos vkandola · COMPLETED
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
github.com/vkandola/ikos · ★ 0 · Forks 0 · Size 3.3 MB
SUMMARY
Technologies 10
Scored 10
Observed 10
Practices 6
Evidence 10
Skips 0
COVERAGE
Analyzed 1211 files · 221 commits · 0 API calls
TECHNOLOGIES & DEPTH
Dockerfile LANGUAGE Depth 70
12 files · PRODUCTION
C++ LANGUAGE Depth 70
456 files · PRODUCTION
C LANGUAGE Depth 70
430 files · PRODUCTION
JavaScript LANGUAGE Depth 70
2 files · PRODUCTION
Markdown LANGUAGE Depth 70
23 files · PRODUCTION
YAML LANGUAGE Depth 70
1 files · PRODUCTION
Python LANGUAGE Depth 70
17 files · PRODUCTION
Prettier QUALITY Depth 72
2 files · CONFIGURATION
TypeScript LANGUAGE Depth 85
123 files · PRODUCTION
debug LIBRARY Depth 58
1 files · PRODUCTION
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · absentcontainerization · observedlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2017-10-17
Last commit 2019-04-24
Active months 8
Commits 221