摘要:
github https://github.com/sslab-gatech/qsym Sym-CC用了QSYM的solver内核 Abstract 背景:符号执行能够测出复杂真实的程序中的bug,但是只能应用于小规模程序 本文:QSYM 方法:结合符号模拟和动态二进制翻译的执行(native ex 阅读全文
摘要:
Abstract 阅读全文
Proj THUDBFuzz Paper Reading: Typestate-Guided Fuzzer for Discovering Use-after-Free Vulnerabilities
摘要:
rt 阅读全文
摘要:
rt 阅读全文