https://github.com/sdasgup3/binary-decompilation

Extracting high level semantic information from binary code
https://github.com/sdasgup3/binary-decompilation

binary-analysis kframework llvm-bitcode program-analysis semantics symbolic-execution x86 x86-64

Last synced: 3 days ago
JSON representation

Extracting high level semantic information from binary code

• Host: GitHub
• URL: https://github.com/sdasgup3/binary-decompilation
• Owner: sdasgup3
• License: other
• Created: 2016-03-25T04:09:43.000Z (almost 9 years ago)
• Default Branch: master
• Last Pushed: 2019-06-13T03:28:41.000Z (over 5 years ago)
• Last Synced: 2023-08-14T19:16:37.600Z (over 1 year ago)
• Topics: binary-analysis, kframework, llvm-bitcode, program-analysis, semantics, symbolic-execution, x86, x86-64
• Language: Assembly
• Homepage:
• Size: 244 MB
• Stars: 59
• Watchers: 7
• Forks: 8
• Open Issues: 3

Awesome Lists containing this project