All Categories → No Category → kframework

Top 1 kframework open source projects

binary-decompilation

Extracting high level semantic information from binary code

✭ 55

assembly LLVM python HTML c perl semantics x86-64 symbolic-execution x86 binary-analysis program-analysis llvm-bitcode kframework

1-1 of 1 kframework projects