MarcMil/soot
Soot - A Java optimization framework
Repositories
MarcMil/DroidBench
A micro-benchmark suite to assess the stability of taint-analysis tools for Android
MarcMil/JCG
Benchmark and Comparison for JVM Bytecode Call Graph Algorithms/Frameworks
MarcMil/embedded-postgres
Java embedded PostgreSQL component for testing
MarcMil/heros
IFDS/IDE Solver for Soot
MarcMil/eclipse-collections
Eclipse Collections is a collections framework for Java with optimized data structures and a rich, functional and fluent API.
MarcMil/tycho
Tycho project repository (tycho)
MarcMil/Koloboke
Java Collections till the last breadcrumb of memory and performance
MarcMil/proguard-core
Library to read, write, analyze, and process java bytecode
MarcMil/ormlite-jdbc
ORMLite JDBC functionality that works with JDBC drivers to attach to various database types
MarcMil/xtext-web
xtext-web
MarcMil/xtext-core
xtext-core
MarcMil/axml
The axml components for reading binary Android XML files in Soot
MarcMil/smali
smali/baksmali
MarcMil/NonRecursiveKryo
Demo project, which shows how a non-recursive kryo serializer could be implemented. Not super beautiful.
MarcMil/FSE22-CodeSmells
Data for Security Code Smells Paper at ESEC/FSE 2022
MarcMil/ormlite-core
Core ORMLite functionality that provides a lite Java ORM in conjunction with ormlite-jdbc or ormlite-android
MarcMil/proguard
ProGuard, Java optimizer and obfuscator
MarcMil/kryo
Java binary serialization and cloning: fast, efficient, automatic
MarcMil/jacoco
:microscope: Java Code Coverage Library
MarcMil/reflectasm
High performance Java reflection
MarcMil/swagger-core
Examples and server integrations for generating the Swagger API Specification, which enables easy access to your REST API
MarcMil/FlowDroid
MarcMil/openapi-generator
OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)
MarcMil/maven-jarsigner-plugin
Apache Maven Jarsigner Plugin
MarcMil/jtwfg
jtwfg implements a task wait for graph model with a deadlock detection algorithm as Java library
MarcMil/ghidra
Ghidra is a software reverse engineering (SRE) framework
MarcMil/jdot
Java library to generate GraphViz DOT files.
MarcMil/StringHound
MarcMil/Apktool
A tool for reverse engineering Android apk files