Colton1skees/KParser

.NET Tool for parsing and utilizing x86 semantics defined in K. It currently features a WIP symbolic expression generator for VTIL.

语言：C# · GitHub 星标：19 · Fork：2

话题：instruction-semantics · intermediate-language · k-framework · vtil · x86-64

在 GitHub 上查看原仓库