ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
- ATK
- 2614
- DEF
- 3149
Common
NASA-SW-VnV/ikos
Common · Base · GenesisStatic analyzer for C/C++ based on the theory of Abstract Interpretation.
Attack2,614
Defense3,149
Drag the card to turn it. Use the flip button to see the back.
Open card page