Repositories list

• java-fsm-library

  Public
  Java

  •

  GNU Lesser General Public License v3.0

  •1•1•11•0•Updated May 21, 2020May 21, 2020

• mu-js

  Public
  MuJS static analyzer

  javascriptstatic-analysisfinite-state-automata+ 1abstract-interpretation

  Java

  •

  Apache License 2.0

  •1•2•0•0•Updated Apr 26, 2020Apr 26, 2020

• mujs-analyzer

  Public
  MuJS static analyzer

  Java

  •0•0•0•0•Updated Apr 26, 2020Apr 26, 2020

• mufasa

  Public
  μJS Finite-state Automata String Analyzer

  static-analysisfinite-state-automataabstract-interpretation+ 1string-analysis

  Java

  •

  Apache License 2.0

  •0•3•0•0•Updated Apr 26, 2020Apr 26, 2020

• fsa

  Public
  Finite state automata library for abstract interpretation

  finite-state-automataabstract-interpretationabstract-domain

  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Mar 2, 2019Mar 2, 2019

• apron-example

  Public
  OCaml

  •0•2•0•0•Updated Feb 6, 2016Feb 6, 2016