Gran colección de recursos enfocado al análisis del código binario

binary_analysis.jpg

REMath es un repositorio en Github que contiene una gran lista de recursos relacionados con el análisis de código binario o máquina.

Dicha lista es bastante amplia, y contiene desde documentos académicos con lo último en investigaciones en este campo, hasta herramientas bien conocidas. Para que tengas una idea de lo que puedes encontrar en el mismo, os dejo las secciones en las que se divide la lista:

  • Mechanization of Exploits
  • Binary Analysis
  • Analysis of Communication Protocols
  • Intermediate Representations
  • Alias Analysis
  • Binary Rewriting
  • Abstract Interpretation
  • Logical solvers
  • Probabilistic Logic
  • Datalog
  • String Solvers
  • Datasets
  • Ground Truth
  • Obfuscators
  • Hidden Computation
  • Deobfuscation
  • Disassemblers
  • Decompilers
  • Virtual Machines
  • Videos
  • Model Checkers
  • Reasoning About Finite-state and Pushdown Automata
  • Debuggers
  • Interactive Theorem Provers
  • Control Flow Integrity
  • C Code / C++ Code
  • Quantitative Analysis
  • Assisted Exploit Engineering
    • Return-oriented Programming
  • Random Testing (Fuzzing)
  • Dynamic Analysis is an interpretation of the static semantics
  • Disassemblers & Debuggers
    • x86 only
    • x64
    • Multi-Architecture
    • Java
  • Decompilers
  • Type and Data Structure Recovering
  • Deobfuscation/Unpacking
  • Cryptography
  • Visualization
  • Anti-Debugging / Anti-Reversing