draperlaboratory / cbat_tools

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

Bildb does not allocate locations noted in a bildb-init file #316

Open jtpaasch opened 3 years ago

jtpaasch commented 3 years ago

When you invoke bildb with --bildb-init=foo.yml, if foo.yml specifies some locations that aren't initialized by Primus, bildb silently ignores those locations. What it should do is first allocate those locations, then set them to the value specified by foo.yml.

During an interactive debugging session, if you type set 0xADDR=0xVALUE, if 0xADDR isn't allocated, then bildb will allocate it, and then set it to 0xVALUE. We can just copy this same idea over to the initialization from an init file.