void_analysis