USENIX Security '24 - D-Helix: A Generic Decompiler Testing Framework Using Symbolic Differentiation