Static Analysis of Communicating Processes using Symbolic Transducers.

Vincent Botbol Emmanuel Chailloux Tristan Le Gall

Published in: CoRR (2016)

Keyphrases

static analysis
dynamic analysis
source code
communication channels
regular expressions
symbolic execution
intermediate level
abstract interpretation
malicious code
high level
test generation
java card
cd rom
process model
case study
real world
database