Skip to content
@jandom-devel

Jandom development

Research organization developing the Jandom static analyzer and related software.

Popular repositories Loading

  1. Jandom Jandom Public

    An abstract-interpretation based static analyzer written in Scala.

    Scala 33 10

  2. JGMP JGMP Public

    Java bindings for the GMP (GNU Multiple Precision Arithmetic Library) using JNA

    Java 7 2

  3. ScalaFix ScalaFix Public

    A Scala library for solving fixpoint equations

    Scala 4 2

  4. goblint goblint Public

    Forked from goblint/analyzer

    This is a fork of the goblint static analysis framework, used for experiments on localization.

    OCaml

  5. JPPL JPPL Public

    Java bindings for the Parma Polyhedra Library

    Java

  6. JandomWeb JandomWeb Public

    A web interface for the Jandom Static Analyzer

    HTML 1

Repositories

Showing 10 of 10 repositories

Top languages

Loading…

Most used topics

Loading…