Comparison of Static Analysis Tools for Finding Concurrency Bugs.

Numan Manzoor Hussan Munir Misagh Moayyed

Published in: ISSRE Workshops (2012)

Keyphrases

static analysis
source code
dynamic analysis
symbolic execution
malicious code
java card
test generation
abstract interpretation
test suite
database systems
regular expressions
transaction processing