fvrmatteo Goto Github PK

alive2

apkid

Android Application Identifier for Packers, Protectors, Obfuscators and Oddities - PEiD for Android

asm

Some ASM test and projects

asmsimplifier

bfss

Blazingly Fast Skolem function Synthesis

booleanfunctionsynthesis

Implementation of algorithms for Boolean function synthesis

cadet

A fast and certifying solver for quantified Boolean formulas.

capstone

Capstone disassembly/disassembler framework: Core (Arm, Arm64, M68K, Mips, PPC, Sparc, SystemZ, X86, X86_64, XCore) + bindings (Python, Java, Ocaml)

cerberus-software-protector

Automatically exported from code.google.com/p/cerberus-software-protector

cv

dcc

DCC (Dex-to-C Compiler) is method-based aot compiler that can translate DEX code to C code.

deobfuscatortest

dexparse

dextractor

A simple DEX information extractor

disclosures

A place for disclosing things

dmnp

Resources of the "Dissecting mobile native code packers. A case study." Zimperium's blogpost.

droidsec.github.io

The droidsec web site!

dumpdex

Android Unpack tool based on Cydia

engine

The Flutter engine

evernotereader

Java application that turns an Evernote Backup (.enex/.xml) to a clearly formatted text.

flairdatabase

Automatically exported from code.google.com/p/flairdatabase

gamba

Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA

hiredis

Minimalistic C client for Redis >= 1.2

keystone

Keystone assembler framework: Core (Arm, Arm64, Hexagon, Mips, PowerPC, Sparc, SystemZ & X86) + bindings

klee

KLEE Symbolic Virtual Machine

mba-obfuscator

Non-linear Mixed Boolean-Arithmetic Expressions

mba-solver

neureduce

neureduce_pytorch

https://aclanthology.org/2020.findings-emnlp.56/

npdeferreds

OpenGL