Chaoses-Ib/FormalLanguages

# [形式语言](Formal%20Languages.md) ## [模型](Models/README.md) - [可逆计算](Models/Reversible.md) ## 语法 - [语法树](Grammar/Trees.md) - [解析表达式语法](Grammar/Parsing%20Expression.md) - [解析](Grammar/Parsing/README.md) - [词法分析](Grammar/Parsing/Lexing/README.typ) - [词法分析器](Grammar/Parsing/Lexing/Lexers.typ) - [解析器生成器](Grammar/Parsing/Generators.md) - [解析器组合器](Grammar/Parsing/Combinators.md) - [ANTLR](Grammar/Parsing/ANTLR/README.md) - [The Definitive ANTLR 4 Reference](Grammar/Parsing/ANTLR/Reference.md) - [词法分析器](Grammar/Parsing/ANTLR/Lexers.md) - [上下文相关词法问题](Grammar/Parsing/ANTLR/Context.md) - [文法](Grammar/Parsing/ANTLR/Grammars.md) - [运行时](Grammar/Parsing/ANTLR/Runtime/README.md) - [树](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/README.md) - [K](Semantics/K/README.md) ## [程序](Program/README.md) - [标识符](Program/Identifiers/README.md) - [名称修饰](Program/Identifiers/Mangling.md) - 数据 - [字面量](Program/Data/Literals.md) - [字符串](Program/Data/Strings/README.md) - [字面量](Program/Data/Strings/Literals.md) - [编译](Program/Data/Strings/Compilation.md) - [内联](Program/Data/Strings/Inline.md) - [混淆](Program/Data/Strings/Obfuscation/README.md) - [提取](Program/Data/Extraction.md) - [混淆](Program/Data/Obfuscation.md) - [程序分析](Program/Analysis/README.md) - 函数 - [检测](Program/Analysis/Functions/Detection.md) - [中间表示](Program/Analysis/IR/README.md) - [二进制代码匹配](Program/Analysis/Matching.md) - [二进制差异分析](Program/Analysis/Diffing.md) - [程序差异](Program/Analysis/Differing.md) - [跟踪](Program/Analysis/Tracing.md) - [性能分析](Program/Analysis/Performance/README.md) - [性能剖析](Program/Analysis/Performance/Profiling.md) - [YARA](Program/Analysis/YARA.md) - [工具](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) - [异常](Program/Exceptions/README.md) - [结构化异常处理 (SEH)](Program/Exceptions/SEH.md) - [编译器](Program/Compilers/README.md) - [LLVM](Program/Compilers/LLVM/README.md) - [模块](Program/Compilers/LLVM/Modules.md) - [函数](Program/Compilers/LLVM/Functions.md) - [中间表示](Program/Compilers/LLVM/IR/README.md) - [内存](Program/Compilers/LLVM/Memory.md) - [机器](Program/Compilers/LLVM/Machines/README.md) - [插件](Program/Compilers/LLVM/Plugins.md) - [GNU 编译器集合](Program/Compilers/GCC/README.md) - [Microsoft Visual C++](Program/Compilers/MSVC/README.md) - [优化](Program/Optimization/README.md) - [过程间优化](Program/Optimization/Interprocedural/README.md) - [函数合并](Program/Optimization/Interprocedural/Merging.md) - [寄存器分配](Program/Optimization/Register/README.md) - [链接](Program/Linking/README.md) - [动态](Program/Linking/Dynamic/README.md) - [重定位](Program/Linking/Relocating.md) - [可执行文件格式](Program/Formats/README.md) - [Shellcode](Program/Formats/Shellcode/README.md) - [通用对象文件格式 (COFF)](Program/Formats/COFF/README.md) - [目标文件](Program/Formats/COFF/Object/README.md) - [可移植可执行文件](Program/Formats/COFF/PE/README.md) - [Rich Header](Program/Formats/COFF/PE/Rich.md) - [资源](Program/Formats/COFF/PE/Resources.md) - [调试信息](Program/Formats/Debugging/README.md) - [MAP](Program/Formats/Debugging/MAP.md) - [程序数据库 (PDB)](Program/Formats/Debugging/PDB.md) - [DWARF](Program/Formats/Debugging/DWARF.md) - [内存转储](Program/Formats/Dumps/README.md) - [二进制重写](Program/Rewriting/README.md) - [指令重写](Program/Rewriting/Instruction.md) - [打包器](Program/Packers/UPX/README.md) - [UPX](Program/Packers/ASPack/README.md) - [ASPack]() - [代码虚拟化](Program/Packers/Safengine/README.md) - [Safengine](Program/Packers/Safengine/README.md) - [Enigma Protector](Program/Packers/Enigma/README.md) - [Themida](Program/Packers/Themida/README.md) - [VMProtect](Program/Packers/VMProtect/README.md) - [挂钩](Program/Hooking/README.typ) - [调试](Program/Debugging/README.md) - [虚拟化](Program/Virtualization/README.md) - [→处理器虚拟化](https://github.com/Chaoses-Ib/Processors#virtualization) - [→硬件虚拟化](https://github.com/Chaoses-Ib/ComputerHardware#virtualization) - [安全性](Program/Security/README.md) - [返回导向编程]() - [Pwntools](Program/Security/Pwntools.md) - [混淆](Program/Security/Obfuscation/README.md) - [混合布尔算术](Program/Security/Obfuscation/MBA.md) - [控制流混淆](Program/Security/Obfuscation/Control/README.md) - [CFG 艺术](Program/Security/Obfuscation/Control/CFG%20Art.md) - [ISA 级混淆](Program/Security/Obfuscation/ISA/README.md) - [M/o/Vfuscator](Program/Security/Obfuscation/ISA/MoVfuscator.md) - [多样性](Program/Security/Diversity.md) - [→并发计算](https://github.com/Chaoses-Ib/ConcurrentComputing) - [→计算机软件](https://github.com/Chaoses-Ib/ComputerSoftware) ### [→处理器](https://github.com/Chaoses-Ib/Processors) ## [数据交换语言](Data/README.md) - [数据对比](Data/Comparison.md) - [文本](Data/Text/README.md) - [二进制到文本编码](Data/Text/Binary.md) - [分隔符分隔值]() - [JavaScript 对象表示法 (JSON)](Data/Text/JSON/README.md) - [二进制 JSON](Data/Text/JSON/Binary.md) - [JSON 模式](Data/Text/JSON/Schema.md) - [JSON 类型定义](Data/Text/JSON/Definition.md) - [JSON 流式处理](Data/Text/JSON/Streaming.md) - [TOML](Data/Text/TOML.md) - [YAML](Data/Text/YAML.md) - [MessagePack](Data/MessagePack/README.md) - [CBOR](Data/MessagePack/CBOR.typ) - [Protocol Buffers (Protobuf)](Data/Protobuf.md) - [Apache Arrow](Data/Arrow.md) - [流](Data/Stream/README.md) - [Rust](Data/Stream/README.md) ## [正则表达式](Regular/README.md) - [glob() 风格模式匹配](Regular/glob.md) - [导数](Regular/Derivatives.md) - [引擎](Regular/Engines/README.md) - [NFA](Regular/Engines/NFA.md) - [DFA](Regular/Engines/DFA.md) - [混合](Regular/Engines/Hybrid.md) - [转译器](Regular/Engines/Transpilers.md) - [API](Regular/Engines/API.md) ## [模板语言](Template/README.md) - [printf 格式](Template/printf%20Format.md) - [Jinja](Template/Jinja.typ) ## [→标记语言](https://github.com/Chaoses-Ib/MarkupLanguages) - [→可扩展标记语言 (XML)](https://github.com/Chaoses-Ib/MarkupLanguages#extensible-markup-language-xml) - [→TeX](https://github.com/Chaoses-Ib/MarkupLanguages#tex) - [→Markdown](https://github.com/Chaoses-Ib/MarkupLanguages#markdown) - [→Typst](https://github.com/Chaoses-Ib/MarkupLanguages#typst)

标签：ANTLR, ANTLR 4 参考, ANTLRWorks 2, K框架, Python, Web, 上下文敏感词法问题, 中间表示, 二进制代码匹配, 二进制差异分析, 内联, 函数检测, 可逆计算, 可配置连接, 名称重整, 字符串, 字符串编译, 字面量, 开放策略代理, 形式语言, 性能分析, 提取, 数据, 文法, 无后门, 树, 混淆, 程序分析, 程序差异, 程序标识符, 解析, 解析器生成器, 解析器组合子, 解析表达式文法, 词法分析, 词法分析器, 语义, 语法分析, 语法树, 跟踪, 运行时, 逆向工具, 防御加固