Extracting high level semantic information from binary code
-
Updated
Jun 13, 2019 - Assembly
#
kframework
Here are 8 public repositories matching this topic...
K language support for Visual Studio Code
-
Updated
Feb 28, 2023
Equivalence proofs of EVM models
-
Updated
Oct 8, 2025 - Lean
Port of popular dock application for KDE Framework 6, Qt6
-
Updated
Apr 20, 2024 - C++
K Learning Experience
-
Updated
Mar 5, 2020 - Makefile
semantics of IR generated by GoLLVM(Go compiler with LLVM as its backend). It also verify the heap2stack invariant of escape analysis for some test cases. Yes, they say that's verification, obviously different from proof.
-
Updated
Nov 15, 2024 - LLVM
The K tools
-
Updated
Aug 21, 2015 - Java
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."