GaloisInc / daedalus

The Daedalus data description language
BSD 3-Clause "New" or "Revised" License
63 stars 11 forks source link

Initial version of an ELF grammar. Still under development. #361

Open sauclovian-g opened 9 months ago

sauclovian-g commented 9 months ago

This version builds, but doesn't work yet.

The immediate problem (when run on a copy of /bin/sed from Ubuntu 18.04, which I had lying around) is that partway through the program headers it finds one of type 4 and thinks this isn't a valid ElfSegmentType, except that it is, and it's not clear what's going on.