In-depth LLVM IR: How OmniScope tracks Ownership across languages

From CrossLangEdge to Memory Graph: A Design Breakdown of a Cross-Language Memory Safety Analyzer.