Statická analýza kódu v Pythonu – Martin ČECH

Abstract:

Tato práce se zabývá návrhem a implementací doménově specifického jazyka (DSL) pro statickou analýzu Python kódu založenou na abstraktním syntaktickém stromu (AST). Systém umožňuje deklarativní definici analytických pravidel a návrhů oprav bez nutnosti explicitní práce s AST. Součástí řešení je analytický engine, který generuje strukturované nálezy a návrhy oprav prezentované uživateli prostřednictvím interaktivního rozhraní s možností jejich výběru a transformace do patchů. Hlavním přínosem práce je propojení detekce problémů a návrhů oprav v rámci jednotného DSL a návrh workflow oddělujícího analýzu od modifikace kódu. Přístup je porovnán s existujícími nástroji statické analýzy. …víceméně

Abstract:

This thesis focuses on the design and implementation of a domain-specific language (DSL) for static analysis of Python code based on abstract syntax trees (AST). The system enables declarative definition of analysis rules and fix proposals without requiring explicit manipulation of AST structures. The proposed solution includes an analysis engine that generates structured findings and fix proposals presented to the user through an interactive interface, allowing their selection and transformation into patches. The main contribution of this work is the integration of issue detection and fix generation within a unified DSL, together with a workflow that separates analysis from code modification. The approach is compared with existing static analysis tools. …víceméně