PROGRAM ANALYSIS DEVICE, PROGRAM ANALYSIS METHOD, AND COMPUTER-READABLE MEDIUM Application WO-2022038701-A1 World Intellectual Property Organisation (WIPO) 24 Feb 2022