Proof of concept of analyses with interruptable fixpoint algorithm. This is useful for integrating existing single-language analyses into a cross-language analysis.
Proof of concept of analyses with interruptable fixpoint algorithm. This is useful for integrating existing single-language analyses into a cross-language analysis.