Repositories list

• jade

  Public
  Jade: The Java Decompiler

  Scala

  •

  GNU General Public License v3.0

  •1•6•0•0•Updated May 24, 2024May 24, 2024

• Tapas

  Public
  Dalvik bytecode analysis in scala

  Scala

  •7•15•0•0•Updated Apr 11, 2019Apr 11, 2019

• jaam

  Public
  JVM Abstracting Abstract Machine

  Scala

  •3•25•0•0•Updated Jan 29, 2019Jan 29, 2019

• spf-plotter

  Public
  Java

  •

  MIT License

  •0•0•0•0•Updated Jan 24, 2019Jan 24, 2019

• spf-wca

  Public
  Tool for algorithmic complexity analysis based on symbolic execution

  Java

  •

  MIT License

  •8•0•0•0•Updated Jan 20, 2019Jan 20, 2019

• parsing-with-zippers

  Public
  A clean implementation of Parsing with Zippers.

  OCaml

  •

  BSD 2-Clause "Simplified" License

  •2•36•0•0•Updated Sep 22, 2018Sep 22, 2018

• maven-repo

  Public
  0•0•0•0•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

  •0•0•0•0•Updated Mar 27, 2017Mar 27, 2017

• anadroid

  Public
  Taint flow analysis for android

  Scala

  •7•6•0•0•Updated Mar 19, 2015Mar 19, 2015

• soot-wrapper

  Public
  Java

  •0•1•0•0•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.1k•1•21•0•Updated Sep 30, 2014Sep 30, 2014