https://github.com/softsec-kaist/meandiff-lifterbinsec
Lift instruction to DBA, using BINSEC, and translate to MeanDiff's UIR
https://github.com/softsec-kaist/meandiff-lifterbinsec
Last synced: 2 months ago
JSON representation
Lift instruction to DBA, using BINSEC, and translate to MeanDiff's UIR
- Host: GitHub
- URL: https://github.com/softsec-kaist/meandiff-lifterbinsec
- Owner: SoftSec-KAIST
- License: lgpl-2.1
- Created: 2017-12-05T03:34:10.000Z (over 8 years ago)
- Default Branch: master
- Last Pushed: 2017-12-05T04:20:37.000Z (over 8 years ago)
- Last Synced: 2025-02-24T01:49:20.338Z (over 1 year ago)
- Language: OCaml
- Size: 2.62 MB
- Stars: 1
- Watchers: 3
- Forks: 1
- Open Issues: 0