Flutter/Dart je v súčasnosti relatívne nové, ale populárne prostredie pre vývoj aplikácií. To znamená, že mu často chýbajú určité pokročilé nástroje, ktoré sú už dostupné pre iné programovacie jazyky. Motiváciou tejto práce je preto zlepšiť nástroje pre ekosystém Flutter/Dart.

Konkrétne sa táto práca zameriava na identifikáciu a elimináciu mŕtveho kódu. Študent by mal preskúmať existujúce riešenia pre syntaktickú analýzu a extrakciu metadát v Dart projektoch. Na základe tohto výskumu by sa mala vyvinúť metóda, ktorá identifikuje relevantné nedosiahnuteľné prvky kódu. Práca by mala podrobne popísať, aké podmienky sa používajú na identifikáciu dosiahnuteľného kódu a prečo.

Vyvinutá metóda by mala pokrývať všetky hlavné prvky jazyka Dart, vrátane tried, atribútov, globálnych premenných/konštánt, funkcií/metód, rozšírení a výčtových typov (enums). V rámci analýzy by mal mať používateľ možnosť vybrať si konkrétne vstupné body, z ktorých sa detekcia dosiahnuteľného kódu aplikuje. Navrhovaná metóda by nemala upravovať obsah existujúcich metód ani detekovať nepoužitú/redundantnú logiku vo vnútri metód. Po identifikácii nedosiahnuteľného alebo nepoužitého kódu by implementácia mala byť schopná vymazať dotknutý kód a vytvoriť nový, zjednodušený Dart projekt.

Súčasťou práce by mala byť aj jednoduchá desktopová aplikácia, ktorá umožní konfigurovať a spustiť metódu analýzy pre vybraný projekt. Táto aplikácia by mala zobrazovať primerané zhrnutie analyzovaného a odstráneného kódu. Nakoniec, spoľahlivosť a výkon metódy budú demonštrované na zbierke reprezentatívnych Dart projektov.