Low-level library analysis and summarization
Analyzing Memory Accesses in x86 Executables