Adds support for closures, invoking methods, and improves struct handling. This includes implementation of both the effect of indirect/invokes when building escape summaries, and the propagation of this information down the call graph in the top-down, context-sensitive phase.
Includes some tests, but they are known to be not complete.
Adds support for closures, invoking methods, and improves struct handling. This includes implementation of both the effect of indirect/invokes when building escape summaries, and the propagation of this information down the call graph in the top-down, context-sensitive phase.
Includes some tests, but they are known to be not complete.