据最新报道，科学家发现了如下反应：O₂+PtF₆＝O₂PtF₆，已知O₂PtF₆是离子化合物，其中阴离子为PtF₆^－。下列说法正确的是

A．该离子化合物中1 mol阳离子共有15 mol电子

B．在此反应中O₂是氧化剂，PtF₆是还原剂

C．每生成O₂PtF₆1mol转移2 mol电子

D．该离子化合物中只含离子键

______是指被测程序不在计算机上运行而是由人工检测或计算机辅助静态分析的方法对程序进行检测。