Static Analysis of Communicating Processes Using Symbolic Transducers.

Vincent Botbol Emmanuel Chailloux Tristan Le Gall

Published in: VMCAI (2017)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
communication channels
malicious code
regular expressions
test generation
intermediate level
java card
abstract interpretation
finite automata
sharing information
test suite
symbolic representation
feature space
metadata