https://github.com/adrianherrera/kaitai-s2e

Code for my blog post on combining S2E and Kaitai Struct
https://github.com/adrianherrera/kaitai-s2e

kaitai-struct s2e symbolic-execution

Last synced: about 1 year ago
JSON representation

Code for my blog post on combining S2E and Kaitai Struct

• Host: GitHub
• URL: https://github.com/adrianherrera/kaitai-s2e
• Owner: adrianherrera
• Created: 2017-10-23T10:45:19.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2019-06-01T05:54:08.000Z (about 7 years ago)
• Last Synced: 2025-03-28T23:43:34.330Z (about 1 year ago)
• Topics: kaitai-struct, s2e, symbolic-execution
• Language: C++
• Homepage: https://adrianherrera.github.io/post/kaitai-s2e
• Size: 8.79 KB
• Stars: 15
• Watchers: 1
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# "Targeting" File Parsers with S2E and Kaitai Struct

This code accompanies my blog post ["Targeting" File Parsers with S2E and

Kaitai Struct](https://adrianherrera.github.io/post/kaitai-s2e).

The contents of each directory should be copied into the directory of the same

name in your S2E environment, located at `$S2EDIR`.

* guest: `$S2EDIR/source/s2e/guest`

* libs2eplugins: `$S2EDIR/source/s2e/libs2eplugins`

* readelf_kaitai: `$S2EDIR/projects/readelf_kaitai`