https://github.com/chaoses-ib/formallanguages

binary-analysis formal-languages reverse-engineering x86
Last synced: 11 months ago
JSON representation
Host: GitHub
URL: https://github.com/chaoses-ib/formallanguages
Owner: Chaoses-Ib
License: mit
Created: 2022-07-28T21:40:40.000Z (over 3 years ago)
Default Branch: main
Last Pushed: 2025-04-25T17:50:15.000Z (11 months ago)
Last Synced: 2025-04-25T18:43:57.538Z (11 months ago)
Topics: binary-analysis, formal-languages, reverse-engineering, x86
Language: Markdown
Homepage:
Size: 1.28 MB
Stars: 6
Watchers: 2
Forks: 1
Open Issues: 0
Metadata Files:
- Readme: README.md
- License: LICENSE.txt
Awesome Lists containing this project

README

          # [Formal Languages](Formal%20Languages.md)

## [Models](Models/README.md)

- [Reversible Computing](Models/Reversible.md)

## Grammar

- [Parsing Expression Grammar](Grammar/Parsing%20Expression.md)

- Parsing

  - [Parser Generators](Grammar/Parsing/Generators.md)

  - [ANTLR](Grammar/Parsing/ANTLR/README.md)

    - [The Definitive ANTLR 4 Reference](Grammar/Parsing/ANTLR/Reference.md)

    - [Lexers](Grammar/Parsing/ANTLR/Lexers.md)

    - [Context-Sensitive Lexical Problems](Grammar/Parsing/ANTLR/Context.md)

    - [Grammars](Grammar/Parsing/ANTLR/Grammars.md)

    - [Runtime](Grammar/Parsing/ANTLR/Runtime/README.md)

      - [tree](Grammar/Parsing/ANTLR/Runtime/tree.md)

    - [Python](Grammar/Parsing/ANTLR/Python.md)

    - [ANTLRWorks 2](Grammar/Parsing/ANTLR/ANTLRWorks.md)

    - [Web](Grammar/Parsing/ANTLR/Web.md)

## [Semantics](Semantics/README.md)

- [K](Semantics/K/README.md)

## [Programs](Program/README.md)

- [Identifers](Program/Identifiers/README.md)

  - [Name Mangling](Program/Identifiers/Mangling.md)

- Data

  - [Literals](Program/Data/Literals.md)

  - [Strings](Program/Data/Strings/README.md)

    - [Literals](Program/Data/Strings/Literals.md)

    - [Compilation](Program/Data/Strings/Compilation.md)

    - [Inline](Program/Data/Strings/Inline.md)

    - [Obfuscation](Program/Data/Strings/Obfuscation/README.md)

  - [Obfuscation](Program/Data/Obfuscation.md)

- [Program Analysis](Program/Analysis/README.md)

  - Functions

    - [Detection](Program/Analysis/Functions/Detection.md)

  - [Intermediate Representations](Program/Analysis/IR/README.md)

  - [Program Differing](Program/Analysis/Differing.md)

  - [Tracing](Program/Analysis/Tracing.md)

  - [Performance Analysis](Program/Analysis/Performance/README.md)

    - [Profiling](Program/Analysis/Performance/Profiling.md)

  - [Tools](Program/Analysis/Tools/README.md)

    - [IDA](Program/Analysis/Tools/IDA/README.md)

    - [Binary Ninja](Program/Analysis/Tools/Binary%20Ninja/README.md)

    - [WinDbg](Program/Analysis/Tools/WinDbg/README.md)

- [Exceptions](Program/Exceptions/README.md)

  - [Structured Exception Handling (SEH)](Program/Exceptions/SEH.md)

- [Compilers](Program/Compilers/README.md)

  - Optimization

    - [Interprocedural Optimization](Program/Compilers/Optimization/Interprocedural.md)

  - [LLVM](Program/Compilers/LLVM/README.md)

  - [GNU Compiler Collection](Program/Compilers/GCC/README.md)

  - [Microsoft Visual C++](Program/Compilers/MSVC/README.md)

- [Linking](Program/Linking/README.md)

  - [Dynamic](Program/Linking/Dynamic/README.md)

  - [Relocating](Program/Linking/Relocating.md)

- [Executable Formats](Program/Formats/README.md)

  - [Shellcode](Program/Formats/Shellcode/README.md)

  - [Common Object File Format (COFF)](Program/Formats/COFF/README.md)

    - [Object Files](Program/Formats/COFF/Object/README.md)

    - [Protable Executable](Program/Formats/COFF/PE/README.md)

      - [Resources](Program/Formats/COFF/PE/Resources.md)

  - [Debugging Information](Program/Formats/Debugging/README.md)

    - [MAP](Program/Formats/Debugging/MAP.md)

    - [Program Database (PDB)](Program/Formats/Debugging/PDB.md)

    - [DWARF](Program/Formats/Debugging/DWARF.md)

  - [Memory Dumps](Program/Formats/Dumps/README.md)

