Formal Languages

Grammar

• Parsing Expression Grammar
• Parsing
  • Parser Generators
  • ANTLR
    • The Definitive ANTLR 4 Reference
    • Lexers
    • Context-Sensitive Lexical Problems
    • Grammars
    • Runtime
      • tree
    • Python
    • ANTLRWorks 2
    • Web

Processors

• Performance
  • Benchmarking
• Tools

Instructions

• Assembly Language
• Application Binary Interface
  • Calling Conventions
• Matching
• Diffing

Security

• Return-Oriented Programming
• Pwntools
• Obfuscation
  • Mixed Boolean-Arithmetic
  • M/o/Vfuscator

x86

• Modes of Operation
• Execution Environment
• Instructions
  • Instruction Format
  • General-Purpose Instructions
    • No Operation
• Application Binary Interface
  • Calling Conventions
• Memory Management
  • Memory Alignment

Programming Languages

• Identifers
• Literals
  • String Literals
• Program Analysis
  • Program Differing
  • Performance Analysis
    • Profiling
• Compilers
  • Name Mangling
  • Optimization
    • Interprocedural Optimization
  • LLVM
  • GNU Compiler Collection
  • Microsoft Visual C++
• Executable Formats
  • Shellcode
  • Debugging Information
  • Protable Executable
  • Packers
    • UPX
    • ASPack
    • Code Virtualizer
    • Safengine
    • The Enigma Protector
    • Themida
    • VMProtect
• Security
  • Obfuscation
    • Controlf-flow Obfuscation
      • CFG Art
    • Data-flow Obfuscation
      • String Obfuscation
    • ISA-level Obfuscation
  • Tools
    • IDA

Data Exchange Languages

• Data Comparison
• Delimiter-Separated Values
• Protocol Buffers
• Apache Arrow

Regular Expressions

• Engines
  • API

Template Languages

• printf Format

Markup Languages

• TeX
  • LaTeX
• Markdown
  • Editors