k-framework topic
List
k-framework repositories
X86-64-semantics
130
Stars
11
Forks
Watchers
Semantics of x86-64 in K
llvm-semantics
42
Stars
9
Forks
Watchers
Formal semantics of LLVM IR in K
KParser
16
Stars
1
Forks
Watchers
.NET Tool for parsing and utilizing x86 semantics defined in K. It currently features a WIP symbolic expression generator for VTIL.