search

draperlaboratory / cbat_tools

Program analysis tools developed at Draper on the CBAT project.
MIT License
102 stars 14 forks source link

Save a pruned version of the kb to the cache #248

Closed fortunac closed 4 years ago

fortunac commented 4 years ago

Based off of our discussion yesterday, this PR tests saving a pruned version of the kb to the cache. On some functions (tar_dirname), this changed runtime from 33s to 9s, but on others, (parse_branch), this changed runtime from 1m46s to 2m45s. I'm not really sure if this is the approach we want to go for.

This also might fix #247. I wasn't able to reproduce this bug unfortunately, but I had to update some parts of the architecture retrieval API. If you could test this for me, that would be great!

DieracDelta commented 4 years ago

This looks good to me and fixes issue #247 for me!