AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations.

Kui Liu Anil Koyuncu Dongsun Kim Tegawendé F. Bissyandé

Published in: SANER (2019)

Keyphrases

static analysis
source code
dynamic analysis
regular expressions
java card
virtual world
abstract interpretation
symbolic execution
malicious code
test generation
high level
bug fix
semantic information
root cause
software development
natural language
training data
metadata
data sets