Awesome Repository

「今」GitHubでスターを獲得している注目のリポジトリを見つけよう

github-link
Last Updated: 2020-05-24
og-image
NASA-SW-VnV/ikos
GitHub
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
  • abstract-interpretation
  • program-analysis
  • software-verification
  • static-analysis