.NET Tool for parsing and utilizing x86 semantics defined in K. It currently features a WIP symbolic expression generator for VTIL.
-
Updated
Feb 4, 2021 - C#
.NET Tool for parsing and utilizing x86 semantics defined in K. It currently features a WIP symbolic expression generator for VTIL.
Add a description, image, and links to the k-framework topic page so that developers can more easily learn about it.
To associate your repository with the k-framework topic, visit your repo's landing page and select "manage topics."