Skip to content
@Adalog-fr

Adalog

Expertise, training and consultancy for the Ada programming language

Popular repositories

  1. Adacontrol Adacontrol Public

    An Ada controller for static analysis and rules checking

    Ada 17

  2. Asiscomps Asiscomps Public

    Asis components and utilities

    Ada 1

  3. Comps Comps Public

    General purpose components and utilities

    Ada 1

  4. ada-static-code-analysis-tools-benchmark 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

  5. cogralys-engine cogralys-engine Public

    Core of cogralys, a static analysis tool. This repo only generate a Code Property Graph from Ada AST

    Cypher

Repositories

Showing 5 of 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

    0 0 0 0 Updated Apr 22, 2024
  • cogralys-engine Public

    Core of cogralys, a static analysis tool. This repo only generate a Code Property Graph from Ada AST

    Cypher 0 0 0 0 Updated Mar 20, 2024
  • Adacontrol Public

    An Ada controller for static analysis and rules checking

    Ada 17 GPL-2.0 0 0 1 Updated Mar 4, 2024
  • Asiscomps Public

    Asis components and utilities

    Ada 1 0 0 0 Updated Sep 4, 2022
  • Comps Public

    General purpose components and utilities

    Ada 1 0 0 0 Updated Jun 27, 2022

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…