Understanding and Detecting Annotation-Induced Faults of Static Analyzers

Huaien Zhang, Yu Pei, Shuyun Liang +1

Static analyzers can reason about the properties and behaviors of programs and detect various issues without executing them. Hence, they should extract the necessary information to…