قائمة أدوات تحليل الكود الثابت

📅 آخر تحديث: ١٧ يوليو ٢٠٢٦
✍️ نُشر في: ١٧ يوليو ٢٠٢٦
الموسوعة الحرة

هذه قائمة بالأدوات البارزة لتحليل البرامج الثابتة (تحليل البرامج هو مرادف لتحليل التعليمات البرمجية).

أدوات تحليل الشفرة الثابتة

أداةأحدث إصداربرامج مجانيةاللغات المدعومةملحوظات
آداسي ، سي++ ، سي# ، أوبجكتيف-سيJVMجافا سكريبت ، تايب سكريبت.NET ، VB.NETبايثونلغات أخرى
أستري2024-10 (24.10)لا؛ ملكية خاصة—لغة C، لغة C++—————يكتشف جميع أخطاء وقت التشغيل المحتملة وحالات تضارب البيانات من خلال التفسير المجرد، ويمكنه إثبات عدم وجودها والتأكيدات الوظيفية؛ مصمم خصيصًا لبرامج C وC++ ذات الأهمية البالغة للسلامة (مثل إلكترونيات الطيران والسيارات)؛ يتضمن مدقق MISRA
مجموعة أكسيفيون2025-05-19

(7.10)

لا؛ ملكية خاصة—سي، سي++، سي#————QML، Axivion CUDAمجموعة أدوات تحليل الشفرة الثابتة مصممة لتطوير البرمجيات الحساسة للسلامة والأمن، مع دعم شهادات ISO 26262 وIEC 61508 وIEC 62304 وEN 50128 وEN 50657؛ يشمل التحليل الشامل الامتثال لمعايير البرمجة (MISRA C/C++ وAUTOSAR وCERT وCWE)، واكتشاف التكرار، وتحليل الشفرة غير المستخدمة، والتحقق من بنية البرنامج، واكتشاف دورات المعالجة، ومراقبة المقاييس؛ تتضمن مجموعة أدوات تأهيل للبيئات الخاضعة للتنظيم كما هو الحال في صناعات السيارات والفضاء والأجهزة الطبية والأمن
بلاست (متقاعد)2015-10-30 (2.7.3)نعم؛ لغة الإشارة الأمريكية  2—ج—————مدقق نماذج البرمجيات مفتوح المصدر لبرامج C يعتمد على التجريد الكسول (المشروع اللاحق هو CPAchecker [ 1 ] )
صوت رنين2026-07-17 ( 22.1.8 )نعم؛ ASL  2 مع استثناءات LLVM—سي، سي++، أوبجكتيف سي—————مترجم مفتوح المصدر يتضمن محللًا ثابتًا، اعتبارًا من الإصدار 3.2، تم تضمين المحلل في Xcode [ 2 ] [ 3 ]
كوكينيل2021-09-06 (1.1.1)نعم؛ رخصة جنو العمومية الإصدار الثاني—ج—————مطابقة أنماط الشفرة المصدرية مفتوحة المصدر وتحويلها
Code Dx (متوقف عن العمل 2021)15-01-2015لا؛ ملكية خاصة—سي، سي++، سي#جافا ، جي إس بي ، سكالاجافا سكريبتVB.NETبايثونPHP، Rails، Ruby، XML [ 4 ]نظام ربط وإدارة ثغرات تطبيقات البرمجيات؛ يستخدم أدوات SAST و DAST متعددة ، ونتائج مراجعات التعليمات البرمجية اليدوية؛ ويمكنه حساب التعقيد الحلقي
كود بير2021-05-07 (21)لا؛ ملكية خاصةآدا——————أداة تحليل ثابتة متقدمة؛ تكشف عن أخطاء منطقية محتملة أثناء تشغيل برامج Ada
مشهد الكود2023-10-13

(6.3.5)

