Finding and understanding defects in static analyzers by constructing automated oracles

Static analyzers are playing crucial roles in helping find programming mistakes and security vulnerabilities. The correctness of their analysis results is crucial for the usability in practice. Otherwise, the potential defects in these analyzers (, implementation errors, improper design choices) cou...

Full description

Bibliographic Details

Main Authors:	Weigang He, Peng Di, Mengli Ming, Chengyu Zhang, Ting Su, Shijie Li, Yulei Sui
Format:	Default Article
Published:	2024
Subjects:	Software and its engineering Software testing and debugging Static analyzers Defects Automated oracles construction
Online Access:	https://hdl.handle.net/2134/30801161.v1
Tags:	Add Tag No Tags, Be the first to tag this record!