Fortran Discourse
F-IKOS: An Abstract Interpretation-based Static Analyzer for Fortran Programs
Beliavsky
February 13, 2025, 1:49pm
2
The project is now on GitHub.
1 Like
show post in topic
Related topics
Topic
Replies
Views
Activity
Is there a tool like FRAMA_C for Fortran?
17
1110
August 24, 2021
Help requested in reviewing Fortran tools
4
304
June 10, 2026
Fortitude: a Fortran linter
30
1821
November 22, 2024
Is Fortran Memory-Safe?
Advocacy
47
3082
January 31, 2026
Building a Fortran compiler in pure Fortran (Mega thread)
Language enhancement
20
2679
February 19, 2025