Skip to content

Heap-effect summaries for external code (BCL / annotations) so calls like logging can be proven harmless inside a protocol region #915

Heap-effect summaries for external code (BCL / annotations) so calls like logging can be proven harmless inside a protocol region

Heap-effect summaries for external code (BCL / annotations) so calls like logging can be proven harmless inside a protocol region #915