spatch - عبر الإنترنت في السحابة

برنامج:

اسم

spatch - قم بتطبيق ملف التصحيح الدلالي على مجموعة من ملفات C

موجز

بقع --sp-ملف [-أو ] [--ملف-iso ] [ الخيارات ]

الوصف

بقع هي أداة مطابقة وتحويل البرامج لـ C. يصف المبرمج
رمز للمطابقة والتحويل ليتم تنفيذه كتصحيح دلالي، والذي يبدو وكأنه ملف
تصحيح قياسي، ولكن يمكنه تحويل ملفات متعددة في أي عدد من مواقع التعليمات البرمجية.

مزيد من المعلومات حول البقع متاحة على http://coccinelle.lip6.fr/.

يمكن العثور على أمثلة التصحيح الدلالي في http://coccinellery.org/وفي
مخطوطات / العصعص دليل كود مصدر Linux Kernel.

OPTIONS

فيما يلي ملخص للخيارات الأكثر استخدامًا:

--sp-ملف
ملف التصحيح الدلالي

- دير
معالجة كافة الملفات في الدليل بشكل متكرر

--iso-file
(افتراضي=@SHAREDIR@/standard.iso)

--ملف ماكرو
(افتراضي=@SHAREDIR@/standard.h)

--Debug
قم بطباعة بعض المعلومات للمساعدة في تصحيح أخطاء عملية المطابقة

--الكل يشمل
يتسبب في استخدام جميع ملفات التضمين المتاحة

--لا يشمل
لا يؤدي حتى إلى استخدام ملفات التضمين المحلية

-I
الدليل الذي يحتوي على ملفات التضمين

--include-headers
معالجة ملفات الرأس بشكل مستقل

--استخدام لمحة
يعمل مع --dir، استخدم المعلومات التي تم إنشاؤها بواسطة glimpseindex

-o
ملف الإخراج. إذا لم يتم تحديد أي شيء، فسيتم إنشاء تصحيح على الإخراج القياسي

--في المكان
قم بالتعديل على الملف مباشرة

--خارج المكان
قم بتخزين التعديلات في ملف .cocci_res

--الإصدار
إظهار نسخة البقعة

--تاريخ إظهار التاريخ الذي تم فيه تجميع البقع

- المساعدة
انظر قائمة قصيرة من الخيارات

--مساعدة
رؤية جميع الخيارات المتاحة في فئات مختلفة

-يساعد، --مساعدة
عرض ملخص الخيارات.

أمثلة

./spatch --sp-file foo.cocci foo.c

قم بتطبيق التصحيح الدلالي foo.cocci على ملف C foo.c. يتم تطبيق التصحيح الدلالي
modulo مجموعة من التماثلات الموجودة في ملف Standard.iso (يقع ملف Standard.iso بشكل افتراضي
في @SHAREDIR@/standard.iso). تصحيح يوضح تأثير التطبيق، إن وجد
يتم إنشاؤها على الإخراج القياسي.

./spatch --sp-file foo.cocci foo.c -o /tmp/newfoo.c

نفس ما ورد أعلاه، باستثناء أنه يتم تخزين نسخة معدلة من foo.c في /tmp/newfoo.c.

من الممكن أيضًا تطبيق spatch على جميع ملفات C الموجودة في الدليل:

./spatch --cocci-file foo.cocci --dir foodir

إذا كان التصحيح الدلالي لا يعمل كما هو متوقع، فسيظهر الخيار --debug تحديد
معلومات حول تطبيق التصحيح الدلالي على ملف أو دليل.

أكثر OPTIONS

الخيارات الرئيسية

--sp-ملف
ملف التصحيح الدلالي

-o ملف الإخراج

--في المكان
قم بالتعديل على الملف مباشرة

--لاحقة النسخ الاحتياطي
لاحقة لاستخدامها عند عمل نسخة احتياطية للمكان

--خارج المكان
قم بتخزين التعديلات في ملف .cocci_res

--يعكس
اقلب التصحيح الدلالي قبل تطبيقه

-U تعيين عدد من خطوط السياق الفرق

--تطابق جزئي
الإبلاغ عن التطابقات الجزئية لـ SP في الملف C

--iso-file
(افتراضي=/usr/local/lib/coccinelle/standard.iso)

--ملف ماكرو


--macro-file-builtins
(افتراضي=/usr/local/lib/coccinelle/standard.h)

--العودية-يتضمن
يتسبب في تضمين جميع الملفات المتاحة، سواء تلك المضمنة في ملف (ملفات) C وتلك
المدرجة في ملفات الرأس، لاستخدامها

