All Git Users → plum-umd

6 open source projects by plum-umd

[ Open user page on Github ]

The Redexer binary instrumentation framework for Dalvik bytecode

✭ 137

ocaml dex dynamic-analysis

✭ 82

The dexdump tool

✭ 16

c C++objective c

Synthesizing Framework Models for Symbolic Execution

✭ 15

java python HTML GAP shell DTrace

Constructive Galois connections

✭ 29

Adapton Project Homepage

✭ 16

1-6 of 6 user projects