Automated Crash Filtering Using Interprocedural Static Analysis for Binary Codes
Hyeon-Gu Jeon, Seong-Kyun Mok, Eun-Sun Cho · 2017
This paper introduces a static binary analysis tool called CrashFilter, which classifies the crashes arisen during the test, according to the risk levels. It has advantages in accuracy and provides wider coverage of analysis, due to newly introduced analyses-Memory Location Analysis and Inter-Procedure Analysis.