لا؛ ملكية خاصة—سي، سي++، سي#، أوبجكتيف-سيجافا، جروفي ، سكالاجافا سكريبت، تايب سكريبتVB.NETبايثونسويفت، جو، بي إتش بي، روبيتحليل سلوكي للبرمجيات؛ يساعد في تحديد أولويات الديون التقنية وإدارتها؛ يقيس الجوانب التنظيمية لفرق المطورين؛ عمليات دمج طلبات السحب الآلية
كود كيو إل2026-02-05 (CLI: 2.24.1)لا؛ ملكية خاصة—سي، سي++، سي#جافا، كوتلينجافا سكريبت، تايب سكريبت.شبكةبايثونسويفت، جو، روبي، راستأداة بحث في التعليمات البرمجية، تركز على اكتشاف أخطاء البرامج؛ أنماط بحث مكتوبة بلغة استعلام يمكنها البحث في شجرة بناء الجملة المجردة (AST) والرسوم البيانية (CFG، DFG، إلخ) للغات المدعومة؛ إضافة متاحة لبرنامج Visual Studio Code
ConQAT (متقاعد)2015-02-01نعم؛ لغة الإشارة الأمريكية  2آداسي شارب، سي ++جافاجافا سكريبت——ABAPمجموعة أدوات التقييم المستمر للجودة؛ تتيح تكوينًا مرنًا لتحليلات الجودة (مطابقة البنية، واكتشاف النسخ المتماثلة، ومقاييس الجودة، وما إلى ذلك) ولوحات المعلومات.
كسرتي2023-04-29 (2022.12) [ 5 ]لا؛ ملكية خاصة—سي، سي++، سي#، أوبجكتيف-سيجافاجافا سكريبت، تايب سكريبت—بايثونروبي، بي إتش بيأداة متعددة اللغات لمعالجة قضايا الأمن والجودة؛ تدعم معايير الامتثال ( MISRA ، ISO 26262 وغيرها)؛ استخدام مجاني للمشاريع مفتوحة المصدر
إكلير2025-05-12 (3.14.0) [ 6 ]لا؛ ملكية خاصة—لغة C، لغة C++—————أداة متعددة اللغات للتحقق من البرمجيات. تتراوح تطبيقاتها من التحقق من صحة قواعد البرمجة، إلى التوليد التلقائي لحالات الاختبار، إلى إثبات خلو البرنامج من أخطاء وقت التشغيل أو توليد أمثلة مضادة، وصولاً إلى تحديد أدوات مطابقة وإعادة كتابة التعليمات البرمجية بناءً على الشروط النحوية والدلالية. تدعم معايير الامتثال ( MISRA ، ومعيار برمجة C المضمنة ، وغيرها).
مدقق المحاسبين المعتمدين2022-01-24 (2.1.1)نعم؛ لغة الإشارة الأمريكية  2—ج—————أداة قابلة للتكوين للتحقق من البرامج لفحص مسار تنفيذ لغة C
Cppcheck2025-02-23 (2.17)جزئياً؛ الإطار مرخص بموجب رخصة جنو العمومية الإصدار 3 ، مع بعض الميزات الخاصة.—لغة C، لغة C++—————أداة مفتوحة المصدر؛ تتحقق من عدة أنواع من الأخطاء، بما في ذلك استخدام مكتبة STL ؛ ويجري إضافة دعم MISRA
Cppdepend2023-03-01 (2023.1) [ 7 ]لا؛ ملكية خاصة—لغة C، لغة C++—————يبسط إدارة قاعدة بيانات معقدة بلغة C/C++ من خلال تحليل وتصور تبعيات التعليمات البرمجية، وتحديد قواعد التصميم، وإجراء تحليل التأثير ، ومقارنة الإصدارات المختلفة من التعليمات البرمجية.
قسطرة2020-07-29نعم؛ CC-BY-3.0 [ 8 ]—لغة سي++—————أداة مفتوحة المصدر؛ تتحقق من التوافق مع دليل أسلوب كتابة كود C++ من جوجل
تقلب2001لا؛ ملكية خاصةAda95ج—————مترجم تجريدي للتحقق من صحة الخصائص العددية للبرنامج
هجمات السوائل2026-01-07لا؛ ملكية خاصة—سي شاربجافا، كوتلين، سكالاجافا سكريبت، تايب سكريبت—بايثونPHP، Dart، Go، HCL، HTML، JSON، Ruby، Swift، XML، YAMLأداة SAST؛ تدعم العديد من لغات البرمجة وأطر العمل؛ تعتمد على خوارزميات الرسوم البيانية باستخدام Tree-sitter، ويمكن دمجها في مسارات CI/CD من مزودي الخدمات الذين يدعمون Docker
فراما-سي2022-06-21نعم؛ رخصة LGPL الإصدار 2.1 ، ورخصة BSD ، ورخصة QPL—ج—————إطار تحليل مفتوح المصدر وقابل للتوسيع للغة C، يتضمن العديد من المحللات ولغة مواصفات مشتركة بينها جميعًا؛ ويشمل تحليلات تستند إلى التفسير المجرد والتحقق الاستنتاجي ومراقبة وقت التشغيل.
GrammaTech CodeSonar2020-06-01 (5.3)لا؛ ملكية خاصة—سي، سي++، أوبجكتيف سيجافا————اكتشاف العيوب (تجاوزات المخزن المؤقت، تسرب الذاكرة، إلخ)، وفحوصات التزامن والأمان، وتصور بنية النظام، ومقاييس البرمجيات
مجلس التعاون الخليجي2023-4-26 (13.1)نعم؛ رخصة GPLv3+ مع استثناء مكتبة وقت تشغيل GCC—ج—————يؤدي التجميع باستخدام علامة -fanalyzer (المتوفرة من GCC 10) إلى تمكين وظيفة المحلل الثابت [ 9 ].
مصدر HCL Security AppScan2020-12-01 (10.0.3)لا؛ ملكية خاصة—لغة C، لغة C++جافا، JSPجافا سكريبت.شبكةبايثونColdFusion، ASP، PHP، Perl، Visual Basic 6، PL/SQL، T-SQL، COBOLيقوم بتحليل شفرة المصدر لتحديد الثغرات الأمنية مع دمج اختبار الأمان مع عمليات وأنظمة تطوير البرمجيات
هيليكس كيو إيه سي2023-04 (2023.1)لا؛ ملكية خاصة—لغة C، لغة C++—————كانت تُعرف سابقًا باسم PRQA QA·C و QA·C++، وهي عبارة عن تحليل ثابت معمق للغة C/C++ لضمان الجودة وإنفاذ المبادئ التوجيهية/معايير البرمجة بدعم من MISRA
محلل الاستدلال الثابت2026-05-12 ( 1.3.0 )نعم؛ معهد ماساتشوستس للتكنولوجيا—سي، سي++، أوبجكتيف سيجافا————يستهدف هذا البرنامج مشاكل المؤشرات الفارغة، والتسريبات، ومشاكل التزامن، واستخدام واجهة برمجة التطبيقات لتطبيقات فيسبوك على الأجهزة المحمولة، وهو متاح كمصدر مفتوح على GitHub؛ ويُطلق عليه أحيانًا اسم Facebook Infer
إيماجيكس رباعي الأبعاد2020-10-01 (10.1.0)لا؛ ملكية خاصة—لغة C، لغة C++جافا————إصدارات ويندوز ولينكس
كيوان2020-07-22لا؛ ملكية خاصة—سي، سي++، سي#، أوبجكتيف-سيجافا، JSPجافا سكريبتVB.NET—ABAP، COBOL، PHP، PL/SQL ، T-SQL ، SQL، Visual Basic، Androidمنصة تحليل برمجيات شاملة لتحليل الكود الثابت ومراجعة الكود الآلية؛ تغطي اكتشاف العيوب، وأمن التطبيقات، وإدارة مخاطر تكنولوجيا المعلومات، مع ميزات محسّنة لإدارة دورة حياة التطبيقات وحوكمتها؛ تدعم أكثر من 20 لغة برمجة.
كلوورك2023-04-04 (2023.1)لا؛ ملكية خاصة—سي، سي++، سي#جافاجافا سكريبت—بايثونكوتلينيوفر هذا النظام معلومات حول الثغرات الأمنية، والامتثال للمعايير (MISRA، ISO 26262 وغيرها)، واكتشاف العيوب، وتحليل اتجاهات البناء المتكرر.
الوبر26-07-1978نعم؛ نظام تشغيل متساهل يشبه نظام BSD [ 10 ]—ج—————محلل الشفرة الثابتة الأصلي للغة C، والذي يعود تاريخه إلى عام 1978
مالباسلا؛ ملكية خاصةآداج————باسكال، لغة التجميع (إنتل، باور بي سي، وموتورولا)مجموعة أدوات تحليل ثابتة للبرمجيات للعديد من اللغات؛ الاستخدام الرئيسي لها هو في مجال السلامة الحرجة في الصناعات النووية والفضائية
ميجالينتر2026-05-16 (9.5.0)نعم؛ AGPLv3—لغة C، لغة C++جافا، كوتلين، سكالا، جروفيجافا سكريبت، تايب سكريبت.NET، VB.NETبايثونGo، PHP، Ruby، Rust، Swift، Bash، Dockerfile، YAML، JSON، XML، HTML، CSS، Markdown، Terraform، Ansible، Salesforce، ARM، Bicep، Kubernetes، GraphQL، PowerShell، Perl، Lua، R، Tekton، Snakemake، OpenAPI، Protobuf، Coffee، EditorConfig، ENV، Gherkin، Puppet، RST، SQLأداة مفتوحة المصدر تجمع أكثر من 100 أداة لتحليل وتنسيق التعليمات البرمجية، والبنية التحتية كبرنامج، والتكوين، واكتشاف النسخ واللصق، والتدقيق الإملائي عبر أكثر من 50 لغة وتنسيقًا وأداة؛ تعمل كحاوية Docker أو في بيئة التكامل المستمر/التسليم المستمر (CI/CD)؛ تدعم الإصلاح التلقائي، وإخراج بيانات SARIF، وتُنتج تقارير لـ GitHub و GitLab و Azure DevOps و Bitbucket وغيرها.
موس2021-01-21 (7.0.3)نعم؛ معهد ماساتشوستس للتكنولوجيا—لغة C، لغة C++جافا—.شبكة—أحاديث قصيرةبدأت كمنصة لتحليل البرمجيات مزودة بالعديد من الأدوات لمعالجة البرمجيات أو تقييمها أو تصورها؛ ثم تطورت إلى منصة تحليل بيانات أكثر عمومية
معتمد2022-03-16 (2022.1) [ 11 ]لا؛ ملكية خاصة—سي شارب——VB.NET .NET——يُسهّل إدارة قاعدة بيانات أكواد .NET المعقدة من خلال تحليل وتصور تبعيات الكود، وتحديد قواعد التصميم، وإجراء تحليل التأثير، ومقارنة الإصدارات المختلفة؛ ويتكامل مع Visual Studio
منصة تجميع .NET ( Roslyn )2020-12-08 ( 3.8.0 )نعم؛ معهد ماساتشوستس للتكنولوجيا—سي شارب——VB.NET——إطار عمل مُترجم مفتوح المصدر للغة C# و Visual Basic (.NET) طورته شركة Microsoft .NET، يوفر واجهة برمجة تطبيقات لتحليل ومعالجة بناء الجملة؛ تم تطبيق قواعد FxCop في Roslyn
اختبار Parasoft C/C++2024-12-03 (2024.2)لا؛ ملكية خاصة—لغة C، لغة C++—————أداة C/C++ مزودة بالذكاء الاصطناعي؛ تُجري التحليل الثابت، واختبارات الوحدات، ومراجعة التعليمات البرمجية، واكتشاف أخطاء وقت التشغيل، وفرض معايير السلامة والأمان؛ تتوفر إضافات لـ Visual Studio و Visual Studio Code وبيئات التطوير المتكاملة المستندة إلى Eclipse ، بالإضافة إلى التكامل مع GitHub.
Parasoft Jtest2024-12-03 (2024.2)لا؛ ملكية خاصة——جافا————أداة جافا مزودة بالذكاء الاصطناعي؛ تُجري التحليل الثابت، واختبارات الوحدات، وتُطبّق معايير السلامة والأمان؛ تتوفر إضافات لبرامج IntelliJ IDEA و Visual Studio Code وبيئات التطوير المتكاملة القائمة على Eclipse ، بالإضافة إلى التكامل مع GitHub.
بي سي لينت بلس2022-08-02 (2.0 بيتا 2)لا؛ ملكية خاصة—لغة C، لغة C++—————أداة تحليل ثابتة تُستخدم للكشف عن مجموعة واسعة من العيوب، وتحديد التعليمات البرمجية المشبوهة، وفرض معايير البرمجة المختلفة (MISRA/AUTOSAR/إلخ)، وحساب المقاييس المعقدة والإبلاغ عنها، وتنفيذ عمليات التحقق التي يحددها المستخدم.
PMD2025-11-28 (7.19.0)نعم؛ يشبه نظام BSD—لغة C، لغة C++جافا، كوتلين، سكالا، JSP، لغة قوالب أباتشي فيلوسيتي (VTL)جافا سكريبت——Apex، ColdFusion ، HTML، PHP، PL/SQL، Swift، Visualforce، XML، Maven POM، WSDL، XSLكاشف الرموز المكررة [ 12 ]
مساحة المنشورات2022-09-15لا؛ ملكية خاصةآدالغة C، لغة C++—————يستخدم التفسير المجرد للكشف عن بعض أخطاء وقت التشغيل والتعليمات البرمجية غير المستخدمة في التعليمات البرمجية المصدرية وإثبات عدم وجودها؛ ويستخدم للتحقق من جميع قواعد MISRA (2004، 2012) (التوجيهات، وغير التوجيهات).
مختلف تمامًا2019-04-21 ( 101.0.0 )نعم؛ CC0———جافا سكريبت، تايب سكريبت——لغات الترميز والبرمجة والتنسيق (مثل XML و CSS)أداة لمقارنة التعليمات البرمجية الخاصة بكل لغة ؛ خوارزميات تحليل الميزات، وإعداد التقارير، والتصغير ، والتحسين
استوديو بي في إس2024-08-16 ( 7.32 )لا؛ ملكية خاصة—C، C++، C++/CLI ، C++/CX ، C#جافا————أداة تحليل البرمجيات
كودانا2023-07-23 (2023.2)لا؛ ملكية خاصة—سي شاربجافا، كوتلينجافا سكريبت، تايب سكريبتVB.NETبايثونGo، HTML، PHP، CSS، Android، Vue.jsأداة تحليل جودة الكود؛ تستخدم تحليل الكود الثابت
تمزق2020-02-17 (3.4)لا؛ ملكية خاصة——جافا———PHPأداة تحليل الشفرة الثابتة مع العديد من خيارات التكامل للكشف التلقائي عن الثغرات الأمنية المعقدة
سيمغريب2026-07-15 ( 1.170.0 )نعم؛ رخصة LGPL الإصدار 2.1——جافاجافا سكريبت، تايب سكريبت—بايثونGo، JSON ، PHP، Ruby، وضع مستقل عن اللغةأداة تحليل ثابتة؛ تساعد في التعبير عن معايير البرمجة واكتشاف الأخطاء مبكرًا؛ دعم تجريبي لـ 11 لغة أخرى؛ خدمة التكامل المستمر ومكتبة قواعد متاحة
سايدر2021-02-02لا؛ ملكية خاصة———جافا سكريبت، كوفي سكريبت—بايثونروبي، بي إتش بي، جوأداة آلية لمراجعة الكود تعتمد على تحليل الكود الثابت، وتعمل على منصتي GitHub وGitLab؛ تتحقق من الأسلوب والجودة والتبعيات والأمان والأخطاء؛ وتدمج العديد من أدوات التحليل الثابت مفتوحة المصدر.
مشروع SLAM2010-07-14لا؛ ملكية خاصة—ج—————مشروع بحثي من مايكروسوفت للتحقق من أن البرامج (برامج التشغيل) تفي بالخصائص السلوكية الأساسية للواجهات التي تستخدمها
مفتش SoftCheck ، Codepeer2020-08-24 (21.x)لا؛ ملكية خاصةآدا—جافا————الكشف الثابت عن الأخطاء المنطقية، وحالات التزامن ، والتعليمات البرمجية الزائدة ؛ يستخرج تلقائيًا الشروط المسبقة واللاحقة من التعليمات البرمجية
سونار كيوب2024-02-05 (10.4)جزئياً؛ الإطار مرخص بموجب رخصة LGPL الإصدار 3.0 ، ولكن بعض الميزات قد تكون ملكية خاصة.—سي، سي شارب، سي++، أوبجكتيف سيجافا، كوتلين ، سكالاجافا سكريبت، تايب سكريبتVB.NETبايثونABAP، Apex، CSS، COBOL، Flex، Go، HTML، PHP، PLI، PL/SQL، Ruby، Swift، TSQL، Visual Basic 6، XMLمحرك فحص مستمر يكتشف الثغرات الأمنية والأخطاء البرمجية ومؤشرات ضعف الكود ، ويتتبع تعقيد الكود وتغطية اختبارات الوحدات والتكرار؛ كما يوفر تحليل الفروع ودعم لغات C وC++ وObjective-C عبر تراخيص تجارية.
عداد المصدر2016-12-16 (8.2)لا؛ ملكية خاصة—لغة C، لغة C++جافا——بايثونآر بي جي 4 (إيه إس/400)محلل شفرة مصدرية ثابت متعدد المنصات، يعمل عبر سطر الأوامر؛ يتكامل مع PMD و SpotBugs
سورستريل (متقاعد)2021-04 (2021.4.19)نعم؛ رخصة جنو العمومية—لغة C، لغة C++جافا——بايثونبيرلمستكشف شفرة المصدر مفتوح المصدر؛ يوفر رسومًا بيانية تفاعلية للتبعيات، ويدعم العديد من لغات البرمجة
متناثر2021-09-06 (0.6.4)نعم؛ معهد ماساتشوستس للتكنولوجيا—ج————ملحقات GCCأداة مفتوحة المصدر مصممة لاكتشاف الأخطاء في نواة لينكس
جبيرة2007-07-12 (3.1.2)نعم؛ رخصة جنو العمومية الإصدار الثاني—ج—————أداة مفتوحة المصدر تقوم بفحص برامج C بشكل ثابت بحثًا عن الثغرات الأمنية وأخطاء البرمجة
ستايل كوب2016-05-02 (2016.1.0)نعم؛ Ms-PL—سي شارب——.شبكة——يحلل هذا البرنامج شفرة المصدر المكتوبة بلغة C# لفرض مجموعة من قواعد الأسلوب والاتساق؛ ويمكن تشغيله من داخل Visual Studio أو دمجه في مشروع MSBuild
ساحة2020-11-27 (20.1)لا؛ ملكية خاصةآداسي، سي++، سي#، أوبجكتيف-سيجافاجافا سكريبت، تايب سكريبتVB.NETبايثونفورتران، بي إتش بي، بي إل/إس كيو إل، سويفت، تي-إس كيو إل، إكس إيه إم إلأداة مراقبة متعددة الأغراض ومتعددة اللغات لمشاريع البرمجيات؛ تتكامل مع الماسحات الضوئية الأخرى.
يفهم2023-01-19 (6.3)لا؛ ملكية خاصةآداسي، سي++، سي#، أوبجكتيف-سيجافاجافا سكريبت—بايثونفورتران، جوفيال، باسكال، في إتش دي إل، إتش تي إم إل، بي إتش بي، إكس إم إلأداة متعددة المنصات لتحليل وفهم قواعد البيانات البرمجية الكبيرة؛ تتعرف على العديد من لهجات لغات C وC++ وC# مثل ANSI وK&R وObjective-C++
خبير بصري2021-09-10لا؛ ملكية خاصة——————باور بيلدر، أوراكل بي إل/إس كيو إل، إس كيو إل سيرفر ترانزاكت-إس كيو إل (تي-إس كيو إل)يساعد الفحص المستمر للبرمجيات، وإعداد التقارير حول مشاكل الجودة والأمان، على فهم البرمجيات المعقدة (المراجع المتبادلة، وتوثيق ومقارنة شفرة المصدر، وتحليل أداء البرمجيات).
Visual Studio2021-10-12 (16.11)لا؛ ملكية خاصة—سي، سي++، سي#————VB.NETبيئة تطوير متكاملة (IDE)؛ توفر تحليلًا ثابتًا للتعليمات البرمجية للغة C/C++ في بيئة المحرر ومن سطر أوامر المُصرّف؛ تتضمن منصة مُصرّف .NET (Roslyn) التي توفر تحليلًا للغة C# وVB.NET
ياسكا (متقاعد)2010-11-01 (2.21)نعم؛ تراخيص متعددة—لغة C، لغة C++جافاجافا سكريبت——ASP، PHP، HTML، CSS، ColdFusion، COBOLمحلل شفرة مصدرية آخر؛ إطار عمل قائم على الإضافات لفحص أنواع الملفات المختلفة، مع إضافات؛ يتكامل مع الماسحات الضوئية الأخرى، بما في ذلك FindBugs و PMD وPixy
أداةيطلقبرامج مجانيةاللغات المدعومةملحوظات

