Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles. - Weigang He; Peng Di; Mengli Ming; Chengyu Zhang 001; Ting Su 001; Shijie Li; Yulei Sui (Proc. ACM Softw. Eng., 2024)