CodeChecker is an analyzer tooling, defect database
...Executes Clang-Tidy and Clang Static Analyzer with Cross-Translation Unit analysis, Statistical Analysis (when checkers are available). Creates the JSON compilation database by wiretapping any build process (e.g., CodeChecker log -b "make"). Automatically analyzes GCC cross-compiled projects: detecting GCC or Clang compiler configuration and forming the corresponding clang analyzer invocations. Incremental analysis: Only the changed files and its dependencies need to be reanalyzed. False positive suppression with a possibility to add review comments. Result visualization in command line or in static HTML. ...
Multifunctional development tool. Contains: Compiler, DBMS Libs, Network Libs, Forms support, IDE. Can be used as CRM or CMS system. Also it can compile and run some applications. Supports GCC. Interfaces: CLI, Terminal, CGI. GNAT requires.