اللغات

آدا

لغة C ، لغة C++

سي شارب

IEC 61131-3

  • تحليل CODESYS الثابت – إضافة متكاملة لبرنامج CODESYS (تم تنفيذ كود التطبيق على سبيل المثال في ST و FBD و LD) 

جافا

أداةأحدث إصدار برامج مجانيةرمز مكررملحوظات
نمط مربعات2020-01-26نعم؛ رخصة القيادة العامة المحدودة لاإلى جانب بعض التحليلات الثابتة للشيفرة، يمكن استخدامه لإظهار انتهاكات معيار الترميز المُحدد. وقد أُزيلت خاصية اكتشاف الشيفرة المكررة [ 13 ] من Checkstyle.
كسوف2017-06-28نعم؛ الدوري الإنجليزي الممتازلابيئة تطوير متكاملة متعددة المنصات مزودة بمجموعة خاصة بها تضم ​​مئات من أدوات فحص التعليمات البرمجية، تتيح تحليل التعليمات البرمجية مباشرةً في المحرر، بالإضافة إلى التحليل الشامل للمشروع بأكمله. تتضمن إضافات لبرامج Checkstyle وFindBugs وPMD.
فايندباغز2015-03-06نعم؛ رخصة القيادة العامة المحدودةانطلاقاً من مركز جاكرتا بي سي إي إل التابع لجامعة ميريلاند، يُعدّ SpotBugs الوريث الروحي لـ FindBugs، حيث يواصل مسيرته من حيث توقف بدعم من مجتمعه.
IntelliJ IDEA2021-04-06نعم؛ لغة الإشارة الأمريكية  2نعمبيئة تطوير متكاملة رائدة للغة جافا مزودة بفحص وتحليل مدمجين للتعليمات البرمجية. إضافات لبرامج Checkstyle وFindBugs وPMD.
JArchitect2017-06-11لا؛ ملكية خاصةيُبسط إدارة قاعدة بيانات برمجية معقدة من خلال تحليل وتصور تبعيات التعليمات البرمجية، وتحديد قواعد التصميم، وإجراء تحليل التأثير، ومقارنة الإصدارات المختلفة من التعليمات البرمجية.
Jtest2024-11-01 (2024.2)لا؛ ملكية خاصةنعممنتج اختبار وتحليل الكود الثابت من شركة Parasoft .
سخام2020-10-28نعم؛ رخصة القيادة العامة المحدودةإطار عمل لمعالجة اللغة وتحسينها يتكون من لغات وسيطة.
PMD2025-11-28نعم؛ رخصة BSDنعممحلل كود ثابت يدعم الإضافات، بما في ذلك CPD . يدعم PMD فحص العديد من اللغات.
سكوال2011-05-26نعم؛ رخصة القيادة العامة المحدودةمنصة لإدارة جودة البرمجيات.
آمن على الخيوط2014-03-28لا؛ ملكية خاصةأداة تحليل ثابتة تركز على إيجاد أخطاء التزامن.

