Automated Crash Filtering Using Interprocedural Static Analysis for Binary Codes | IEEE Conference Publication | IEEE Xplore