sdasgup3/binary-decompilation

Extracting high level semantic information from binary code

语言：Assembly · GitHub 星标：66 · Fork：6

话题：binary-analysis · kframework · llvm-bitcode · program-analysis · semantics · symbolic-execution · x86 · x86-64

在 GitHub 上查看原仓库