جافا سكريبت

  • ESLint – مدقق ومُنسق بناء جملة جافا سكريبت . 
  • مُجمِّع Closure من جوجل - مُحسِّن جافا سكريبت الذي يعيد كتابة التعليمات البرمجية لتكون أسرع وأصغر حجمًا، ويتحقق من استخدام وظائف جافا سكريبت الأصلية. 
  • CodeScene – تحليل سلوكي للبرمجيات. 
  • هجمات السوائل
  • JSHint – نسخة معدلة من JSLint مدفوعة من قبل المجتمع. 
  • JSLint – مدقق ومُدقِّق بناء جملة جافا سكريبت. 
  • كلوورك
  • Semgrep – أداة تحليل ثابتة تساعد في التعبير عن معايير الكود والكشف عن الأخطاء مبكراً. كما تتوفر خدمة التكامل المستمر ومكتبة قواعد. 
  • يفهم

أوبجكتيف-سي ، أوبجكتيف-سي++

  • Clang – يتضمن مشروع Clang المجاني محللًا ثابتًا. اعتبارًا من الإصدار 3.2، تم تضمين هذا المحلل في Xcode . [ 14 ] 
  • Infer – طُوِّرَ بواسطة فريق هندسي في فيسبوك بمساهمين من مطوري البرامج مفتوحة المصدر. يستهدف Infer مؤشرات الذاكرة الفارغة، وتسريبات البيانات، واستخدام واجهة برمجة التطبيقات، وفحوصات أخرى للتحقق من سلامة البيانات. وهو متاح كمصدر مفتوح على GitHub. 
  • يفهم

