Don't sit on the fence: A static analysis approach to automatic fence insertion.

Jade Alglave Daniel Kroening Vincent Nimal Daniel Poetzl

Published in: CoRR (2013)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
semi automatic
fully automatic
java card
malicious code
abstract interpretation
domain specific
test generation
data mining
high level
training data