polytracker icon indicating copy to clipboard operation
polytracker copied to clipboard

Published 20 hours ago • verified publisher icon trailofbits

Refactor TDAG-format, differentiate taint sources

Open hbrodin opened this issue 2 years ago • 1 comments

Decide on a more appropriate abstraction for taint sources. Currently it is file-focused, e.g. the file descriptor is stored along side. However, with the introduction of argv tainting this abstraction no longer holds. Also, additional taint sources are being planned for e.g. sockets.

This will require a refactor of the TDAG file (at least slightly). I believe we should plan for implementing the 'Section'-type previously discussed, and use a shared string table.

hbrodin avatar Sep 15 '22 12:09 hbrodin

#6500 implements the section handling.

hbrodin avatar Nov 08 '22 07:11 hbrodin