spray icon indicating copy to clipboard operation
spray copied to clipboard

Find a way to test more DWARF operations

Open thass0 opened this issue 1 year ago • 0 comments

A lot of DWARF debug information is encoded as programs for a stack-based VM. Without turning on optimizations, only very few of the operations that exist for this VM are used in the debug information produced by Clang. Turning on optimizations seems to break multiple assumptions that Spray currently makes for analyzing programs at runtime.

To implement (and test) more VM operations, a method of producing reference binaries that use these operations is needed that doesn't rely on turning up the optimization level. Without reference binaries, it doesn't make sense to add implementations to the missing operations.

thass0 avatar Jan 04 '24 11:01 thass0