أوبا

  • تتضمن لغة Opa محللًا ثابتًا خاصًا بها. ولأن اللغة مصممة لتطوير تطبيقات الويب، فإن المترجم ذو الكتابة الثابتة القوية يتحقق من صحة الأنواع عالية المستوى لبيانات الويب، ويمنع افتراضيًا العديد من الثغرات الأمنية مثل هجمات XSS وحقن التعليمات البرمجية في قواعد البيانات.

التغليف

  • لينتيان – يتحقق من حزم برامج دبيان بحثًا عن التناقضات والأخطاء الشائعة. 
  • Rpmlint – يتحقق من المشاكل الشائعة في حزم rpm. 

بيرل

  • Perl::Critic – أداة للمساعدة في تطبيق أفضل الممارسات الشائعة في لغة بيرل. تستند معظم هذه الممارسات إلى كتاب داميان كونواي " أفضل ممارسات بيرل" . 
  • PerlTidy – برنامج يعمل كمدقق بناء الجملة ومختبر/منفذ لممارسات البرمجة في لغة بيرل. 
  • Padre – بيئة تطوير متكاملة للغة Perl توفر أيضًا تحليلًا ثابتًا للتعليمات البرمجية للتحقق من الأخطاء الشائعة للمبتدئين. 

PL/SQL

