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: about 1 month 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 (about 7 years ago)
• Default Branch: master
• Last Pushed: 2017-12-05T04:20:37.000Z (about 7 years ago)
• Last Synced: 2024-04-22T10:11:41.357Z (8 months ago)
• Language: OCaml
• Size: 2.62 MB
• Stars: 1
• Watchers: 3
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project