Adalog

Popular repositories Loading

1. Adacontrol Adacontrol Public

   An Ada controller for static analysis and rules checking

   Ada 18 1

2. Comps Comps Public

   General purpose components and utilities

   Ada 3 1

3. Asiscomps Asiscomps Public

   Asis 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

   Ada

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