U Combinator

Pinned Repositories

anadroid
Taint flow analysis for android
Language:Scala6 19 07
cloud9-analyst
Fork of cloud9 with plugins for navigation of static analysis results.
Language:JavaScript1 18 340
jaam
JVM Abstracting Abstract Machine
Language:Scala25 23 23
jade
Jade: The Java Decompiler
Language:Scala6 10 01
maven-repo
0 17 00
parsing-with-zippers
A clean implementation of Parsing with Zippers.
Language:OCaml37 9 02
soot-wrapper
Language:Java1 18 00
spf-plotter
Language:Java0 9 00
spf-wca
Tool for algorithmic complexity analysis based on symbolic execution
Language:Java0 8 00
Tapas
Dalvik bytecode analysis in scala
Language:Scala15 13 07

U Combinator's Repositories

Ucombinator/parsing-with-zippers
A clean implementation of Parsing with Zippers.
Language:OCaml37 9 02
Ucombinator/jaam
JVM Abstracting Abstract Machine
Language:Scala25 23 23
Ucombinator/Tapas
Dalvik bytecode analysis in scala
Language:Scala15 13 07
Ucombinator/anadroid
Taint flow analysis for android
Language:Scala6 19 07
Ucombinator/jade
Jade: The Java Decompiler
Language:Scala6 10 01
Ucombinator/cloud9-analyst
Fork of cloud9 with plugins for navigation of static analysis results.
Language:JavaScript1 18 340
Ucombinator/soot-wrapper
Language:Java1 18 00
Ucombinator/maven-repo
0 17 00
Ucombinator/spf-plotter
Language:Java0 9 00
Ucombinator/spf-wca
Tool for algorithmic complexity analysis based on symbolic execution
Language:Java0 8 00
Ucombinator/soot-docs
Javadoc from the nightly build of soot we use in jaam, as their server is down
Language:HTML8 0