https://github.com/squareslab/type-recovery

Type equivalence and recovery for decompiled code
https://github.com/squareslab/type-recovery

active recovery

Last synced: 9 months ago
JSON representation

Type equivalence and recovery for decompiled code

• Host: GitHub
• URL: https://github.com/squareslab/type-recovery
• Owner: squaresLab
• License: mit
• Created: 2018-04-24T14:39:04.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2018-12-07T19:02:25.000Z (over 7 years ago)
• Last Synced: 2025-04-30T16:44:19.050Z (12 months ago)
• Topics: active, recovery
• Language: OCaml
• Size: 80.1 KB
• Stars: 3
• Watchers: 2
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# type-recovery - Recover Decompiled Types in C

type-recovery is ongoing research and the code is rapidly changing. It is probably

not useful to many at the moment.

Requires OCaml >= 4.06.0. The current version of CIL is not compatible with

4.06.0, but you should be able to install from the [develop branch of my

fork](https://github.com/jlacomis/cil/tree/develop) using `opam pin add cil

git@github.com:jlacomis/cil.git#develop`.