Statické kód v C + +

Můžeme definovat proces statickou analýzu zdrojového kódu, jak postup, podle něhož jsou části označeny nebezpečný kód, aniž by vlastní realizace programu.

"S statické analýzy mohou být prováděny automaticky, to znamená, že jeho vlastní specifické nástroje vhodné pro podporu procesu testování. Všimněte si, jak ve fázi testování softwaru, v plném rozsahu, je velmi složitý proces a zpravidla provádí programátory, kteří se rozhodnou se specializovat v této oblasti. Softwarové nástroje určené pro "statickou analýzu kódu a tím přispět ke snížení času a nákladů na poskytování první náznak toho, co části kódu budou povinni zkontrolovat pečlivěji.

Typy chyb zjištěných uvedených nástrojů je mnoho a neustálého doplňování znalostí, rozvoj podnikání, ve skutečnosti tento typ software jde do velkých rytmu po dlouhou dobu.

Důležité v tomto ohledu historickou hodnotu programu, jako Lint , vydané v roce 1979, který běží na Linuxu a jsou určeny na programovací jazyk C . Lint je skutečným mezníkem pro statické softwarového kódu ověření, někdy identifikoval jako "hladkým jako nástroje", nebo "vlákna jako nástroje."

Moderní statické analyzátory jsou také schopni ověřit kód určený ke spuštění v paralelním a poskytuje konkrétní návrhy pro takové aplikace.

V tomto článku se zaměříme na tento typ nástrojů, se snaží nabídnout stručný přehled možností, ve statickém kódu pro programy běží paralelně jazyk C + + (z nejpopulárnějších a univerzální v přírodě). Chcete-li začít, pojďme prozkoumat obecné software a flexibilní jako PC-Lint .

PC-Lint

PC-Lint je určen pro optimální výkon při analýze programy, které používají POSIX vlákna , ale lze efektivně využít v obecný případ. Nechci říci, že analýzy provedené software je v každém směru automaticky.

Se zdá být nezbytné ručně zadat funkcí, které program poběží paralelně (nebo dokonce současně), aby se PC-Lint může pokračovat do "statické analýzy spravedlnosti (že ano, automaticky), právě v těchto částech. K dosažení tohoto cíle, je nutné použít volbu-vždy o výkonu PC-Lint příkazového řádku. Například tvrzení:

 



 hladkým sem (func, závit)

 

komunikuje s PC-Lint, je nutné analyzovat funkci func, jak to bude probíhat současně. Nyní se zobrazují chybové zprávy související s funkcí mít na paměti, že musíte zpracovávat i paralelním provedení stejné, pak poukazuje, například, je-li sdílená proměnná se používá nebo změněna bez řádného vymezení kritické sekce.

To bylo v tomto ohledu, v případě, že vzájemné vyloučení a synchronizační primitiva jsou implementovány pomocí POSIXu typické formalismu, nebo například, pthread_mutex_lock a pthread_mutex_unlock, nebudete muset zadat něco o tom z příkazové řádky. V opačném případě bude použita pokyny:

 -SEM (přístup, thread_lock)







 -SEM (uvolnění, thread_unlock)

uvést, že přístup do kritické sekce se provádí přes funkci nazvanou přístup a uvolnění této části je pomocí funkce verze.

Pokud se pro statickou analýzu našeho kódu, ale chtěli jsme mít o něco silnější nástroje a nezávisle na PC-Lint, VivaMP by mohl být dobrou volbou.

• <<
• 1
• 2
• >>