Static Analyzers: Seat Belts for Your Code.

Published in: IEEE Secur. Priv. (2012)

Keyphrases

source code
dynamic analysis
static analysis
databases
error correcting
machine learning
learning algorithm
decision making
e learning
objective function
search algorithm
multi agent systems
digital libraries
special case
mobile robot
programming language