--الكل يشمل
يتسبب في استخدام جميع ملفات التضمين المتاحة المضمنة في ملف (ملفات) C

--لا يشمل
لا يؤدي حتى إلى استخدام ملفات التضمين المحلية

--local-includes
يتسبب في استخدام ملفات التضمين المحلية

--تجاهل الخيارات غير المعروفة
للتكامل في سلسلة الأدوات (يجب تعيينه قبل الخيار الأول غير المعروف)

--include-headers
معالجة ملفات الرأس بشكل مستقل

-I تحتوي على ملفات الرأس (اختياري)

--العملية
قم بتشغيل المعالج المسبق للغة C قبل تطبيق المطابقة الدلالية

-c وضع التوافق gcc/cpp

- دير معالجة كافة الملفات في الدليل بشكل متكرر

--استخدام لمحة
يعمل مع - دير، استخدم المعلومات التي تم إنشاؤها بواسطة glimpseindex

--use-google
ابحث عن الملفات ذات الصلة باستخدام Google Code Search

--use-idutils
ابحث عن الملفات ذات الصلة باستخدام id-utils

--رقعة قماشية
اسم المسار الذي يجب إنشاء التصحيح عليه

"" لملف موجود في الدليل الحالي

--kbuild-info
يحسن - دير من خلال تجميع ملفات C ذات الصلة

--pyoutput
يحدد روتين الإخراج: القيم القياسية:

--الإصدار
تخمين ما

--تاريخ تخمين ما

- المساعدة
انظر قائمة قصيرة من الخيارات

--مساعدة
رؤية جميع الخيارات المتاحة في فئات مختلفة

الأسماء المستعارة والخيارات القديمة

--sp التصحيح الدلالي لسطر الأوامر

- iso خيار قصير ل --iso-file

--cocci-ملف
ملف التصحيح الدلالي

خيارات العرض الأكثر فائدة

--show-diff

--لا يوجد فرق

--force-diffshow
فرق حتى لو تغير التباعد فقط

--show-flow

--ctl-inline-let

--ctl-show-mcodekind

--إظهار الارتباطات

--show-transinfo

--show-misc

--إظهار المحاولة
إظهار اسم كل وظيفة تتم معالجتها

--إظهار التبعيات
إظهار التبعيات المتعلقة بكل قاعدة

خيارات الأنظمة الفرعية المطولة

--verbose-ctl-engine

--verbose-match

--محرك مطول

--تتبع رسومي
قم بإنشاء ملف pdf يمثل عملية المطابقة

--GT-بدون تسمية
إزالة تسمية الرسم البياني (يتطلب الخيار - أثر رسومي)

--parse-error-msg

- التحليل المطول

--نوع الخطأ-msg

خيارات العرض الأخرى

--show-c

--show-cocci

--إظهار قبل التدفق الثابت

--show-ctl-tex

--show-ctl-text

--show-SP

تصحيح/تحليل أخطاء C

--debug-cpp

--debug-lexer

--debug-etdt

--debug-typedef

--filter-msg
تصفية بعض رسائل CPP عندما يكون الماكرو عبارة عن بنية CPP "معروفة".

--خطأ في تعريف عامل التصفية

--filter-msg-define-error
تصفية رسالة الخطأ

--تصفية المستوى الذي تم تمريره

--debug-unparsing

اختصار لتمكين/تعطيل مجموعة من خيارات تصحيح الأخطاء مرة واحدة

--هادئ

--هادئة جدا

--Debug

--ضمادة

خيارات مقاعد البدلاء

--الملف الشخصي
جمع معلومات التوقيت حول وظائف العصعص الرئيسية

--منضدة
لتوصيف محرك CTL

--نفذ الوقت
المهلة في ثوان

--خطوات
الحد الأقصى لعدد خطوات التحقق من النموذج لكل وحدة رمز

--iso-limit
أقصى عمق لتطبيق ISO

--لا يوجد حد ISO
تعطيل الحد الأقصى لعمق تطبيق ISO

--track-iso
جمع المعلومات حول استخدام التماثل

--disable-iso
تعطيل تماثل معين

--profile-iso
جمع معلومات حول تكلفة استخدام التماثل

تغيير خيارات الخوارزمية

--احتفظ بالتعليقات
احتفظ بالتعليقات حول الكود الذي تمت إزالته

--حلقة

--لا حلقات
إسقاط جميع الحواف الخلفية المستمدة من بنيات التكرار - غير آمنة

--no-gotos
إسقاط جميع القفزات المشتقة من gotos - غير آمن

--no-saved-typedefs
قم بإسقاط جميع أنواع typedefs المستنتجة من تحليل واحد لبعض التعليمات البرمجية إلى التالي

