Data Flow Analysis

Analýza toku údajov sa používa na objavovanie informácií pre širokú škálu užitočných aplikácií od optimalizácie kompilátora až po softvérové inžinierstvo a overovanie. Moderné kompilátory ho používajú na vytváranie kódu maximalizujúceho výkon a softvéroví inžinieri ho používajú na prepracovanie alebo spätné inžinierstvo programov a overenie integrity svojich programov. Doplnkové online materiály na posilnenie porozumenia Na rozdiel od väčšiny porovnateľných kníh, z ktorých mnohé sú obmedzené na bitové vektorové rámce a klasické konštantné šírenie, Analýza toku údajov: Teória a prax ponúka komplexné pokrytie klasickej aj súčasnej analýzy toku údajov. Pripravuje základy užitočné pre výskumníkov aj študentov v odbore štandardizáciou a zjednotením rôznych existujúcich výskumných konceptov a zápisov. Predstavuje tiež matematické základy analýzy toku údajov a zahŕňa štúdium implantácie analýzy toku údajov pomocou GNU Compiler Collection (GCC). Tento jedinečný text, rozdelený do troch častí, kombinuje diskusie o inter- a intraprocedurálnej analýze a potom popisuje implementáciu generického analyzátora toku údajov (gdfa) pre rámce bitových vektorov v GCC. Zahrnutím prípadových štúdií a príkladov na posilnenie materiálu tento text vybaví čitateľov kombináciou vzájomne sa podporujúcej teórie a praxe a budú mať prístup k sprievodnej webovej stránke autora. Tu môžu experimentovať s analýzami opísanými v knihe a môžu využívať aktualizované funkcie vrátane: Snímky používané v kurzoch autorov Zdroj generického analyzátora toku údajov (gdfa) Chyba, ktorá obsahuje chyby pri ich objavení Dodatočný aktualizovaný relevantný materiál objavený v priebehu výskumu. Jazyk: angličtina