ftncheck, a static source code analysis utility, checks yourFortran programsfor semantic errors, leaks and potential bugs. For example, you can use ftncheck to scan your program for the use of uninitialized variables and undeclared variables. Source code and binaries for Windows, Mac OS X, Linu...
This page lists many of the most popular languages and frameworks supported by our static analysis engine. For the complete list of details, please see our documentation.Languages • Apex • C/C++ • C# • CUDA • Dart • Fortran • Go • Java • JavaScript • JSP • Kot...
visualizing, and maintaining it. This enables rapid analysis of large amounts of code. This is a tool that is primarily used in the aerospace and automotive industries. Supports major programming languages such as C/C++, ADA, COBOL, FORTRAN, PASCAL, Python, and others. ...
Just like its name, this tool lets user UNDERSTAND code by analyzing, measuring, visualizing and maintaining. This allows quick analysis of massive codes. This is one tool that is mainly used by the aerospace and automakers industry. Supports major languages like C/C++, ADA, COBOL, FORTRAN, P...
i-Code CNES for Fortran— An open source static code analysis tool for Fortran 77, Fortran 90 and Shell.Goaligncheck— Find inefficiently packed structs. bodyclose— Checks whether HTTP response body is closed. deadcode— Finds unused code. dingo-hunter ⚠️— Static analyser for finding ...
Helix QAC ©️ — Enterprise-grade static analysis for embedded software. Supports MISRA, CERT, and AUTOSAR coding standards. IKOS— A sound static analyzer for C/C++ code based on LLVM. Joern— Open-source code analysis platform for C/C++ based on code property graphs KLEE— A dynamic...
This is a great article, we enjoyed reading it. We are working on a "hard core" static tool that specializes in finding concurrency issues, right now supports C/C++/Fortran. If you are working on concurreny issue in these langages, we invite you to take a look. Cheers! -- Reply ...
Also check out the sister project, awesome-dynamic-analysis.Table of ContentsProgramming LanguagesShow languages ABAP Ada Assembly Awk C C# C++ Clojure CoffeeScript Crystal Dart Delphi Dlang Elixir Elm Erlang F# Fortran Go Groovy Haskell Haxe Java JavaScript Julia Kotlin Lua MATLAB Nim Ocaml PHP ...
Hi, i'm working on a hugh Fortan project which is build through several Makefiels, so the regular approach of the static analysis will not work for
Just like its name, this tool lets user UNDERSTAND code by analyzing, measuring, visualizing and maintaining. This allows quick analysis of massive codes. This is one tool which is mainly used by aerospace and automakers industry. Supports major languages like C/C++, ADA, COBOL, FORTRAN, PASCAL...