malaverdiere/demo-manual-composition
Demo application of our SANER 2015 paper
Developer Profile
malaverdiere
Discovered public repositories for malaverdiere in the GitHub catalog.
malaverdiere/soot-scala
Scala wrappers for Soot and other utilities
malaverdiere/jseduite
Git clone of the SVN repo for jSeduite
malaverdiere/securibench-micro
Securibench Micro is a benchmark for static analysis tools for security.
malaverdiere/scalaxb-bug-data
Public repository.
malaverdiere/wastetracker
Fork of https://bitbucket.org/fidox/wastetracker that is easier to build
malaverdiere/bug-example
Public repository.
malaverdiere/securibench-jaxws
Port of JBoss-WS Tests for static analyses
malaverdiere/soot-infoflow
Public repository.
malaverdiere/heros
IFDS/IDE Solver for Soot
malaverdiere/soot-javaee-stubs
JavaEE stubs necessary to use the soot JavaEE extensions.
malaverdiere/kde-colors-solarized
Solarized color scheme for various KDE components (Kate, Konsole, Color palette)