search

NASA-SW-VnV / ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Other
2.35k stars 171 forks source link

analyzer: Add missing include (#273). #278

Closed ivanperez-keera closed 1 month ago

ivanperez-keera commented 1 month ago

Add a missing include that leads to an error in newer versions of clang.