A Framework for Assessing Decompiler Inference Accuracy of Source-Level Program Constructs. - Jace Kline; Prasad Kulkarni 001 (ICISSP, 2023)