Static Analysis of APL for Tooling and Compliance

Learn about static analysis tools for APL programming through this 36-minute conference talk from DYNA Fall 2025. Discover the innovative work being conducted at Dyalog Ltd to develop static analysis capabilities that enhance tooling, facilitate code refactoring, and support migration processes in APL development. Explore the fundamentals of static analysis and examine concrete examples demonstrating its practical applications. Understand how to analyze Co-dfns parser output and adapt static analysis techniques to specific applications. Gain insights into the security and static analysis tool built on Co-dfns, designed as an independent solution for security audits and code quality assessments. Learn how to integrate Co-dfns-based static analysis into existing development tools and workflows. The presentation covers the development of a dedicated static analysis tool for APL notation, addressing the unique challenges and opportunities in array programming environments. Understand how these tools can improve code quality, enhance security compliance, and streamline development processes for both Subject Matter Experts and IT professionals working with Dyalog APL.