باور بيلدر ، باور سكريبت

بايثون

  • PyCharm – بيئة تطوير متكاملة للغة بايثون متعددة المنصات مع إمكانية فحص التعليمات البرمجية لتحليل التعليمات البرمجية أثناء التشغيل في المحرر والتحليل الشامل للمشروع بأكمله. 
  • PyDev – بيئة تطوير متكاملة للغة بايثون تعتمد على Eclipse مع تحليل الكود المتاح أثناء التشغيل في المحرر أو عند حفظ الوقت. 
  • بايلينت – محلل أكواد ثابت. صارم للغاية؛ ويتضمن العديد من التحذيرات المتعلقة بأسلوب الكتابة أيضًا. 
  • هجمات السوائل
  • كلوورك
  • Semgrep – محلل كود ثابت يساعد في التعبير عن معايير الكود والكشف عن الأخطاء مبكراً. كما تتوفر خدمة التكامل المستمر ومكتبة قواعد. 
  • يفهم

ترانزاكت-إس كيو إل

  • Visual Expert – أداة تحليل كود SQLServer [ 16 ] التي تقدم تقارير عن مشكلات البرمجة وتساعد على فهم وصيانة الكود المعقد (تحليل التأثير، وتوثيق الكود المصدري، وأشجار الاستدعاء، ومصفوفة CRUD، وما إلى ذلك). 

