Jandom development

Research organization developing the Jandom static analyzer and related software.

Italy

Pinned Repositories

apron
Apron Numerical Abstract Domain Library
Language:C0 0 00
goblint
This is a fork of the goblint static analysis framework, used for experiments on localization.
Language:OCaml0 3 00
Jandom
An abstract-interpretation based static analyzer written in Scala.
Language:Scala33 11 410
JandomWeb
A web interface for the Jandom Static Analyzer
Language:HTML0 4 01
JGMP
Java bindings for the GMP (GNU Multiple Precision Arithmetic Library) using JNA
Language:Java5 1 01
JGMPBenchmarks
A set of benchmarks for JGMP.
Language:Java0 2 00
JPPL
Java bindings for the Parma Polyhedra Library
Language:Java00
ScalaFix
A Scala library for solving fixpoint equations
Language:Scala3 3 02
ScalaFixExamples
Examples for the ScalaFix library.
Language:Scala0 2 00

Jandom development's Repositories

jandom-devel/Jandom
An abstract-interpretation based static analyzer written in Scala.
Language:Scala33 11 410
jandom-devel/JGMP
Java bindings for the GMP (GNU Multiple Precision Arithmetic Library) using JNA
Language:Java5 1 01
jandom-devel/ScalaFix
A Scala library for solving fixpoint equations
Language:Scala3 3 02
jandom-devel/apron
Apron Numerical Abstract Domain Library
Language:C0 0 00
jandom-devel/goblint
This is a fork of the goblint static analysis framework, used for experiments on localization.
Language:OCaml0 3 00
jandom-devel/JandomWeb
A web interface for the Jandom Static Analyzer
Language:HTML0 4 01
jandom-devel/JGMPBenchmarks
A set of benchmarks for JGMP.
Language:Java0 2 00
jandom-devel/JPPL
Java bindings for the Parma Polyhedra Library
Language:Java00
jandom-devel/ScalaFixExamples
Examples for the ScalaFix library.
Language:Scala0 2 00