--ocaml-regexps
استخدم التعبيرات العادية OCaml Str للقيود

--l1

--ifdef-to-if
تحويل ifdef إلى if (تجريبي)

--no-ifdef-to-if
تحويل ifdef إلى if (تجريبي)

--تعطيل التمرير المتعدد

--noif0-passing

--مُعرف

--غير معرف

--noadd-typedef-root

--disallow-nested-exps
عدم السماح لنمط التعبير من مطابقة المصطلح ومصطلحه الفرعي

--تعطيل-يستحق-المحاولة-الاختيار

--فقط-الإرجاع هو-خطأ-exitif لم يتم تعيين هذه العلامة، لذا يعد الكسر والمتابعة خطأً أيضًا
مخارج

--السماح بالمسارات غير المتناسقة
إذا تم تعيين هذه العلامة، فلا تتحقق من وجود مسارات غير متناسقة؛ خطير

--لا توجد تعبيرات آمنة
قم بإجراء انفصال تعبيري لا يعطي الأولوية للانفصال الأعلى

--int-bits
عدد البتات في int غير الموقعة

--بت طويلة
عدد البتات في فترة طويلة غير موقعة

--linux-تباعد
يتبع تباعد الكود + اصطلاحات Linux

--smpl-تباعد
تباعد رمز + يتبع التصحيح الدلالي

-D تشير إلى أنه ينبغي اعتبار القاعدة الافتراضية متطابقة

- ج++ قم بمحاولة صغيرة لتحليل ملفات C++. الامتدادات المدعومة للملفات المصدرية
هي .cpp و.cxx و.cc، وبالنسبة لملفات الرأس فهي .h و.hpp و.hxx. لاحظ أن هذا
يقوم الخيار بتعطيل معالجة ملفات .c نظرًا لاختلاف سلوك Coccinelle
C ++.

خيارات متنوعة

- الشرير
خيار لتعيين ما إذا كان إطلاق البقعة في ocamldebug

--تعطيل مرة واحدة
لطباعة المزيد من الرسائل

--show-trace-profile
إظهار الأثر

--حفظ ملفات tmp

التزامن

--فهرس
المعالج الذي سيتم استخدامه في عملية التصحيح هذه

--الأعلى عدد المعالجات المتوفرة

--mod-distrib
استخدم mod لتوزيع الملفات بين المعالجات

خيارات الوسادة

--ادفع نقدا
استخدم ملف C المخزن مؤقتًا والذي تم تحليله مسبقًا .ast_raw

--cache-prefix
دليل ASTs المخزنة مؤقتًا، مجموعات --ادفع نقدا

- حد ذاكرة التخزين المؤقت
الحد الأقصى لعدد ASTs المخزنة مؤقتًا، مجموعات --ادفع نقدا

وضع الاختبار وخيارات الاختبار (يعمل مع الاختبارات/ أو ملفات .OK)
خيارات الاختبار لا تعمل مع --sp-ملف وما إلى ذلك وهلم جرا.

--اختبار إطلاق البقع على الاختبارات/الملف.[c,cocci]

--testall
إطلاق البقع على جميع الملفات في الاختبارات/ التي تحتوي على .res

--test-okfailed
ينشئ ملفات .{ok,failed,spatch_ok} باستخدام ملفات .res

--test-regression-okfailed
قم بمعالجة ملفات .{ok,failed,spatch_ok} في الدليل الحالي

--مقارنة مع المتوقع
استخدم أيضًا file.res

--ملف النتيجة المتوقعة
ملف النتيجة للمقارنة به --testall

--no-update-score-file
لا تقم بتحديث ملف النتيجة عندما --testall ينجح

--الاسترخاء-تشمل-المسار

وضع العمل
خيارات الإجراء لا تعمل مع --sp-ملف وما إلى ذلك وهلم جرا. انها للآخر
الاستخدامات (الداخلية) لبرنامج البقعة.

--الرموز-ج


--تحليل-ج


--تحليل ح


--تحليل-ch


--تحليل-i


- نقول


--show-flow


--التحكم في التدفق


--التحكم في التدفق إلى الملف


--test-cfg-ifdef


--تحليل-إلغاء التحليل


--النوع ج


--قارن-ج


--تعليق-تعليق-ج


--compare-c-hardcoded

--test-attributes


--test-cpp


--extract-وحدات الماكرو


--استخراج وحدات الماكرو حدد


--xxx <>

--تحليل المكورات


--قارن-ج

استخدم البريد العشوائي عبر الإنترنت باستخدام خدمات onworks.net