Skip to content

Popular repositories Loading

  1. parsing-with-zippers parsing-with-zippers Public

    A clean implementation of Parsing with Zippers.

    OCaml 37 2

  2. jaam jaam Public

    JVM Abstracting Abstract Machine

    Scala 25 3

  3. Tapas Tapas Public

    Dalvik bytecode analysis in scala

    Scala 15 7

  4. jade jade Public

    Jade: The Java Decompiler

    Scala 7 1

  5. anadroid anadroid Public

    Taint flow analysis for android

    Scala 6 7

  6. cloud9-analyst cloud9-analyst Public

    Forked from c9/cloud9

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

    JavaScript 1

Repositories

Showing 10 of 11 repositories
  • jade Public

    Jade: The Java Decompiler

    Ucombinator/jade’s past year of commit activity
    Scala 7 GPL-3.0 1 0 0 Updated May 24, 2024
  • Tapas Public

    Dalvik bytecode analysis in scala

    Ucombinator/Tapas’s past year of commit activity
    Scala 15 7 0 0 Updated Apr 11, 2019
  • jaam Public

    JVM Abstracting Abstract Machine

    Ucombinator/jaam’s past year of commit activity
    Scala 25 3 0 0 Updated Jan 29, 2019
  • spf-plotter Public
    Ucombinator/spf-plotter’s past year of commit activity
    Java 0 MIT 0 0 0 Updated Jan 24, 2019
  • spf-wca Public Forked from isstac/spf-wca

    Tool for algorithmic complexity analysis based on symbolic execution

    Ucombinator/spf-wca’s past year of commit activity
    Java 0 MIT 8 0 0 Updated Jan 20, 2019
  • parsing-with-zippers Public

    A clean implementation of Parsing with Zippers.

    Ucombinator/parsing-with-zippers’s past year of commit activity
    OCaml 37 BSD-2-Clause 2 0 0 Updated Sep 22, 2018
  • maven-repo Public
    Ucombinator/maven-repo’s past year of commit activity
    0 0 0 0 Updated Aug 16, 2017
  • soot-docs Public

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

    Ucombinator/soot-docs’s past year of commit activity
    HTML 0 0 0 0 Updated Mar 27, 2017
  • anadroid Public

    Taint flow analysis for android

    Ucombinator/anadroid’s past year of commit activity
    Scala 6 7 0 0 Updated Mar 19, 2015
  • soot-wrapper Public
    Ucombinator/soot-wrapper’s past year of commit activity
    Java 1 0 0 0 Updated Mar 13, 2015

Top languages

Loading…

Most used topics

Loading…