NASA-SW-VnV/ikos

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

拖动卡牌调整角度，点击翻面查看卡背。