Статички код у Ц + +

Можемо дефинисати процес статичке анализе кода, као поступак којим се делови идентификовани несигурно код без стварног извршења програма.

"С статичке анализе могу се аутоматски извршити, односно, своје специфичне алате за подршку корисно процесу тестирања. Посматрати како фазу тестирања софтвера, у целини, је врло сложен процес и обично обављају програмери који се одлуче да се специјализују у овој области. Софтверских алата посвећен 'статичке анализе кода на тај начин помажу да се смањи време и трошкове, пружајући први наговештај о томе шта делова кодова да би се тражити да провери пажљивије.

Врсте грешака открити инструментима поменути су вишеструке и стално ажурирање, пословни развој, у ствари, ова врста софтвера се великом ритам дуго времена сада.

Важно у том погледу историјске вредности од програма као Линт , објављен 1979, који ради на Линук и посвећена програмског језика Ц Линт. је прави оријентир за статичку софтверски код верификације, понекад идентификован као "чистом као алата", или "не оставља длачице као алата."

Савремених статичких анализатори су такође у стању да верификује код дизајниран да ради у паралели, пружајући конкретне предлоге за такве апликације.

У овом чланку, усредсредили смо се на ову врсту инструмента, покушавајући да понуди кратак преглед могућности у статички код за програме која је паралелна језик Ц + + (најпопуларнији и разноврстан у природи). За почетак, хајде да испитамо генерички софтвер и флексибилан као ПЦ Линт .

ПЦ Линт

ПЦ Линт је дизајниран да обезбеди оптималне перформансе у анализи програма који користе ПОСИКС-теме , али се може ефикасно употребити у општи случај. Не желим да кажем да је анализа коју је софтвер на сваки начин аутоматски.

Изгледа потребно ручно наведете функције које ће програм ради паралелно (или чак и истовремено), тако да ПЦ Линт Процеед то 'статичке анализе правичности (да јесте, аутоматски), само у овим секцијама. Да би се ово постигло, морате користити опцију-увек на извршење ПЦ-Линт командне линије. На пример, изјава:

 



 навлажите меку СЕМ (функ, навој)

 

комуницира са ПЦ-Линт потребно је анализирати функције функцију, јер ће истовремено покренути. Сада ћете добити поруку о грешци у вези са функције имајући у виду да морате руковати паралелно извршење исте, онда истичући, на пример, ако заједнички променљива се користи или модификовани без одговарајућих дефиниција критичних секција.

Било је у том погледу, уколико међусобно искључивање и синхронизација примитиве се спроводе коришћењем ПОСИКС теме типичне формализма, или, на пример, птхреад_мутек_лоцк и птхреад_мутек_унлоцк, нећете морати да прецизира ништа о томе из командне линије. У супротном, смернице ће се користити:

 -Сем (приступ, тхреад_лоцк)







 -Сем (издање, тхреад_унлоцк)

указују на то да приступ критичне секције се врши функцију која се зове приступ и ослобађање тог одељка користи издање функцију.

Ако, за статичку анализу нашег кода, али смо желели да имамо мало више моћан алат и независно од ПЦ-влакна, ВиваМП може бити добар избор.

• <<
• 1
• 2
• >>