MemFix: static analysis-based repair of memory deallocation errors for C.

Junhee Lee Seongjoon Hong Hakjoo Oh

Published in: ESEC/SIGSOFT FSE (2018)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
java card
abstract interpretation
malicious code
data corruption
regular expressions
data sets
main memory
memory requirements
test generation
data mining