Skip to content

@Adalog-fr Adalog

Change the repository type filter

All

    Repositories list

    5 repositories

    • ada-static-code-analysis-tools-benchmark

      Public
      For for benchmarking AdaControl and GNATcheck against Cogralys engine, a static code analysis method that rely on graph databases
      Ada
      •
      Apache License 2.0
      •0•0•0•0•Updated Nov 23, 2025Nov 23, 2025

    • cogralys-engine

      Public
      Core of cogralys, a static analysis tool. This repo only generate a Code Property Graph from Ada AST
      Cypher
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Nov 14, 2025Nov 14, 2025

    • Comps

      Public
      General purpose components and utilities
      Ada
      •1•3•0•1•Updated May 24, 2024May 24, 2024

    • Adacontrol

      Public
      An Ada controller for static analysis and rules checking
      Ada
      •
      GNU General Public License v2.0
      •0•17•0•1•Updated Mar 4, 2024Mar 4, 2024

    • Asiscomps

      Public
      Asis components and utilities
      asis
      asis
      Ada
      •0•1•0•0•Updated Sep 4, 2022Sep 4, 2022
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.