Repositories list

• jade

  Public archive
  Jade: The Java Decompiler [Replaced by a rewrite in Kotlin at https://github.com/plilab/jade]

  Scala

  •

  GNU General Public License v3.0

  •11 fork•77 stars•00 issues•00 pull requests•Updated Mar 13, 2025Mar 13, 2025

• Tapas

  Public
  Dalvik bytecode analysis in scala

  Scala

  •77 forks•1515 stars•00 issues•00 pull requests•Updated Apr 11, 2019Apr 11, 2019

• jaam

  Public
  JVM Abstracting Abstract Machine

  Scala

  •33 forks•2525 stars•00 issues•00 pull requests•Updated Jan 29, 2019Jan 29, 2019

• spf-plotter

  Public
  Java

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jan 24, 2019Jan 24, 2019

• spf-wca

  Public
  Tool for algorithmic complexity analysis based on symbolic execution

  Java

  •

  MIT License

  •99 forks•00 stars•00 issues•00 pull requests•Updated Jan 20, 2019Jan 20, 2019

• parsing-with-zippers

  Public
  A clean implementation of Parsing with Zippers.

  OCaml

  •

  BSD 2-Clause "Simplified" License

  •22 forks•3838 stars•00 issues•00 pull requests•Updated Sep 22, 2018Sep 22, 2018

• maven-repo

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Aug 16, 2017Aug 16, 2017

• soot-docs

  Public
  Javadoc from the nightly build of soot we use in jaam, as their server is down

  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 27, 2017Mar 27, 2017

• anadroid

  Public
  Taint flow analysis for android

  Scala

  •77 forks•66 stars•00 issues•00 pull requests•Updated Mar 19, 2015Mar 19, 2015

• soot-wrapper

  Public
  Java

  •00 forks•11 star•00 issues•00 pull requests•Updated Mar 13, 2015Mar 13, 2015

• cloud9-analyst

  Public
  Fork of cloud9 with plugins for navigation of static analysis results.

  JavaScript

  •

  GNU General Public License v3.0

  •1.1k1.1k forks•11 star•2121 issues•00 pull requests•Updated Sep 30, 2014Sep 30, 2014