fvrmatteo

Pinned Repositories

ASMSimplifier
Language:C15 3 28
DeobfuscatorTest
Language:C24 7 010
dextractor
A simple DEX information extractor
Language:C57
DMNP
Resources of the "Dissecting mobile native code packers. A case study." Zimperium's blogpost.
Language:Python89 3 227
ENRGEMBP
Efficient Normalized Reduction and Generation of Equivalent Multivariate Binary Polynomials
Language:Python31
NeuReduce
Language:Jupyter Notebook10 1 07
oracle-synthesis-meets-equality-saturation
Language:Python21 2 02
PE-Parser-MASM32
A PE32/PE32+ parser written in MASM32
Language:Assembly13 3 06
SiMBA
Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions
Language:Python4 0 02
TritonASTLLVMIRTranslator
A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.
Language:C++34 5 110

fvrmatteo's Repositories

fvrmatteo/DMNP
Resources of the "Dissecting mobile native code packers. A case study." Zimperium's blogpost.
Language:Python89 3 227
fvrmatteo/TritonASTLLVMIRTranslator
A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.
Language:C++34 5 110
fvrmatteo/oracle-synthesis-meets-equality-saturation
Language:Python21 2 02
fvrmatteo/ASMSimplifier
Language:C15 3 28
fvrmatteo/NeuReduce
Language:Jupyter Notebook10 1 07
fvrmatteo/SiMBA
Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions
Language:Python4 0 02
fvrmatteo/ENRGEMBP
Efficient Normalized Reduction and Generation of Equivalent Multivariate Binary Polynomials
Language:Python31
fvrmatteo/pafish
Pafish is a demonstration tool that employs several techniques to detect sandboxes and analysis environments in the same way as malware families do.
Language:C2 1 0
fvrmatteo/APKiD
Android Application Identifier for Packers, Protectors, Obfuscators and Oddities - PEiD for Android
Language:YARA1 0 0
fvrmatteo/DEXParse
Language:C1 2 01
fvrmatteo/secondhand
Language:Java1 1 0
fvrmatteo/Triton
Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.
Language:C++1 0 0
fvrmatteo/bfss
Blazingly Fast Skolem function Synthesis
Language:Verilog0 0
fvrmatteo/BooleanFunctionSynthesis
Implementation of algorithms for Boolean function synthesis
Language:C++0 0
fvrmatteo/cadet
A fast and certifying solver for quantified Boolean formulas.
Language:C0 0
fvrmatteo/capstone
Capstone disassembly/disassembler framework: Core (Arm, Arm64, M68K, Mips, PPC, Sparc, SystemZ, X86, X86_64, XCore) + bindings (Python, Java, Ocaml)
Language:POV-Ray SDL1 0
fvrmatteo/dcc
DCC (Dex-to-C Compiler) is method-based aot compiler that can translate DEX code to C code.
Language:Python0 0
fvrmatteo/engine
The Flutter engine
Language:C++0 0
fvrmatteo/GAMBA
Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA
Language:Python0 0
fvrmatteo/hiredis
Minimalistic C client for Redis >= 1.2
Language:C0 0
fvrmatteo/keystone
Keystone assembler framework: Core (Arm, Arm64, Hexagon, Mips, PowerPC, Sparc, SystemZ & X86) + bindings
Language:C++1 0
fvrmatteo/klee
KLEE Symbolic Virtual Machine
Language:C++0 0
fvrmatteo/MBA-Obfuscator
Non-linear Mixed Boolean-Arithmetic Expressions
Language:Python0 0
fvrmatteo/MBA-Solver
Language:Python0 0
fvrmatteo/NeuReduce_pytorch
https://aclanthology.org/2020.findings-emnlp.56/
Language:Python0 03
fvrmatteo/ProMBA
MBA deobfuscator via Program Synthesis and Term Rewriting
Language:C0 0
fvrmatteo/RANE
Language:Verilog0 0
fvrmatteo/reFlutter
Flutter Reverse Engineering Framework
Language:Python0 0
fvrmatteo/remill
Library for lifting of x86, amd64, and aarch64 machine code to LLVM bitcode
Language:C++0 0
fvrmatteo/rootAVD
Script to root AVDs running with QEMU Emulator from Android Studio
Language:Batchfile0 0