I have an internal request to add dehydra primitives that would output
strings into the assembly file.  The idea is to allow partial
information to be emitted to individual object files and then be able
to apply some transitive closure analysis on the resulting linked
binary (via readelf or some such).

Has anyone experimented with this?  Technically, it does not seem
overly complicated to implement, but would it be an acceptable
extension in dehydra?


Thanks.  Diego.
_______________________________________________
dev-static-analysis mailing list
[email protected]
https://lists.mozilla.org/listinfo/dev-static-analysis

Reply via email to