jwt php类库:机器中的exe文件被病毒感染了,点击属性时只有十几KB,用什么杀毒软件可以解决?