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: about 16 hours 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 (over 9 years ago)
• Default Branch: master
• Last Pushed: 2019-06-13T03:28:41.000Z (over 6 years ago)
• Last Synced: 2025-04-12T14:15:45.728Z (6 months ago)
• Topics: binary-analysis, kframework, llvm-bitcode, program-analysis, semantics, symbolic-execution, x86, x86-64
• Language: Assembly
• Homepage:
• Size: 244 MB
• Stars: 65
• Watchers: 6
• Forks: 8
• Open Issues: 3
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.TXT

Awesome Lists containing this project