Weldr: fusing binaries for simplified analysis. - Alexander Heinricher; Ryan Williams; Ava Klingbeil; Alex Jordan (SOAP@PLDI, 2021)