Runtime code analysis: instead of analyzing code at rest, we need to have better tools to tell us what the code actually does. Static typing doesn't help you tr

Runtime code analysis: instead of analyzing code at rest, we need to have better tools to tell us what the code actually does. Static typing doesn't help you trace back from an interface to the code that generated that interface. Runtime analysis can potentially be applied across systems, so we can analyze not just one program, but how a whole myriad of systems work together, which is the way most complex systems work.