draperlaboratory/hope-policy-engine

Add data symbols to `.text.tagged` file

Opened this issue · 0 comments

Currently gen_tag_info and md_asm_ann take the output of objdump -dS as input. This only provides tag information for the text section of the executable. This issue is to add support for annotating tags on data symbols (objdump -t) to give information about initial data tag state.