Extracting high level semantic information from binary code
-
Updated
Jun 13, 2019 - Assembly
#
kframework
Here are 7 public repositories matching this topic...
K language support for Visual Studio Code
-
Updated
Feb 28, 2023
K Learning Experience
-
Updated
Mar 5, 2020 - Makefile
Port of popular dock application for KDE Framework 6, Qt6
-
Updated
Apr 20, 2024 - C++
The K tools
-
Updated
Aug 21, 2015 - Java
semantics of IR generated by GoLLVM(Go compiler with LLVM as its backend). Bugs exist.
-
Updated
Nov 15, 2024 - LLVM
Improve this page
Add a description, image, and links to the kframework topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the kframework topic, visit your repo's landing page and select "manage topics."