search

GaloisInc / daedalus

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

optimize PDF parsing time #177

Open wrharris opened 3 years ago

wrharris commented 3 years ago

The current PDF parser executes with unacceptable overhead on performance time.

Optimize it by relaxing validation checks, while attempting to minimize the set of false negatives that are introduced.

mtullsen commented 3 years ago

@wrharris see my comment in the code here: https://github.com/GaloisInc/daedalus/commit/b964bc0dfa6cfcfeb11d733d58dde2a62f6f69a7 In case you need it, I can provide some evidence.