Inferring Effective Types for Static Analysis of C Programs.

Bertrand Jeannet Pascal Sotin

Published in: Electron. Notes Theor. Comput. Sci. (2012)

Keyphrases

static analysis
symbolic execution
source code
dynamic analysis
open source
data sets
real world
artificial intelligence
metadata
domain specific
malicious code