أدوات مزودة بخاصية الكشف عن التعليمات البرمجية المكررة

أدوات الأساليب الرسمية

تستخدم الأدوات التي تعتمد على أساليب التحليل الثابت ، أي التقريب المفرط لنموذج دقيق، أساليب رسمية (مثل استخدام تأكيدات البرامج الثابتة ). لا تحتوي هذه الأساليب على نتائج سلبية خاطئة للبرامج الخالية من الأخطاء، على الأقل فيما يتعلق بالنموذج الرياضي المثالي الذي تستند إليه (لا يوجد ما يُسمى بالسلامة المطلقة). تجدر الإشارة إلى أنه لا يوجد ضمان بأنها ستُبلغ عن جميع الأخطاء في البرامج التي تحتوي على أخطاء، ولكنها ستُبلغ عن خطأ واحد على الأقل.

انظر أيضاً

مراجع

  1. ↑ "CPAchecker" . 2015-02-08.
  2. ↑ "التحليل الثابت في Xcode" . أبل. مؤرشف من الأصل بتاريخ 2009-09-05 . تم الاطلاع عليه بتاريخ 2009-09-03 .
  3. ↑ "تشغيل المحلل داخل Xcode" . مؤرشف من الأصل في 5 ديسمبر 2021. تم الاطلاع عليه في 14 يناير 2022 .
  4. ↑ "أدوات ولغات اختبار أمان التطبيقات المدعومة" . codedx.com . تم الاطلاع عليه بتاريخ 25 أبريل 2017 .
  5. ↑ "موقع Coverity Scan الإلكتروني" . تم الاطلاع عليه بتاريخ 23-08-2023 .
  6. ↑ "موقع إكلير" . تم الاسترجاع بتاريخ 2021-10-07 .
  7. ↑ "CppDepend what's new" . cppdepend.com . تم الاطلاع عليه في 1 مارس 2023 .
  8. ↑ "ملف Readme.md الخاص بأدلة أسلوب جوجل" . جيت هاب . تم الاطلاع عليه بتاريخ 8 نوفمبر 2021 .
  9. ↑ مالكولم، ديفيد (26 مارس 2020). "التحليل الثابت في GCC 10" . مطور ريد هات . تم الاسترجاع في 13 أبريل 2022 .
  10. ↑ "نظام يونكس مجاني!" . lemis.com. 2002-01-24.
  11. ↑ "NDepend what's new" . ndepend.com . تم الاطلاع عليه بتاريخ 15 يونيو 2022 .
  12. ↑ "PMD - تصفح /pmd/5.0.0" . SourceForge.net . تم الاطلاع عليه في 9 ديسمبر 2012 .
  13. ↑ "إزالة StrictDuplicateCodeCheck والحزمة بأكملها · المشكلة رقم 523 · checkstyle/Checkstyle" . GitHub .
  14. ↑ "التحليل الثابت في Xcode" . أبل . تم الاطلاع عليه بتاريخ 2009-09-03 .
  15. ↑ "Visual Expert for Oracle - PL/SQL Code Analyzer" . www.visual-expert.com . 2017-08-24.
  16. ↑ "Visual Expert for SQL Server - محلل أكواد Transact SQL" . www.visual-expert.com . 2017-08-24.
  17. ↑ كوسو، باتريك (2007). "دور التفسير المجرد في الأساليب الرسمية". المؤتمر الدولي الخامس لهندسة البرمجيات والأساليب الرسمية (SEFM 2007) . المؤتمر الدولي لهندسة البرمجيات والأساليب الرسمية. الصفحات 135-140 . doi : 10.1109/SEFM.2007.42 . ISBN  978-0-7695-2884-7. S2CID 67212 .