ive-C 和 C 四种第二语言的代字码。对于 Android 和 Java ，Infer 主要检查代字码当中的空指针持续性、森林资源泄露、注释可读性、缺少的上锁人身安全和并发竞争条件。对于 C、C+