Cryptoscope: Analyzing cryptographic usages in modern softwareMicha MoffieOmer Boehmet al.2025arXivPaper