the Cqual analyzer [17] with our gcc decompilation pipeline (Sect. 4). Note that while ideally we would like to apply analysis tools to machine code.
確定! 回上一頁