- [Binary Rewriting](Program/Rewriting/README.md)

- Packers

  - [UPX](Program/Packers/UPX/README.md)

  - [ASPack](Program/Packers/ASPack/README.md)

  - [Code Virtualizer]()

  - [Safengine](Program/Packers/Safengine/README.md)

  - [The Enigma Protector](Program/Packers/Enigma/README.md)

  - [Themida](Program/Packers/Themida/README.md)

  - [VMProtect](Program/Packers/VMProtect/README.md)

- [Hooking](Program/Hooking.md)

- [Virtualization](Program/Virtualization/README.md)

  - [QEMU](Program/Virtualization/QEMU/README.md)

    - [Unicorn](Program/Virtualization/QEMU/Unicorn/README.md)

  - [VMware](Program/Virtualization/VMware/README.md)

  - [Hyper-V](Program/Virtualization/Hyper-V/README.md)

- Security

  - [Obfuscation](Program/Security/Obfuscation/README.md)

    - [Controlf-flow Obfuscation](Program/Security/Obfuscation/Control/README.md)

      - [CFG Art](Program/Security/Obfuscation/Control/CFG%20Art.md)

    - [ISA-level Obfuscation](Program/Security/Obfuscation/ISA/README.md)

- [→Concurrent Computing](https://github.com/Chaoses-Ib/ConcurrentComputing)

- [→Computer Software](https://github.com/Chaoses-Ib/ComputerSoftware)

### [Processors](Program/Processors/README.md)

- [Performance](Program/Processors/Performance/README.md)

  - [Benchmarking](Program/Processors/Performance/Benchmarking.md)

- [Tools](Program/Processors/Tools.md)

#### Instructions

- [Assembly Language](Program/Processors/Instructions/Assembly/README.md)

- [Application Binary Interface](Program/Processors/Instructions/Interface/README.md)

  - [Calling Conventions](Program/Processors/Instructions/Interface/Calling.md)

- [Matching](Program/Processors/Instructions/Matching.md)

- [Diffing](Program/Processors/Instructions/Diffing.md)

#### [Security](Program/Processors/Security/README.md)

- [Return-Oriented Programming](Program/Processors/Security/Return-Oriented%20Programming.md)

- [Pwntools](Program/Processors/Security/Pwntools.md)

- [Obfuscation](Program/Processors/Security/Obfuscation/README.md)

  - [Mixed Boolean-Arithmetic](Program/Processors/Security/Obfuscation/MBA.md)

  - [M/o/Vfuscator](Program/Processors/Security/Obfuscation/MoVfuscator.md)

#### [x86](Program/Processors/x86/README.md)

- [Modes of Operation](Program/Processors/x86/Modes%20of%20Operation.md)

- [Execution Environment](Program/Processors/x86/Execution%20Environment.md)

- Instructions

  - [Instruction Encoding](Program/Processors/x86/Instructions/Encoding.md)

  - [General-Purpose Instructions](Program/Processors/x86/Instructions/General/README.md)

    - [No Operation](Program/Processors/x86/Instructions/General/No%20Operation.md)

- [Application Binary Interface](Program/Processors/x86/Interface/README.md)

  - [Calling Conventions](Program/Processors/x86/Interface/Calling.md)

- [Memory Management](Program/Processors/x86/Memory/README.md)

  - [Memory Alignment](Program/Processors/x86/Memory/Alignment.md)

## Data Exchange Languages

- [Data Comparison](Data/Comparison.md)

- [Text](Data/Text/README.md)

  - [Binary-to-text Encodings](Data/Text/Binary.md)

  - [Delimiter-Separated Values]()

  - [JavaScript Object Notation (JSON)](Data/Text/JSON/README.md)

    - [JSON Schema](Data/Text/JSON/Schema.md)

    - [JSON Type Definition](Data/Text/JSON/Definition.md)

    - [JSON Streaming](Data/Text/JSON/Streaming.md)

  - [TOML](Data/Text/TOML.md)

  - [YAML](Data/Text/YAML.md)

- [Protocol Buffers (Protobuf)](Data/Protobuf.md)

- [Apache Arrow](Data/Arrow.md)

## [Regular Expressions](Regular/README.md)

- [Engines](Regular/Engines/README.md)

  - [API](Regular/Engines/API.md)

## [Template Languages](Template/README.md)

- [printf Format](Template/printf%20Format.md)

## [Markup Languages](Markup/README.md)

- [Extensible Markup Language (XML)](Markup/Extensible/README.md)

- [TeX](Markup/TeX/README.md)

  - [LaTeX](Markup/TeX/LaTeX.md)

- [Markdown](Markup/Markdown/README.md)

  - [MDX](Markup/Markdown/MDX/README.md)

  - [Editors](Markup/Markdown/Editors.md)
ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Awesome

https://github.com/chaoses-ib/formallanguages

Awesome Lists containing this project

README
