Login / Signup
TypeSqueezer: When Static Recovery of Function Signatures for Binary Executables Meets Dynamic Analysis.
Ziyi Lin
Jinku Li
Bowen Li
Haoyu Ma
Debin Gao
Jianfeng Ma
Published in:
CCS (2023)
Keyphrases
</>
dynamic analysis
static analysis
reverse engineering
source code
anti virus
model checking
open source
multi valued
malicious executables
abstract interpretation
regular expressions
test suite
artificial intelligence
signature recognition