fucking static analysis
1.0.0
ที่เก็บนี้แสดงรายการ เครื่องมือวิเคราะห์แบบคงที่ สำหรับภาษาการเขียนโปรแกรมทั้งหมดเครื่องมือสร้างไฟล์กำหนดค่าและอื่น ๆ โฟกัสอยู่ที่เครื่องมือที่ปรับปรุงคุณภาพของรหัสเช่น Linters และ Formatters เว็บไซต์อย่างเป็นทางการ? การวิเคราะห์-tools.dev ขึ้นอยู่กับที่เก็บนี้และเพิ่มการจัดอันดับความคิดเห็นของผู้ใช้และทรัพยากรเพิ่มเติมเช่นวิดีโอสำหรับแต่ละเครื่องมือ
โครงการนี้จะเป็นไปไม่ได้หากไม่ได้รับการสนับสนุนจากผู้สนับสนุนของเรา
หากคุณต้องการสนับสนุนโครงการนี้ให้ตรงไปที่ของเรา ? ?? หน้าผู้สนับสนุน GitHub)
คำขอดึงยินดีต้อนรับมาก!
ตรวจสอบโครงการน้องสาว 958 106? การวิเคราะห์ที่ยอดเยี่ยม-Dynamic)
- Abaplint - Linter สำหรับ ABAP เขียนด้วย TypeScript
- ABAPOPENCHECKS - ปรับปรุงผู้ตรวจสอบรหัส SAP ด้วยการตรวจสอบใหม่และปรับแต่งได้
- Codepeer ©️-ตรวจพบข้อผิดพลาดในการรันไทม์และตรรกะ
- Polyspace สำหรับ ADA ©️-ให้การตรวจสอบรหัสที่พิสูจน์ว่าไม่มีการล้น, หารโดยศูนย์, การเข้าถึงอาร์เรย์นอกขอบเขตและข้อผิดพลาดอื่น ๆ รันไทม์อื่น ๆ ในซอร์สโค้ด
- Spark ©️ - การวิเคราะห์แบบคงที่และชุดเครื่องมือตรวจสอบอย่างเป็นทางการสำหรับ ADA
749 75? จี้)- Astrée©️ - Astréeพิสูจน์การขาดข้อผิดพลาดรันไทม์โดยอัตโนมัติและพฤติกรรมที่เกิดขึ้นพร้อมกันไม่ถูกต้องในแอปพลิเคชัน C/C ++ มันเป็นเสียงสำหรับการคำนวณจุดลอยตัวเร็วมากและแม่นยำเป็นพิเศษ เครื่องวิเคราะห์ยังตรวจสอบกฎการเข้ารหัส Autosar MISRA/CERT/CWE/Adaptive Autosar และสนับสนุนคุณสมบัติสำหรับ ISO 26262, DO-178C ระดับ A และมาตรฐานความปลอดภัยอื่น ๆ มีปลั๊กอิน Jenkins และ Eclipse
CBMC-ตัวตรวจสอบแบบจำลองที่มีขอบเขตสำหรับโปรแกรม C, การยืนยันที่ผู้ใช้กำหนด, การยืนยันมาตรฐาน, การวิเคราะห์การครอบคลุมหลายตัวชี้วัด
- clang-tidy-เครื่องมือ c ++ linter ที่ใช้ clang ที่มีความสามารถ (จำกัด ) ในการแก้ไขปัญหาเช่นกัน
672 94? Clazy)-เครื่องวิเคราะห์รหัสคงที่ QT-oriented ตามกรอบการทำงานของเสียงดัง Clazy เป็นปลั๊กอินคอมไพเลอร์ที่ช่วยให้เสียงดังเข้าใจความหมาย QT คุณจะได้รับคำเตือนคอมไพเลอร์ที่เกี่ยวข้องมากกว่า 50 QT ตั้งแต่การจัดสรรหน่วยความจำที่ไม่จำเป็นไปจนถึง API ที่ไม่ถูกต้องรวมถึงการแก้ไขสำหรับการปรับโครงสร้างอัตโนมัติ
72 27? CMetrics) - วัดขนาดและความซับซ้อนสำหรับไฟล์ C
- CPACHECKER - เครื่องมือสำหรับการตรวจสอบซอฟต์แวร์ที่กำหนดค่าได้ของโปรแกรม C ชื่อ CPACHECKER ได้รับเลือกให้สะท้อนให้เห็นว่าเครื่องมือนั้นใช้แนวคิด CPA และใช้สำหรับการตรวจสอบโปรแกรมซอฟต์แวร์
- CPPCHECK - การวิเคราะห์แบบคงที่ของรหัส C/C ++
- CPPDepend ©️ - วัดสอบถามและมองเห็นรหัสของคุณและหลีกเลี่ยงปัญหาที่ไม่คาดคิดหนี้ทางเทคนิคและความซับซ้อน
37674 13306? CPPLINT) - ตัวตรวจสอบ C ++ อัตโนมัติที่ติดตามคู่มือสไตล์ของ Google
64 11? CQMetrics) - ตัวชี้วัดคุณภาพสำหรับรหัส C
- CSCOUT - ความซับซ้อนและตัวชี้วัดคุณภาพสำหรับรหัส preprocessor C และ C
14 3? enre-CPP)-enre (ตัวดึงความสัมพันธ์เอนทิตี) เป็นเครื่องมือสำหรับการสกัดการพึ่งพารหัสเอนทิตีรหัสหรือความสัมพันธ์จากซอร์สโค้ด Enre-CPP เป็นตัวแยกความสัมพันธ์เอนทิตีสำหรับ C/C ++ โดยใช้ @eclipse/CDT (อยู่ระหว่างการพัฒนา)
ESBMC-ESBMC เป็นโอเพ่นซอร์สที่ได้รับใบอนุญาตและได้รับใบอนุญาตแบบจำลองบริบทตามทฤษฎีโมดูโลที่น่าพอใจสำหรับการตรวจสอบโปรแกรม C/C ++ แบบหลายเธรด
ผู้ที่มีข้อบกพร่อง
266 21? ฟลินท์ ++)
- FRAMA-C-เครื่องวิเคราะห์แบบคงที่เสียงและขยายได้สำหรับรหัส C
- GCC - คอมไพเลอร์ GCC มีความสามารถในการวิเคราะห์แบบคงที่ตั้งแต่เวอร์ชัน 10 ตัวเลือกนี้จะใช้ได้เฉพาะในกรณีที่ GCC ได้รับการกำหนดค่าเมื่อเปิดใช้งานการสนับสนุนเครื่องวิเคราะห์ นอกจากนี้ยังสามารถส่งออกการวินิจฉัยไปยังไฟล์ JSON ในรูปแบบ SARIF (จาก V13)
- Goblint-เครื่องวิเคราะห์แบบคงที่สำหรับการวิเคราะห์โปรแกรม C หลายเธรด จุดสนใจหลักของมันคือการตรวจจับการแข่งขันของข้อมูล แต่ยังรายงานข้อผิดพลาดรันไทม์อื่น ๆ เช่นบัฟเฟอร์ล้นและ dereferences null-pointer
- Helix QAC ©️-การวิเคราะห์แบบคงที่ระดับองค์กรสำหรับซอฟต์แวร์ฝังตัว รองรับมาตรฐานการเข้ารหัส MISRA, CERT และ AUTOSAR
2771 191? IKOS) - เครื่องวิเคราะห์แบบคงที่เสียงสำหรับรหัส C/C ++ ตาม LLVM
- Joern-แพลตฟอร์มการวิเคราะห์รหัสโอเพนซอร์ซสำหรับ C/C ++ ตามกราฟคุณสมบัติรหัส
KLEE - เอ็นจิ้นการดำเนินการเชิงสัญลักษณ์แบบไดนามิกที่สร้างขึ้นบนโครงสร้างพื้นฐานคอมไพเลอร์ LLVM สามารถสร้างกรณีทดสอบอัตโนมัติสำหรับโปรแกรมที่กรณีทดสอบใช้โปรแกรมให้มากที่สุดเท่าที่จะทำได้
- LDRA ©️ - ชุดเครื่องมือรวมถึงการวิเคราะห์แบบคงที่ (TBVISION) ไปยังมาตรฐานต่าง ๆ รวมถึง MISRA C & C ++, JSF ++ AV, CWE, CERT C, CERT C ++ & กฎที่กำหนดเอง
- เพื่อน
- PC-LINT ©️-การวิเคราะห์แบบคงที่สำหรับ C/C ++ ทำงานภายใต้ Windows/Linux/MacOS วิเคราะห์รหัสสำหรับแพลตฟอร์มใด ๆ ที่รองรับ C11/C18 และ C ++ 17
- PHASAR-กรอบการวิเคราะห์แบบคงที่แบบ LLVM ซึ่งมาพร้อมกับการวิเคราะห์สถานะที่น่าเบื่อและประเภท
- Polyspace Bug Finder ©️-ระบุข้อผิดพลาดเวลารันเวลาปัญหาพร้อมกันช่องโหว่ความปลอดภัยและข้อบกพร่องอื่น ๆ ในซอฟต์แวร์ C และ C ++
- Polyspace Code Prover ©️-ให้การตรวจสอบรหัสที่พิสูจน์ว่าไม่มีการล้น, หารโดยศูนย์, การเข้าถึงอาร์เรย์นอกขอบเขต, และข้อผิดพลาดอื่น ๆ รันไทม์อื่น ๆ ในซอร์สโค้ด C และ C ++
- Scan-Build-ส่วนหน้าเพื่อขับเคลื่อนเครื่องวิเคราะห์แบบคงที่ clang ที่สร้างขึ้นในเสียงดังผ่านการสร้างปกติ
Splint-โปรแกรมตรวจสอบโปรแกรมแบบคงที่ด้วยคำอธิบายประกอบ
- SVF - เครื่องมือแบบคงที่ที่ช่วยให้สามารถวิเคราะห์การพึ่งพาอาศัยกันของ Interprocedural ได้อย่างแม่นยำและแม่นยำสำหรับโปรแกรม C และ C ++
- Trustinsoft Analyzer ©️ - การตรวจจับข้อผิดพลาดการเข้ารหัสอย่างละเอียดถี่ถ้วนและช่องโหว่ด้านความปลอดภัยที่เกี่ยวข้อง สิ่งนี้ครอบคลุมการตรวจจับพฤติกรรมที่ไม่ได้กำหนดเสียง (บัฟเฟอร์ล้น, การเข้าถึงอาร์เรย์นอกขอบเขต, การลบตัวชี้ค่าตัวชี้, การใช้งาน, การใช้งานฟรี, การแบ่งแยก, การเข้าถึงหน่วยความจำที่ไม่ได้ใช้งาน, การตรวจสอบการทำงานของฟอร์ม รองรับ C ทุกรุ่นสูงสุดถึง C18 และ C ++ ถึง C ++ 20 Trustinsoft Analyzer จะได้รับคุณสมบัติ ISO 26262 ใน Q2'2023 (TCL3) ตัวตรวจสอบ MISRA C นั้นรวมอยู่ด้วย
- Vera ++
.NET ANALASEZERS - องค์กรเพื่อการพัฒนาเครื่องวิเคราะห์ (การวินิจฉัยและการแก้ไขรหัส) โดยใช้แพลตฟอร์ม. NET Compiler
949 61? ArchunitNet) - ไลบรารีทดสอบสถาปัตยกรรม AC# เพื่อระบุและยืนยันกฎสถาปัตยกรรมใน C# สำหรับการทดสอบอัตโนมัติ
- Code-Cracker-ไลบรารีเครื่องวิเคราะห์สำหรับ C# และ VB ที่ใช้ Roslyn เพื่อสร้าง refactorings การวิเคราะห์รหัสและ niceties อื่น ๆ
160 26? Csharpessentials)
Designite ©️ - Designite รองรับการตรวจจับสถาปัตยกรรมการออกแบบและกลิ่นการใช้งานการคำนวณตัวชี้วัดคุณภาพรหัสต่างๆและการวิเคราะห์แนวโน้ม
- GENDARME - GENDARME ตรวจสอบโปรแกรมและห้องสมุดที่มีรหัสในรูปแบบ ECMA CIL (MONO และ. NET)
737 29? อนุมาน#)
965 51? Meziantou.analyzer) - เครื่องวิเคราะห์ Roslyn เพื่อบังคับใช้แนวทางปฏิบัติที่ดีใน C# ในแง่ของการออกแบบการใช้งานการรักษาความปลอดภัยประสิทธิภาพและสไตล์
ndepend ©️ - วัดสอบถามและมองเห็นรหัสของคุณและหลีกเลี่ยงปัญหาที่ไม่คาดคิดหนี้ทางเทคนิคและความซับซ้อน
- PUMA SCAN - PUMA SCAN ให้การวิเคราะห์รหัสที่ปลอดภัยแบบเรียลไทม์สำหรับช่องโหว่ทั่วไป (XSS, SQLI, CSRF, LDAPI, Crypto, Deserialization ฯลฯ ) เมื่อทีมพัฒนาเขียนโค้ดใน Visual Studio
3128 263? Roslynator) - คอลเล็กชั่นเครื่องวิเคราะห์กว่า 190 รายการและ 190+ Refactorings สำหรับ C#ขับเคลื่อนโดย Roslyn
803 229? Sonaranalyzer.csharp) - เครื่องวิเคราะห์ Roslyn เหล่านี้ช่วยให้คุณสามารถสร้างรหัสที่สะอาดซึ่งปลอดภัยเชื่อถือได้และบำรุงรักษาได้โดยช่วยให้คุณค้นหาและแก้ไขข้อบกพร่องช่องโหว่และรหัสได้กลิ่นในรหัสของคุณ
65 16? vsdiagnostics)
91 10? Wintellect.analyzers) -. NET Compiler Platform ("Roslyn") เครื่องวิเคราะห์การวินิจฉัยและการแก้ไขรหัส
- Astrée©️ - Astréeพิสูจน์การขาดข้อผิดพลาดรันไทม์โดยอัตโนมัติและพฤติกรรมที่เกิดขึ้นพร้อมกันไม่ถูกต้องในแอปพลิเคชัน C/C ++ มันเป็นเสียงสำหรับการคำนวณจุดลอยตัวเร็วมากและแม่นยำเป็นพิเศษ เครื่องวิเคราะห์ยังตรวจสอบกฎการเข้ารหัส Autosar MISRA/CERT/CWE/Adaptive Autosar และสนับสนุนคุณสมบัติสำหรับ ISO 26262, DO-178C ระดับ A และมาตรฐานความปลอดภัยอื่น ๆ มีปลั๊กอิน Jenkins และ Eclipse
CBMC-ตัวตรวจสอบแบบจำลองที่มีขอบเขตสำหรับโปรแกรม C, การยืนยันที่ผู้ใช้กำหนด, การยืนยันมาตรฐาน, การวิเคราะห์การครอบคลุมหลายตัวชี้วัด
- clang-tidy-เครื่องมือ c ++ linter ที่ใช้ clang ที่มีความสามารถ (จำกัด ) ในการแก้ไขปัญหาเช่นกัน
672 94? Clazy)-เครื่องวิเคราะห์รหัสคงที่ QT-oriented ตามกรอบการทำงานของเสียงดัง Clazy เป็นปลั๊กอินคอมไพเลอร์ที่ช่วยให้เสียงดังเข้าใจความหมาย QT คุณจะได้รับคำเตือนคอมไพเลอร์ที่เกี่ยวข้องมากกว่า 50 QT ตั้งแต่การจัดสรรหน่วยความจำที่ไม่จำเป็นไปจนถึง API ที่ไม่ถูกต้องรวมถึงการแก้ไขสำหรับการปรับโครงสร้างอัตโนมัติ
72 27? CMetrics) - วัดขนาดและความซับซ้อนสำหรับไฟล์ C
- CPPCHECK - การวิเคราะห์แบบคงที่ของรหัส C/C ++
- CPPDepend ©️ - วัดสอบถามและมองเห็นรหัสของคุณและหลีกเลี่ยงปัญหาที่ไม่คาดคิดหนี้ทางเทคนิคและความซับซ้อน
37674 13306? CPPLINT) - ตัวตรวจสอบ C ++ อัตโนมัติที่ติดตามคู่มือสไตล์ของ Google
64 11? CQMetrics) - ตัวชี้วัดคุณภาพสำหรับรหัส C
- CSCOUT - ความซับซ้อนและตัวชี้วัดคุณภาพสำหรับรหัส preprocessor C และ C
14 3? enre-CPP)-enre (ตัวดึงความสัมพันธ์เอนทิตี) เป็นเครื่องมือสำหรับการสกัดการพึ่งพารหัสเอนทิตีรหัสหรือความสัมพันธ์จากซอร์สโค้ด Enre-CPP เป็นตัวแยกความสัมพันธ์เอนทิตีสำหรับ C/C ++ โดยใช้ @eclipse/CDT (อยู่ระหว่างการพัฒนา)
ESBMC-ESBMC เป็นโอเพ่นซอร์สที่ได้รับใบอนุญาตและได้รับใบอนุญาตแบบจำลองบริบทตามทฤษฎีโมดูโลที่น่าพอใจสำหรับการตรวจสอบโปรแกรม C/C ++ แบบหลายเธรด
ผู้ที่มีข้อบกพร่อง
266 21? ฟลินท์ ++)
- FRAMA-C-เครื่องวิเคราะห์แบบคงที่เสียงและขยายได้สำหรับรหัส C
- Helix QAC ©️-การวิเคราะห์แบบคงที่ระดับองค์กรสำหรับซอฟต์แวร์ฝังตัว รองรับมาตรฐานการเข้ารหัส MISRA, CERT และ AUTOSAR
2771 191? IKOS) - เครื่องวิเคราะห์แบบคงที่เสียงสำหรับรหัส C/C ++ ตาม LLVM
- Joern-แพลตฟอร์มการวิเคราะห์รหัสโอเพนซอร์ซสำหรับ C/C ++ ตามกราฟคุณสมบัติรหัส
KLEE - เอ็นจิ้นการดำเนินการเชิงสัญลักษณ์แบบไดนามิกที่สร้างขึ้นบนโครงสร้างพื้นฐานคอมไพเลอร์ LLVM สามารถสร้างกรณีทดสอบอัตโนมัติสำหรับโปรแกรมที่กรณีทดสอบใช้โปรแกรมให้มากที่สุดเท่าที่จะทำได้
- LDRA ©️ - ชุดเครื่องมือรวมถึงการวิเคราะห์แบบคงที่ (TBVISION) ไปยังมาตรฐานต่าง ๆ รวมถึง MISRA C & C ++, JSF ++ AV, CWE, CERT C, CERT C ++ & กฎที่กำหนดเอง
- เพื่อน
- PC-LINT ©️-การวิเคราะห์แบบคงที่สำหรับ C/C ++ ทำงานภายใต้ Windows/Linux/MacOS วิเคราะห์รหัสสำหรับแพลตฟอร์มใด ๆ ที่รองรับ C11/C18 และ C ++ 17
- PHASAR-กรอบการวิเคราะห์แบบคงที่แบบ LLVM ซึ่งมาพร้อมกับการวิเคราะห์สถานะที่น่าเบื่อและประเภท
- Polyspace Bug Finder ©️-ระบุข้อผิดพลาดเวลารันเวลาปัญหาพร้อมกันช่องโหว่ความปลอดภัยและข้อบกพร่องอื่น ๆ ในซอฟต์แวร์ C และ C ++
- Polyspace Code Prover ©️-ให้การตรวจสอบรหัสที่พิสูจน์ว่าไม่มีการล้น, หารโดยศูนย์, การเข้าถึงอาร์เรย์นอกขอบเขต, และข้อผิดพลาดอื่น ๆ รันไทม์อื่น ๆ ในซอร์สโค้ด C และ C ++
- Scan-Build-ส่วนหน้าเพื่อขับเคลื่อนเครื่องวิเคราะห์แบบคงที่ clang ที่สร้างขึ้นในเสียงดังผ่านการสร้างปกติ
Splint-โปรแกรมตรวจสอบโปรแกรมแบบคงที่ด้วยคำอธิบายประกอบ
- SVF - เครื่องมือแบบคงที่ที่ช่วยให้สามารถวิเคราะห์การพึ่งพาอาศัยกันของ Interprocedural ได้อย่างแม่นยำและแม่นยำสำหรับโปรแกรม C และ C ++
- Trustinsoft Analyzer ©️ - การตรวจจับข้อผิดพลาดการเข้ารหัสอย่างละเอียดถี่ถ้วนและช่องโหว่ด้านความปลอดภัยที่เกี่ยวข้อง สิ่งนี้ครอบคลุมการตรวจจับพฤติกรรมที่ไม่ได้กำหนดเสียง (บัฟเฟอร์ล้น, การเข้าถึงอาร์เรย์นอกขอบเขต, การลบตัวชี้ค่าตัวชี้, การใช้งาน, การใช้งานฟรี, การแบ่งแยก, การเข้าถึงหน่วยความจำที่ไม่ได้ใช้งาน, การตรวจสอบการทำงานของฟอร์ม รองรับ C ทุกรุ่นสูงสุดถึง C18 และ C ++ ถึง C ++ 20 Trustinsoft Analyzer จะได้รับคุณสมบัติ ISO 26262 ใน Q2'2023 (TCL3) ตัวตรวจสอบ MISRA C นั้นรวมอยู่ด้วย
- Vera ++
1726 293? clj-kondo)-linter สำหรับรหัส clojure ที่ประกายความสุข มันแจ้งให้คุณทราบเกี่ยวกับข้อผิดพลาดที่อาจเกิดขึ้นในขณะที่คุณกำลังพิมพ์ - AMEBA - เครื่องมือวิเคราะห์รหัสแบบคงที่สำหรับคริสตัล
- Crystal-คอมไพเลอร์คริสตัลมีฟังก์ชั่นผ้าสำลีในตัว
- ตัวชี้วัดรหัสโผ
- Effect_dart - กฎ linter ที่สอดคล้องกับแนวทางในการโผที่มีประสิทธิภาพ
277 82? ผ้าสำลี)
- Linter สำหรับ DART - สไตล์ linter สำหรับ DART
100 16? Delphilint)-แพ็คเกจ Delphi IDE ที่ให้การวิเคราะห์รหัสทันทีและผ้าสำลีขับเคลื่อนโดย Sonardelphi
- FIX Insight ©️ - ปลั๊กอิน IDE ฟรีสำหรับการวิเคราะห์รหัสแบบคงที่ Pro Edition มีเครื่องมือบรรทัดคำสั่งสำหรับวัตถุประสงค์อัตโนมัติ
- Pascal Analyzer ©️ - เครื่องมือวิเคราะห์รหัสแบบคงที่พร้อมรายงานจำนวนมาก เวอร์ชัน Lite ฟรีพร้อมใช้งานพร้อมการรายงานที่ จำกัด
- ผู้เชี่ยวชาญ Pascal ©️ - ปลั๊กอิน IDE สำหรับการวิเคราะห์รหัส รวมชุดย่อยของความสามารถในการรายงาน Pascal Analyzer และพร้อมใช้งานสำหรับ Delphi Version 2007 และในภายหลัง
110 19? Sonardelphi) - Delphi Static Analyzer สำหรับแพลตฟอร์มคุณภาพรหัส Sonarqube
241 80? D-Scanner)-D-Scanner เป็นเครื่องมือสำหรับการวิเคราะห์ซอร์สโค้ด D 4951 420? CREDO) - เครื่องมือวิเคราะห์รหัสแบบคงที่โดยมุ่งเน้นไปที่ความสอดคล้องของรหัสและการสอน
1720 142? Dialyxir) - ผสมงานเพื่อลดความซับซ้อนของการใช้ dialyzer ในโครงการน้ำอมฤต
1693 96? Sobelow)-การวิเคราะห์แบบคงที่ที่เน้นความปลอดภัยสำหรับเฟรมเวิร์กฟีนิกซ์
- การวิเคราะห์
- ELM-Review-วิเคราะห์โครงการ ELM ทั้งหมดโดยมุ่งเน้นไปที่กฎที่ใช้ร่วมกันและกำหนดเองที่เขียนใน ELM ซึ่งเพิ่มการรับประกันคอมไพเลอร์ Elm ไม่ได้ให้คุณ
- Dialyzer - Dialyzer ตัววิเคราะห์ความแตกต่างสำหรับโปรแกรม Erlang Dialyzer เป็นเครื่องมือวิเคราะห์แบบคงที่ที่ระบุความคลาดเคลื่อนของซอฟต์แวร์เช่นข้อผิดพลาดประเภทที่แน่นอนรหัสที่ตายแล้วหรือไม่สามารถเข้าถึงได้เนื่องจากข้อผิดพลาดในการเขียนโปรแกรมและการทดสอบที่ไม่จำเป็นในโมดูล ERLANG เดียวหรือแอปพลิเคชันทั้งหมด (ชุด) Dialyzer เริ่มการวิเคราะห์จากลำแสงที่ดีบั๊กคอมไพล์หรือจากซอร์สโค้ด Erlang จำนวนไฟล์และบรรทัดของความคลาดเคลื่อนมีการรายงานพร้อมกับข้อบ่งชี้ว่าความคลาดเคลื่อนเกี่ยวกับอะไร Dialyzer ฐานการวิเคราะห์เกี่ยวกับแนวคิดของการพิมพ์ที่ประสบความสำเร็จซึ่งช่วยให้คำเตือนเสียง (ไม่มีข้อดีที่ผิดพลาด)
425 87? Elvis) - ผู้ตรวจสอบสไตล์ Erlang
103 11? เครื่องมือรักษาความปลอดภัย Erlang Primitive (ศัตรูพืช))
- Fantomas - F# รูปแบบซอร์สโค้ด
- fsharplint - เครื่องมือผ้าสำลีสำหรับ f#
- Ionide-Analyzers-คอลเลกชันของ F# ตัววิเคราะห์ที่สร้างขึ้นด้วย fsharp.analyzers.sdk
- fprettify-รูปแบบอัตโนมัติสำหรับซอร์สโค้ด Fortran สมัยใหม่ที่เขียนใน Python FPRETTIFY เป็นเครื่องมือที่ให้ช่องว่างที่สอดคล้องกันการเยื้องและการจัดตำแหน่งตัวคั่นในรหัสรวมถึงความสามารถในการเปลี่ยนตัวอักษรและจัดการคำสั่ง preprocessor ทั้งหมดในขณะที่รักษาประวัติการแก้ไขและทดสอบการรวมตัวแก้ไข
62 17? I-CODE CNES สำหรับ FORTRAN)-เครื่องมือวิเคราะห์รหัสแบบคงที่โอเพ่นซอร์สสำหรับ FORTRAN 77, FORTRAN 90 และ Shell
- AlignCheck - ค้นหาโครงสร้างที่บรรจุอย่างไม่มีประสิทธิภาพ
314 33? BodyClose) - ตรวจสอบว่าการตอบสนองของ HTTP ถูกปิดหรือไม่
50 15? DeadCode) - ค้นหารหัสที่ไม่ได้ใช้
316 28? Dingo-Hunter)
73 2? Dogsled) - ค้นหาการมอบหมาย/การประกาศที่มีตัวระบุว่างเปล่ามากเกินไป
346 25? DUPL)
2365 138? errcheck) - ตรวจสอบว่าใช้ค่าส่งคืนข้อผิดพลาด
372 16? ErrWrap) - ห่อและแก้ไขข้อผิดพลาดด้วยคำสั่ง Verb %W ใหม่ เครื่องมือนี้วิเคราะห์การโทร FMT.Errorf () และรายงานการโทรที่มีคำสั่งคำกริยาที่แตกต่างจากคำสั่ง VERB %W ใหม่ที่แนะนำใน GO v1.13 นอกจากนี้ยังมีความสามารถในการเขียนการโทรใหม่เพื่อใช้คำสั่ง Vrap Verb ใหม่ %W ใหม่
51 4? FLEN) - รับข้อมูลเกี่ยวกับความยาวของฟังก์ชั่นในแพ็คเกจ GO
3507 267? ไปเมตาลินเตอร์)golangci-lint สำหรับโครงการใหม่
- Go Tool Vet -Shadow -รายงานตัวแปรที่อาจมีเงาโดยไม่ได้ตั้งใจ
- Go Vet - ตรวจสอบรหัสแหล่งที่มาและรายงานที่น่าสงสัย
339 16? Go-Consistent)-เครื่องวิเคราะห์ที่ช่วยให้คุณทำให้โปรแกรม GO ของคุณสอดคล้องกันมากขึ้น
1873 117? Go-critic)-GO ซอร์สโค้ด linter ที่ดูแลการตรวจสอบซึ่งปัจจุบันไม่ได้ใช้งานในผ้าลินินอื่น ๆ
- GO/AST - แพ็คเกจ AST ประกาศประเภทที่ใช้เพื่อแสดงต้นไม้ไวยากรณ์สำหรับแพ็คเกจ GO
61 2? Goast)
105 12? Gochecknoglobals)
296 17? GoConst) - พบสตริงซ้ำที่สามารถแทนที่ด้วยค่าคงที่
1388 83? Gocyclo)
- GOFMT -S -ตรวจสอบว่ารหัสถูกจัดรูปแบบอย่างเหมาะสมและไม่สามารถทำให้ง่ายขึ้นได้หรือไม่
3390 113? GOFUMPT)-บังคับใช้รูปแบบที่เข้มงวดกว่า gofmt ในขณะที่เข้ากันได้ย้อนหลัง นั่นคือ gofumpt มีความสุขกับชุดย่อยของรูปแบบที่ gofmt มีความสุข เครื่องมือนี้เป็นส้อมของ gofmt ณ วันที่ 1.19 และต้องใช้ GO 1.18 หรือใหม่กว่า มันสามารถใช้เป็นตัวแทนที่แบบดรอปอินเพื่อจัดรูปแบบรหัส GO ของคุณและเรียกใช้ GOFMT หลังจาก GOFUMPT ไม่ควรสร้างการเปลี่ยนแปลง gofumpt จะไม่เพิ่มกฎที่ไม่เห็นด้วยกับการจัดรูปแบบ gofmt ดังนั้นเราจึงขยาย gofmt แทนที่จะแข่งขันกับมัน
- Goimports - ตรวจสอบการนำเข้าแพ็คเกจที่ขาดหายไปหรือไม่ได้อ้างอิง
2181 110? Gokart) - การวิเคราะห์ความปลอดภัยของ Golang โดยมุ่งเน้นที่การลดผลบวกที่ผิดพลาด มันมีความสามารถในการติดตามแหล่งที่มาของตัวแปรและอาร์กิวเมนต์ฟังก์ชั่นเพื่อตรวจสอบว่าแหล่งที่มาของอินพุตปลอดภัยหรือไม่
- Golangci-Lint-ทางเลือกที่จะ Go Meta Linter : Golangci-Lint เป็นผู้รวบรวม Linters
3973 491? Golint) - พิมพ์ข้อผิดพลาดสไตล์การเข้ารหัสในรหัสแหล่งที่มา
3130 271? Goreporter) - ทำงานสายทับทิมจำนวนมากพร้อมกันและปกติเอาต์พุตของพวกเขาไปยังรายงาน
466 19? Goroutine-Inspect)-เครื่องมือแบบโต้ตอบเพื่อวิเคราะห์การถ่ายโอนข้อมูล Golang Goroutine
- GOSEC (GAS) - ตรวจสอบซอร์สโค้ดสำหรับปัญหาด้านความปลอดภัยโดยการสแกน AST
- Gotype - การวิเคราะห์ทางไวยากรณ์และความหมายคล้ายกับคอมไพเลอร์ GO
- Govulncheck - Govulncheck รายงานช่องโหว่ที่รู้จักซึ่งมีผลต่อรหัส GO มันใช้การวิเคราะห์แบบคงที่ของซอร์สโค้ดหรือตารางสัญลักษณ์ของไบนารีเพื่อ จำกัด รายงานให้แคบลงเฉพาะผู้ที่อาจส่งผลกระทบต่อแอปพลิเคชัน โดยค่าเริ่มต้น Govulncheck ทำการร้องขอไปยังฐานข้อมูลช่องโหว่ GO ที่ https://vuln.go.dev การร้องขอไปยังฐานข้อมูลช่องโหว่มีเฉพาะพา ธ โมดูลไม่ใช่รหัสหรือคุณสมบัติอื่น ๆ ของโปรแกรมของคุณ
404 25? ไม่มีประสิทธิภาพ)
689 17? Interfacer)
65 9? lll)
538 42? ร้ายกาจ)
1354 115? ACSPELL) - พบคำภาษาอังกฤษที่สะกดผิดโดยทั่วไป
127 15? NakedRet) - ค้นหาผลตอบแทนที่เปลือยเปล่า
85 5? NARGS) - ค้นหาข้อโต้แย้งที่ไม่ได้ใช้ในการประกาศฟังก์ชั่น
643 24? prealloc) - ค้นหาคำประกาศชิ้นที่อาจถูก preallocated
8053 427? ReviewDog) - เครื่องมือสำหรับการโพสต์รีวิวความคิดเห็นจาก linter ใด ๆ ในบริการโฮสต์รหัสใด ๆ
- Revive - เร็วกำหนดค่าได้ขยายได้ยืดหยุ่นและสวยงามสำหรับการเดินทาง การแทนที่ Golint
564 47? safesql)
369 15? Shisho)
- STATICCHECK - การวิเคราะห์แบบคงที่ GO ที่เชี่ยวชาญในการค้นหาข้อบกพร่องการทำให้โค้ดง่ายขึ้นและปรับปรุงประสิทธิภาพ
- structcheck - ค้นหาเขตข้อมูลโครงสร้างที่ไม่ได้ใช้
817 27? structslop) - เครื่องวิเคราะห์แบบคงที่สำหรับ GO ที่แนะนำการจัดเรียงฟิลด์โครงสร้างใหม่เพื่อให้ประสิทธิภาพพื้นที่/การจัดสรรสูงสุด
- การทดสอบ - แสดงตำแหน่งของความล้มเหลวในการทดสอบจากโมดูลการทดสอบ stdlib
380 26? ไม่เวอร์ชั่น) - ตรวจจับการแปลงประเภทซ้ำซ้อน
533 28? Unparam) - ค้นหาพารามิเตอร์ฟังก์ชันที่ไม่ได้ใช้
- VARCHECK - ค้นหาตัวแปรและค่าคงที่ทั่วโลกที่ไม่ได้ใช้
267 41? WSL) - บังคับใช้เส้นเปล่าในสถานที่ที่ถูกต้อง
690 67? บริตตานี)
1484 197? HLINT) - HLINT เป็นเครื่องมือในการแนะนำการปรับปรุงที่เป็นไปได้กับรหัส Haskell
- Liquid Haskell - Liquid Haskell เป็นตัวตรวจสอบประเภทการปรับแต่งสำหรับโปรแกรม Haskell
- STAN-Stan เป็นเครื่องมือบรรทัดคำสั่งสำหรับการวิเคราะห์โครงการ Haskell และส่งออกช่องโหว่ที่ค้นพบในวิธีที่เป็นประโยชน์ด้วยวิธีแก้ปัญหาที่เป็นไปได้สำหรับปัญหาที่ตรวจพบ
170 28? Weeder) - เครื่องมือในการตรวจจับการส่งออกที่ตายแล้วหรือนำเข้าแพ็คเกจในรหัส Haskell
- Checker Framework-การตรวจสอบประเภทที่สามารถทำได้สำหรับ Java นี่ไม่ได้เป็นเพียงแค่เครื่องหาบั๊ก แต่เป็นเครื่องมือตรวจสอบที่ให้การรับประกันความถูกต้อง มันมาพร้อมกับระบบประเภทที่สร้างไว้ล่วงหน้า 27 ระบบและช่วยให้ผู้ใช้สามารถกำหนดระบบประเภทของตนเองได้ คู่มือแสดงรายการระบบประเภทผู้ใช้มากกว่า 30 ระบบ
- CheckStyle - การตรวจสอบซอร์สโค้ด Java สำหรับการปฏิบัติตามมาตรฐานรหัสหรือชุดของกฎการตรวจสอบความถูกต้อง (แนวทางปฏิบัติที่ดีที่สุด)
387 154? CK)-คำนวณตัวชี้วัดเชิงวัตถุ Chidamber และ Kemerer โดยการประมวลผลไฟล์ Java ต้นทาง
CKJM-คำนวณตัวชี้วัดที่มุ่งเน้นวัตถุ Chidamber และ Kemerer โดยการประมวลผลไบต์ของไฟล์ Java ที่รวบรวม
- Cognicrypt - ตรวจสอบแหล่งที่มาของ Java และรหัสไบต์สำหรับการใช้งานที่ไม่ถูกต้องของ APIs cryptographic
1034 356? Framework DataFlow)-กรอบ DataFlow ที่มีความแข็งแกร่งทางอุตสาหกรรมสำหรับ Java Framework DataFlow ใช้ในกรอบ Checker, ข้อผิดพลาดของ Google, Nullaway ของ Uber, NullSafe ของ Meta และในบริบทอื่น ๆ มันถูกแจกจ่ายด้วยกรอบการทำงานของ Checker
DesigniteJava ©️ - DesigniteJava รองรับการตรวจจับสถาปัตยกรรมการออกแบบและการใช้งานที่หลากหลายพร้อมกับการคำนวณตัวชี้วัดคุณภาพรหัสต่างๆ
- DiffBlue ©️-DiffBlue เป็น บริษัท ซอฟต์แวร์ที่ให้บริการการวิเคราะห์รหัสและการทดสอบ AI ที่ขับเคลื่อนด้วย AI สำหรับทีมพัฒนาซอฟต์แวร์ เทคโนโลยีช่วยให้นักพัฒนาทำการทดสอบโดยอัตโนมัติค้นหาข้อบกพร่องและลดแรงงานด้วยตนเองในกระบวนการพัฒนาซอฟต์แวร์ของพวกเขา ผลิตภัณฑ์หลักของ บริษัท คือ DiffBlue Cover ใช้ AI ในการสร้างและเรียกใช้การทดสอบหน่วยสำหรับรหัส Java ช่วยจับข้อผิดพลาดและปรับปรุงคุณภาพของรหัส
- Doop - Doop เป็นกรอบการประกาศสำหรับการวิเคราะห์แบบคงที่ของโปรแกรม Java/Android โดยมีศูนย์กลางอยู่ที่อัลกอริทึมการวิเคราะห์ตัวชี้ Doop ให้การวิเคราะห์ที่หลากหลายและการนั่งร้านโดยรอบเพื่อดำเนินการวิเคราะห์แบบ end-to-end (การสร้างข้อเท็จจริงการประมวลผลสถิติ ฯลฯ )
13 8? enre-java)-enre (ตัวดึงความสัมพันธ์เอนทิตี) เป็นเครื่องมือสำหรับการสกัดรหัสการพึ่งพาเอนทิตีรหัสหรือความสัมพันธ์จากซอร์สโค้ด Enre-Java เป็นตัวแยกความสัมพันธ์เอนทิตีสำหรับโครงการ Java ตาม @eclipse JDT/Parser
- ข้อผิดพลาดเกิดขึ้น-จับข้อผิดพลาดจาวาทั่วไปเป็นข้อผิดพลาดในการรวบรวมเวลา
FB-Contrib-ปลั๊กอินสำหรับ FindBugs ที่มีเครื่องตรวจจับข้อผิดพลาดเพิ่มเติม
340 34? Forbidden-APIS)-ตรวจจับและห้ามการเรียกใช้วิธีการเฉพาะ/คลาส/ฟิลด์ (เช่นการอ่านจากสตรีมข้อความโดยไม่มีชุดถ่าน) Maven/Gradle/Ant เข้ากันได้
5674 864? google-java-format)-reformats ซอร์สโค้ด Java เพื่อให้สอดคล้องกับสไตล์ Google Java
304 32? Huntbugs)
- Intellij Idea ©️ - มาพร้อมกับการตรวจสอบมากมายสำหรับ Java และ Kotlin และรวมถึงเครื่องมือสำหรับการปรับแต่งการจัดรูปแบบและอื่น ๆ
- jarchitect ©️ - วัดสอบถามและมองเห็นรหัสของคุณและหลีกเลี่ยงปัญหาที่ไม่คาดคิดหนี้ทางเทคนิคและความซับซ้อน
- JBMC-Checker รุ่นที่มีขอบเขตสำหรับ Java (bytecode), ตรวจสอบการยืนยันที่ผู้ใช้กำหนด, การยืนยันมาตรฐาน, การวิเคราะห์ตัวชี้วัดความครอบคลุมหลายประการ
- Mariana Trench - เครื่องมือการวิเคราะห์ความปลอดภัยของเรามุ่งเน้นไปที่แอปพลิเคชัน Android และ Java Mariana Trench วิเคราะห์ Dalvik bytecode และถูกสร้างขึ้นเพื่อให้ทำงานได้อย่างรวดเร็วบนรหัสฐานขนาดใหญ่ (10 ล้านบรรทัดของรหัส) มันสามารถค้นหาช่องโหว่เป็นการเปลี่ยนแปลงรหัสก่อนที่มันจะลงจอดในที่เก็บของคุณ
3664 299? nullaway)-ตัวตรวจสอบตัวชี้ null-based ที่มีค่าใช้จ่ายในการสร้างต่ำ ปลั๊กอินข้อผิดพลาด
- การตรวจสอบการพึ่งพาของ OWASP - ตรวจสอบการพึ่งพาการอ้างอิงที่รู้จักเปิดเผยต่อสาธารณะช่องโหว่
- QULICE-รวมเครื่องมือการวิเคราะห์แบบคงที่ (กำหนดค่าล่วงหน้า) (CheckStyle, PMD, FindBugs, ... )
460 42? RefactorFirst) - ระบุและจัดลำดับความสำคัญของชั้นเรียนของพระเจ้าและชั้นเรียนที่มีคู่สูงในจาวารหัสฐานที่คุณควรสร้างใหม่ก่อน
- เขม่า - กรอบสำหรับการวิเคราะห์และเปลี่ยนแอพพลิเคชั่น Java และ Android
- SPOON - Spoon เป็นห้องสมุด metaprogramming เพื่อวิเคราะห์และแปลงซอร์สโค้ด Java (รวม Java 9, 10, 11, 12, 13, 14) มันแยกวิเคราะห์ไฟล์ต้นฉบับเพื่อสร้าง AST ที่ออกแบบมาอย่างดีด้วยการวิเคราะห์ที่มีประสิทธิภาพและการแปลง API สามารถรวมเข้าด้วยกันใน Maven และ Gradle
- SpotBugs - SpotBugs เป็นผู้สืบทอดของ FindBugs เครื่องมือสำหรับการวิเคราะห์แบบคงที่เพื่อค้นหาข้อบกพร่องในรหัส Java
- สม่ำเสมอ
148 39? การละเมิด lib) - ไลบรารี Java สำหรับการแยกวิเคราะห์ไฟล์รายงานจากการวิเคราะห์รหัสแบบคงที่ ใช้โดยพวงของปลั๊กอินเจนกินส์ Maven และ Gradle
อากาศธาตุ
- คอมไพเลอร์ปิด - เครื่องมือคอมไพเลอร์เพื่อเพิ่มประสิทธิภาพลดขนาดและให้คำเตือนรหัสในไฟล์ JavaScript
111 29? closurelinter)
209 27? รายงานความซับซ้อน)
- DeepScan ©️ - เครื่องวิเคราะห์สำหรับ JavaScript ซึ่งกำหนดเป้าหมายข้อผิดพลาดของรันไทม์และปัญหาคุณภาพมากกว่าการเข้ารหัสการประชุม
205 40? ES6-Plato)
266 25? Escomplex)
- esprima
- Flow - หมากฮอสแบบคงที่สำหรับ JavaScript
- Hegel - ตัวตรวจสอบชนิดคงที่สำหรับ JavaScript ที่มีอคติเกี่ยวกับการอนุมานประเภทและระบบประเภทที่แข็งแกร่ง
- JSHINT - ตรวจจับข้อผิดพลาดและปัญหาที่อาจเกิดขึ้นในรหัส JavaScript และบังคับใช้การประชุมการเข้ารหัสของทีมของคุณ
3619 463? JSLINT) - เครื่องมือคุณภาพรหัส JavaScript
- jsprime
- NodeJSScan - สแกนเนอร์รหัสความปลอดภัยแบบคงที่สำหรับแอปพลิเคชัน Node.js ขับเคลื่อนโดย Libsast และ Semgrep ที่สร้างบนเครื่องมือ NJSScan CLI มันมี UI ที่มีแดชบอร์ดต่าง ๆ เกี่ยวกับสถานะความปลอดภัยของแอปพลิเคชัน
4561 321? เพลโต)
431 201? Polymer-Analyzer)-กรอบการวิเคราะห์แบบคงที่สำหรับส่วนประกอบของเว็บ
- Retire.js - สแกนเนอร์ตรวจจับการใช้ไลบรารี JavaScript ที่มีช่องโหว่ที่รู้จัก
rslint
มาตรฐาน - โมดูล NPM ที่ตรวจสอบปัญหา JavaScript Styleguide
- TERN-เครื่องวิเคราะห์รหัส JavaScript สำหรับการสนับสนุนภาษาที่ลึกและข้าม
- typl
7718 292? XO) - wrapper eslint ที่มีความคิดเห็น แต่กำหนดค่าได้พร้อมกับสินค้ามากมาย บังคับใช้รหัสที่เข้มงวดและอ่านได้
27 4? ปทัฏฐาน)
750 30? JET) - ระบบการอนุมานประเภทคงที่เพื่อตรวจจับข้อบกพร่องและประเภทความไม่แน่นอน
148 29? Staticlint) - การวิเคราะห์รหัสแบบคงที่สำหรับ Julia
- Detekt - การวิเคราะห์รหัสแบบคงที่สำหรับรหัส Kotlin
- DIKTAT-มาตรฐานการเข้ารหัสที่เข้มงวดสำหรับ Kotlin และ linter ที่ตรวจจับและมีการแก้ไขรหัสอัตโนมัติ
- KTFMT - โปรแกรมที่ reformats ซอร์สโค้ด Kotlin เพื่อให้สอดคล้องกับมาตรฐานชุมชนทั่วไปสำหรับการประชุมรหัส Kotlin ปลั๊กอิน KTFMT Intellij พร้อมใช้งานจากที่เก็บปลั๊กอิน หากต้องการติดตั้งให้ไปที่การตั้งค่า IDE ของคุณและเลือกหมวดหมู่ปลั๊กอิน คลิกแท็บ Marketplace ค้นหาปลั๊กอิน KTFMT และคลิกปุ่มติดตั้ง
- KTLINT-Kotlin Linter ต่อต้าน bikeshedding ที่มีรูปแบบในตัว
372 57? Luacheck) - เครื่องมือสำหรับการวิเคราะห์แบบผ้าสำลีและแบบคงที่ของรหัส LUA
85 19? Lualint)-Lualint ทำการวิเคราะห์แบบคงที่ตาม LUAC ของการใช้งานตัวแปรทั่วโลกในซอร์สโค้ด LUA
- การวิเคราะห์
- DRNIM - DRNIM ผสมผสาน Frontend NIM เข้ากับ Z3 Proof Engine เพื่ออนุญาตซอฟต์แวร์ตรวจสอบ / ตรวจสอบความถูกต้องที่เขียนเป็น NIM
85 6? NIMFMT) - NIM Code Formatter / Linter / Style Checker
224 41? SYS) - เครื่องมือแบบคงที่/สัญลักษณ์สำหรับการค้นหาข้อบกพร่องในรหัส (เบราว์เซอร์) มันใช้ LLVM AST เพื่อค้นหาข้อบกพร่องเช่นการเข้าถึงหน่วยความจำที่ไม่ได้กำหนดค่า
376 66? Verifast)-เครื่องมือสำหรับการตรวจสอบอย่างเป็นทางการแบบแยกส่วนของคุณสมบัติความถูกต้องของโปรแกรม c และ multithreaded c และ java โปรแกรมที่มีข้อ จำกัด ด้วยเงื่อนไขและ postconditions ที่เขียนในตรรกะการแยก เพื่อแสดงข้อกำหนดที่หลากหลายโปรแกรมเมอร์สามารถกำหนดประเภทข้อมูลอุปนัยฟังก์ชั่นบริสุทธิ์แบบเรียกซ้ำแบบดั้งเดิมได้มากกว่าข้อมูลเหล่านี้และการแยกลอจิกแบบแยกส่วน
- Cakefuzzer-เครื่องมือทดสอบความปลอดภัยของเว็บแอปพลิเคชันสำหรับเว็บแอปพลิเคชันที่ใช้ CakePHP Cakefuzzer ใช้ชุดการโจมตีที่กำหนดไว้ล่วงหน้าซึ่งได้รับการแก้ไขแบบสุ่มก่อนดำเนินการ ใช้ประโยชน์จากความเข้าใจอย่างลึกซึ้งเกี่ยวกับเฟรมเวิร์กเค้ก PHP ฟัซเซอร์เค้กเปิดตัวการโจมตีในจุดเริ่มต้นของแอปพลิเคชันที่มีศักยภาพทั้งหมด
1362 56? CHURN-PHP)-ช่วยค้นพบผู้สมัครที่ดีสำหรับการ refactoring
465 10? นักแต่งเพลง-พึ่งพา-วิเคราะห์)-การตรวจจับปัญหาการพึ่งพานักแต่งเพลงอย่างรวดเร็ว
530 26? DEPHPEND) - เครื่องมือวิเคราะห์การพึ่งพา
393 40? เครื่องตรวจจับการเสียสละ)-ค้นหาการใช้รหัสของรหัสที่เลิกใช้แล้ว (symfony)
2678 134? Deptrac) - บังคับใช้กฎสำหรับการพึ่งพาระหว่างเลเยอร์ซอฟต์แวร์
114 14? DesignPatternDetector) - การตรวจจับรูปแบบการออกแบบในรหัส PHP
- EasyCodingstandard - รวม 10696 1478? php_codesniffer) และ 12941 1583? PHP-CS-Fixer)
- INLIGHTN - เครื่องมือการวิเคราะห์แบบคงที่และแบบไดนามิกสำหรับแอปพลิเคชัน LARAVEL ที่ให้คำแนะนำเพื่อปรับปรุงประสิทธิภาพความปลอดภัยและความน่าเชื่อถือของรหัสของแอพ Laravel มีการตรวจสอบอัตโนมัติ 120 รายการ
- Exakat - เครื่องมือตรวจสอบรหัสอัตโนมัติสำหรับ PHP
4161 437? Grumphp) - ตรวจสอบรหัสในการกระทำทุกครั้ง
5639 424? LARASTAN) - เพิ่มการวิเคราะห์แบบคงที่ให้กับ Laravel ปรับปรุงประสิทธิภาพการผลิตและคุณภาพของรหัส มันเป็นเสื้อคลุมรอบ phpstan
- มอนเดรียน
- NITPICK CI ©️ - รีวิวรหัส PHP อัตโนมัติ
293 22? Parallel-Lint)-เครื่องมือนี้ตรวจสอบไวยากรณ์ของไฟล์ PHP ได้เร็วกว่าการตรวจสอบอนุกรมด้วยเอาต์พุต fancier
368 41? แยกวิเคราะห์) - เครื่องสแกนความปลอดภัยแบบคงที่
- PDEPER - คำนวณตัวชี้วัดซอฟต์แวร์เช่นความซับซ้อนแบบ cyclomatic สำหรับรหัส PHP
? ?? Phan) - เครื่องวิเคราะห์แบบคงที่ทันสมัยจาก Etsy
1100 45? เครื่องทดสอบสถาปัตยกรรม PHP) - เครื่องมือทดสอบสถาปัตยกรรมที่ใช้งานง่ายสำหรับ PHP
158 10? สมมติฐาน PHP) - ตรวจสอบสมมติฐานที่อ่อนแอ
- มาตรฐานการเข้ารหัส PHP-แก้ไขรหัสของคุณตามมาตรฐานเช่น PSR-1, PSR-2 และมาตรฐาน Symfony
- PHP Insights - การตรวจสอบคุณภาพ PHP ทันทีจากคอนโซลของคุณ การวิเคราะห์คุณภาพของรหัสและรูปแบบการเข้ารหัสรวมถึงภาพรวมของสถาปัตยกรรมรหัสและความซับซ้อน
- การตรวจสอบ PHP (EA Extended) - เครื่องวิเคราะห์รหัสแบบคงที่สำหรับ PHP
- เบราว์เซอร์ Refactoring PHP - ผู้ช่วย Refactoring
430 28? ตัวตรวจสอบเวอร์ชันความหมาย PHP)
17109 1102? PHP-PARSER)-ตัวแยกวิเคราะห์ PHP ที่เขียนใน PHP
68 22? PHP-Speller)-ไลบรารีตรวจสอบการสะกด PHP
190 44? php-token-reflection)
1524 121? Php7cc)
797 92? Php7mar)
- php_codesniffer
761 41? phparkitect) - phparkitect ช่วยให้คุณรักษา php codebase ของคุณเชื่อมโยงกันและเป็นของแข็งโดยอนุญาตให้เพิ่มการตรวจสอบข้อ จำกัด ทางสถาปัตยกรรมบางอย่างในเวิร์กโฟลว์ของคุณ คุณสามารถแสดงข้อ จำกัด ที่คุณต้องการบังคับใช้ในรหัส PHP ที่ง่ายและอ่านได้
97 8? PHPCA)
2214 191? phpcpd)
415 47? phpdcd)
- phpdependencyanalysis
366 38? PHPDeprecationDetector) - วิเคราะห์รหัส PHP เพื่อค้นหาปัญหาที่มีฟังก์ชันการทำงานที่เลิกใช้ในเวอร์ชันล่ามที่ใหม่กว่า พบว่าวัตถุที่ถูกลบ (ฟังก์ชั่นตัวแปรค่าคงที่และการกำกับแบบ INI) ฟังก์ชั่นการทำงานที่เลิกใช้งานและการใช้ชื่อหรือเทคนิคที่ต้องห้าม (เช่นตัวระบุที่สงวนไว้ในรุ่นใหม่)
226 15? phpdoc-to-typehint)
- PHPDocumentor - วิเคราะห์ซอร์สโค้ด PHP เพื่อสร้างเอกสาร
2336 165? PHPLOC) - เครื่องมือสำหรับการวัดขนาดอย่างรวดเร็วและวิเคราะห์โครงสร้างของโครงการ PHP
- PHPMD - ค้นหาข้อบกพร่องที่เป็นไปได้ในรหัสของคุณ
PHPMetrics - คำนวณและแสดงภาพตัวชี้วัดคุณภาพรหัสต่างๆ
560 46? PHPMND) - ช่วยตรวจจับหมายเลขเวทมนตร์
- PHPQA
1231 67? PHPQA - Jakzal) - เครื่องมือมากมายสำหรับการวิเคราะห์แบบคงที่ PHP ในภาชนะเดียว
327 29? PHPQA-JMOLIVAS)-เครื่องมือ CLI เครื่องวิเคราะห์ All-in-One PHPQA
639 77? PHPSA)
- PHPSTAN - เครื่องมือวิเคราะห์แบบคงที่ PHP - ค้นพบข้อบกพร่องในรหัสของคุณโดยไม่ต้องใช้งาน!
333 61? Progpilot) - เครื่องมือวิเคราะห์แบบคงที่เพื่อความปลอดภัย
- บทเพลงสรรเสริญ - เครื่องมือการวิเคราะห์แบบคงที่สำหรับการค้นหาข้อผิดพลาดประเภทในแอปพลิเคชัน PHP
494 31? เครื่องวิเคราะห์คุณภาพ qafoo)
- อธิการบดี - การอัพเกรดทันทีและ refactoring อัตโนมัติของรหัส PHP 5.3+ ใด ๆ มันอัพเกรดรหัสของคุณสำหรับ PHP 7.4, 8.0 ขึ้นไป อธิการบดีสัญญาว่าอัตราการบวกเท็จต่ำเพราะมันมองหารูปแบบ AST (ต้นไวยากรณ์นามธรรม) ที่กำหนดไว้อย่างแคบ กรณีการใช้งานหลักกำลังจัดการกับหนี้ทางเทคนิคในรหัสมรดกของคุณและลบรหัสที่ตายแล้ว อธิการบดีมีชุดของกฎพิเศษสำหรับ symfony, หลักคำสอน, phpunit และอื่น ๆ อีกมากมาย
119 51? การสะท้อนกลับ) - ห้องสมุดสะท้อนกลับเพื่อทำการวิเคราะห์แบบคงที่สำหรับโครงการ PHP
- Symfony Insight ©️ - ตรวจจับความเสี่ยงด้านความปลอดภัยค้นหาข้อบกพร่องและให้ตัวชี้วัดที่สามารถดำเนินการได้สำหรับโครงการ PHP
171 7? Tuli) - เครื่องยนต์วิเคราะห์แบบคงที่
118 32? Twig-Lint)-Twig-Lint เป็นเครื่องมือผ้าสำลีสำหรับไฟล์ Twig ของคุณ
- WAP - เครื่องมือในการตรวจจับและแก้ไขช่องโหว่การตรวจสอบความถูกต้องของอินพุตในเว็บแอปพลิเคชัน PHP (4.0 หรือสูงกว่า) และทำนายผลบวกที่ผิดพลาดโดยการรวมการวิเคราะห์แบบคงที่และการขุดข้อมูล
- Perl :: Analyzer-Perl-Analyzer เป็นชุดของโปรแกรมและโมดูลที่อนุญาตให้ผู้ใช้วิเคราะห์และแสดงภาพรหัสฐาน Perl โดยการให้ข้อมูลเกี่ยวกับเนมสเปซและความสัมพันธ์การพึ่งพาการสืบทอดและวิธีการที่นำมาใช้
- Perl :: Critic-Critique Perl Source เพื่อการปฏิบัติที่ดีที่สุด
- Perltidy - Perltidy เป็นสคริปต์ Perl ซึ่งเยื้องและ reformats สคริปต์ Perl เพื่อให้ง่ายต่อการอ่าน การจัดรูปแบบสามารถควบคุมได้ด้วยพารามิเตอร์บรรทัดคำสั่ง การตั้งค่าพารามิเตอร์เริ่มต้นโดยประมาณทำตามคำแนะนำในคู่มือสไตล์ Perl นอกเหนือจากสคริปต์การจัดรูปแบบใหม่แล้ว Perltidy ยังเป็นความช่วยเหลือที่ดีในการติดตามข้อผิดพลาดด้วยการจัดฟันที่ขาดหายไปหรือเป็นพิเศษวงเล็บและวงเล็บเหลี่ยมเพราะมันเป็นข้อผิดพลาดในการแปลที่ดีมาก
47 10? Zarn) - เครื่องมือวิเคราะห์ความปลอดภัยแบบคงที่น้ำหนักเบาสำหรับแอพ Perl ที่ทันสมัย
909 82? Autoflake) - Autoflake ลบการนำเข้าที่ไม่ได้ใช้และตัวแปรที่ไม่ได้ใช้ออกจากรหัส Python
- AutoPep8 - เครื่องมือที่จัดรูปแบบรหัส Python โดยอัตโนมัติเพื่อให้สอดคล้องกับคู่มือสไตล์ PEP 8 มันใช้ยูทิลิตี้ Pycodestyle เพื่อกำหนดว่าส่วนใดของรหัสจะต้องจัดรูปแบบ
- Bandit - เครื่องมือในการค้นหาปัญหาความปลอดภัยทั่วไปในรหัส Python
265 14? BELLYBUTTON)-เครื่องยนต์ผ้าสำลีที่รองรับกฎเฉพาะโครงการที่กำหนดเอง
- สีดำ - รูปแบบรหัสงูหลามที่ไม่ยอมแพ้
- BOWLER - การปรับเปลี่ยนรหัสที่ปลอดภัยสำหรับงูหลามสมัยใหม่ Bowler เป็นเครื่องมือ refactoring สำหรับการจัดการ Python ที่ระดับต้นไม้ไวยากรณ์ ช่วยให้การปรับเปลี่ยนรหัสขนาดใหญ่ปลอดภัยในขณะที่รับประกันว่ารหัสผลลัพธ์จะรวบรวมและเรียกใช้ มันมีทั้งอินเทอร์เฟซบรรทัดคำสั่งง่าย ๆ และ API ที่คล่องแคล่วใน Python สำหรับการสร้างการปรับเปลี่ยนรหัสที่ซับซ้อนในรหัส
26 10? CioCheck)pep8 , pydocstyle , flake8 และ pylint
237 4? การทำงานร่วมกัน) - เครื่องมือสำหรับการวัดการทำงานร่วมกันของชั้น Python
- ดีล - ออกแบบตามสัญญาสำหรับ Python เขียนรหัสฟรีบั๊ก ด้วยการเพิ่มนักตกแต่งสองสามคนลงในรหัสของคุณคุณจะได้รับการทดสอบฟรีการวิเคราะห์แบบคงที่การตรวจสอบอย่างเป็นทางการและอีกมากมาย
163 15? DLINT) - เครื่องมือในการทำให้มั่นใจว่ารหัส Python ปลอดภัย
121 18? Dodgy) - Dodgy เป็นเครื่องมือพื้นฐานมากในการทำงานกับ codebase ของคุณเพื่อค้นหาค่า "หลบ" มันเป็นชุดของนิพจน์ทั่วไปที่เรียบง่ายที่ออกแบบมาเพื่อตรวจจับสิ่งต่าง ๆ เช่น CHECH SCM DIFF โดยไม่ตั้งใจหรือรหัสผ่านหรือปุ่มลับที่ยากที่เขียนไว้ในไฟล์
13 2? enre-py)
- Fixit-กรอบการทำงานสำหรับการสร้างกฎผ้าสำลีและการแก้ไขอัตโนมัติที่สอดคล้องกันสำหรับซอร์สโค้ด
3488 310? Flake8) - เสื้อคลุมรอบ pyflakes , pycodestyle และ mccabe
- FlakeHeaven - Flakeheaven เป็น linter Python ที่สร้างขึ้นรอบ ๆ Flake8 เพื่อเปิดใช้งานการกำหนดค่า Toml ที่สืบทอดและซับซ้อน
- Griffe - ลายเซ็นสำหรับโปรแกรม Python ทั้งหมด Extract the structure, the frame, the skeleton of your project, to generate API documentation or find breaking changes in your API.
80 3? InspectorTiger)
- jedi — Autocompletion/static analysis library for Python.
185 26? linty fresh) — Parse lint errors and report them to Github as comments on a pull request.
- McCabe
28 6? multilint)flake8 , isort และ modernize
mypy — A static type checker that aims to combine the benefits of duck typing and static typing, frequently used with 4809 176? MonkeyType).
1964 172? prospector) — A wrapper around pylint , pep8 , mccabe and others.
127 29? py-find-injection)
- pyanalyze — A tool for programmatically detecting common mistakes in Python code, such as references to undefined variables and type errors. สามารถขยายได้เพื่อเพิ่มกฎเพิ่มเติมและดำเนินการตรวจสอบเฉพาะกับฟังก์ชั่นเฉพาะ
- Pycodequal ©️ - Pycodequal ให้ข้อมูลเชิงลึกเกี่ยวกับความซับซ้อนและความเสี่ยงของข้อผิดพลาด มันเพิ่มความคิดเห็นอัตโนมัติในคำขอดึงของคุณ
- Pycodestyle - (เดิมคือ pep8 ) ตรวจสอบรหัส Python กับการประชุมสไตล์บางอย่างใน PEP 8
pydocstyle
- pyflakes — Check Python source files for errors.
pylint — Looks for programming errors, helps enforcing a coding standard and sniffs for some code smells. นอกจากนี้ยังรวมถึง pyreverse (เครื่องกำเนิดไดอะแกรม UML) และ symilar (ตัวตรวจสอบความคล้ายคลึงกัน)
- pylyzers — A static code analyzer / language server for Python, written in Rust, focused on type checking and readable output.
- Pyre-check-ตัวตรวจสอบประเภทที่รวดเร็วและปรับขนาดได้สำหรับรหัสฐาน Python ขนาดใหญ่
13613 1514? pyright) — Static type checker for Python, created to address gaps in existing tools like mypy.
212 21? pyroma)
- PYSA-เครื่องมือที่ใช้การตรวจสอบแบบ pyre ของ Facebook เพื่อระบุปัญหาความปลอดภัยที่อาจเกิดขึ้นในรหัส Python ที่ระบุด้วยการวิเคราะห์ Taint
2181 244? PyT - Python Taint)
- pytype — A static type analyzer for Python code.
- pyupgrade — A tool (and pre-commit hook) to automatically upgrade syntax for newer versions of the language.
111 23? QuantifiedCode)
- radon — A Python tool that computes various metrics from the source code.
2492 54? refurb) — A tool for refurbishing and modernizing Python codebases. Refurb is heavily inspired by clippy, the built-in linter for Rust.
- ruff — Fast Python linter, written in Rust. 10-100x faster than existing linters. Compatible with Python 3.10. Supports file watcher.
- unimport — A linter, formatter for finding and removing unused import statements.
3579 156? vulture) — Find unused classes, functions and variables in Python code.
- wemake-python-styleguide — The strictest and most opinionated python linter ever.
1215 60? wily)
- xenon — Monitor code complexity using 1755 119? radon ).
13811 890? yapf) — A formatter for Python files created by Google YAPF follows a distinctive methodology, originating from the 'clang-format' tool created by Daniel Jasper. Essentially, the program reframes the code to the most suitable formatting that abides by the style guide, even if the original code already follows the style guide. This concept is similar to the Go programming language's 'gofmt' tool, which aims to put an end to debates about formatting by having the entire codebase of a project pass through YAPF whenever changes are made, thereby maintaining a consistent style throughout the project and eliminating the need to argue about style in every code review.
49 7? cyclocomp) — Quantifies the cyclomatic complexity of R functions / expressions.
- goodpractice — Analyses the source code for R packages and provides best-practice recommendations.
1206 186? lintr) — Static Code Analysis for R.
- styler — Formatting of R source code files and pretty-printing of R code.
269 37? Regal) — Regal is a linter for the policy language Rego. Regal aims to catch bugs and mistakes in policy code, while at the same time helping people learn the language, best practices and idiomatic constructs. - brakeman — A static analysis security vulnerability scanner for Ruby on Rails applications.
2690 229? bundler-audit) — Audit Gemfile.lock for gems with security vulnerabilities reported in 1025 221? Ruby Advisory Database).
1314 75? อ้อย)
407 33? Churn) — A Project to give the churn file, class, and method for a project for a given checkin. Over time the tool adds up the history of churns to give the number of times a file, class, or method is changing during the life of a project.
737 86? dawnscanner) — A static analysis security scanner for ruby written web applications. It supports Sinatra, Padrino and Ruby on Rails frameworks.
682 123? ERB Lint) — Lint your ERB or HTML files
1810 75? Fasterer) — Common Ruby idioms checker.
- flay — Flay analyzes code for structural similarities.
- flog
31 7? Fukuzatsu) — A tool for measuring code complexity in Ruby class files. Its analysis generates scores based on cyclomatic complexity algorithms with no added "opinions".
340 59? htmlbeautifier) — A normaliser/beautifier for HTML that also understands embedded Ruby. Ideal for tidying up Rails templates.
386 17? laser)
626 96? MetricFu)
439 17? pelusa) — Static analysis Lint-type tool to improve your OO Ruby code.
155 18? คุณภาพ)
250 20? Querly)
- Railroader
- Rails_best_practices
4052 280? reek) — Code smell detector for Ruby.
277 37? Roodi)
- RuboCop — A Ruby static code analyzer, based on the community Ruby style guide.
641 29? Rubrowser) — Ruby classes interactive dependency graph generator.
ruby-lint
3368 225? rubycritic) — A Ruby code quality reporter.
901 56? rufo) — An opinionated ruby formatter, intended to be used via the command line as a text-editor plugin, to autoformat files on save or on demand.
- Saikuro
- SandiMeter
- Sorbet — A fast, powerful type checker designed for Ruby.
2749 213? Standard Ruby) — Ruby Style Guide, with linter & automatic code fixer
1378 90? Steep) — Gradual Typing for Ruby.
- C2Rust — C2Rust helps you migrate C99-compliant code to Rust. The translator (or transpiler) produces unsafe Rust code that closely mirrors the input C code.
1784 46? cargo udeps) — Find unused dependencies in Cargo.toml. It either prints out a "unused crates" line listing the crates, or it prints out a line saying that no crates were unused.
- cargo-audit — Audit Cargo.lock for crates with security vulnerabilities reported to the ? ?? RustSec Advisory Database).
2398 51? cargo-bloat) — Find out what takes most of the space in your executable. supports ELF (Linux, BSD), Mach-O (macOS) and PE (Windows) binaries.
112 7? cargo-breaking) — cargo-breaking compares a crate's public API between two different branches, shows what changed, and suggests the next version according to semver.
586 52? cargo-call-stack) — Whole program static stack analysis The tool produces the full call graph of a program as a dot file.
- cargo-deny — A cargo plugin for linting your dependencies. It can be used either as a command line too, a Rust crate, or a Github action for CI. It checks for valid license information, duplicate crates, security vulnerabilities, and more.
2723 67? cargo-expand) — Cargo subcommand to show result of macro expansion and #[derive] expansion applied to the current crate. This is a wrapper around a more verbose compiler command.
1417 67? cargo-geiger) — A cargo plugin for analysing the usage of unsafe Rust code Provides statistical output to aid security auditing
380 13? cargo-inspect)
- cargo-semver-checks — Scan your Rust crate releases for semver violations. It can be used either directly via the CLI, as a GitHub Action in CI, or via release managers like release-plz . It found semver violations in ? more than 1 in 6 of the top 1000 most-downloaded crates on crates.io.
728 37? cargo-show-asm) — cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code
332 35? cargo-spellcheck) — Checks all your documentation for spelling and grammar mistakes with hunspell (ready) and languagetool (preview)
252 9? cargo-unused-features)
- clippy — A code linter to catch common mistakes and improve your Rust code.
- diff.rs — Web application (WASM) to render a diff between Rust crate versions.
- dylint — A tool for running Rust lints from dynamic libraries. Dylint makes it easy for developers to maintain their own personal lint collections.
- electrolysis
174 5? herbie)
2300 97? kani) — The Kani Rust Verifier is a bit-precise model checker for Rust. Kani is particularly useful for verifying unsafe code blocks in Rust, where the "unsafe superpowers" are unchecked by the compiler. Kani verifies:
40 22? linter-rust)
486 29? lockbud) — Statically detects Rust deadlocks bugs. It currently detects two common kinds of deadlock bugs: doublelock and locks in conflicting order. It will print bugs in JSON format together with the source code location and an explanation of each bug.
1002 86? MIRAI) — And abstract interpreter operating on Rust's mid-level intermediate language, and providing warnings based on taint analysis.
132 4? prae)
- Prusti — A static verifier for Rust, based on the Viper verification infrastructure. By default Prusti verifies absence of panics by proving that statements such as unreachable!() and panic!() are unreachable.
1323 45? Rudra) — Rust Memory Safety & Undefined Behavior Detection. It is capable of analyzing single Rust packages as well as all the packages on crates.io.
3510 256? Rust Language Server)
- rust-analyzer — Supports functionality such as 'goto definition', type inference, symbol search, reformatting, and code completion, and enables renaming and refactorings.
688 30? rust-audit) — Audit Rust binaries for known bugs or security vulnerabilities. This works by embedding data about the dependency tree (Cargo.lock) in JSON format into a dedicated linker section of the compiled executable.
853 62? rustfix) — Read and apply the suggestions made by rustc (and third-party lints, like those offered by clippy).
6104 898? rustfmt) — A tool for formatting Rust code according to style guidelines.
2729 72? RustViz) — RustViz is a tool that generates visualizations from simple Rust programs to assist users in better understanding the Rust Lifetime and Borrowing mechanism. It generates SVG files with graphical indicators that integrate with mdbook to render visualizations of data-flow in Rust programs.
94 4? warnalyzer) — Show unused code from multi-crate Rust projects
173 2? dbcritic) — dbcritic finds problems in a database schema, such as a missing primary key constraint in a table.
- holistic — More than 1,300 rules to analyze SQL queries. Takes an SQL schema definition and the query source code to generate improvement recommendations. Detects code smells, unused indexes, unused tables, views, materialized views, and more.
81 8? pgspot) — Spot vulnerabilities in postgres extension scripts. Finds unsafe search_path usage and unsafe object creation in PostgreSQL extension scripts or any other PostgreSQL SQL code.
181 14? sleek) — Sleek is a CLI tool for formatting SQL. It helps you maintain a consistent style across your SQL code, enhancing readability and productivity. The heavy lifting is done by the sqlformat crate.
2437 120? sqlcheck) — Automatically identify anti-patterns in SQL queries.
- SQLFluff — Multiple dialect SQL linter and formatter.
420 27? sqlint) — Simple SQL linter.
- squawk — Linter for PostgreSQL, focused on migrations. Prevents unexpected downtime caused by database migrations and encourages best practices around Postgres schemas and SQL.
214 74? tsqllint) — T-SQL-specific linter.
29 8? TSqlRules)
- Visual Expert ©️ — Code analysis for PowerBuilder, Oracle, and SQL Server Explores, analyzes, and documents Code
268 34? linter)
Scalastyle — Scalastyle examines your Scala code and indicates potential problems with it.
534 92? scapegoat) — Scala compiler plugin for static code analysis.
- WartRemover — A flexible Scala code linting tool.
348 22? bashate) — Code style enforcement for bash programs. The output format aims to follow pycodestyle (pep8) default output format.
62 17? i-Code CNES for Shell) — An open source static code analysis tool for Shell and Fortran (77 and 90).
17 0? kmdr) — CLI tool for learning commands from your terminal. kmdr delivers a break down of commands with every attribute explained.
- sh — A shell parser, formatter, and interpreter with bash support; includes shfmt
- shellcheck — ShellCheck, a static analysis tool that gives warnings and suggestions for bash/sh shell scripts.
4640 130? shellharden) — A syntax highlighter and a tool to semi-automate the rewriting of scripts to ShellCheck conformance, mainly focused on quoting.
8001 638? SwiftFormat) — A library and command-line formatting tool for reformatting Swift code.
- SwiftLint — A tool to enforce Swift style and conventions.
- ช่างตัดเสื้อ
Frink — A Tcl formatting and static check program (can prettify the program, minimise, obfuscate or just sanity check it).
- Nagelfar — A static syntax checker for Tcl.
69 36? tclchecker) — A static syntax analysis module (as part of 69 36? TDK)).
1666 230? Angular ESLint) — Linter for Angular projects
Codelyzer
9 5? ENRE-ts) — ENRE (ENtity Relationship Extractor) is a tool for extraction of code entity dependencies or relationships from source code. ENRE-ts is a ENtity Relationship Extractor for ECMAScript and TypeScript based on @babel/parser.
- fta — Rust-based static analysis for TypeScript projects
- stc
- tslint? ?? this issue) for more details. typescript-eslint is now your best option for linting TypeScript. TSLINT เป็นเครื่องมือวิเคราะห์แบบคงที่ที่ขยายได้ซึ่งตรวจสอบรหัส TypeScript สำหรับความสามารถในการอ่านการบำรุงรักษาและข้อผิดพลาดในการใช้งาน It is widely supported across modern editors & build systems and can be customized with your own lint rules, configurations, and formatters.
- tslint-clean-code — A set of TSLint rules inspired by the Clean Code handbook.
701 198? tslint-microsoft-contrib)
240 20? TypeScript Call Graph) — CLI to generate an interactive graph of functions and calls from your TypeScript files
15391 2750? TypeScript ESLint) — TypeScript language extension for eslint.
- zod — TypeScript-first schema validation with static type inference. The goal is to eliminate duplicative type declarations. With Zod, you declare a validator once and Zod will automatically infer the static TypeScript type. It is easy to compose simpler types into complex data structures.
2894 534? Icarus Verilog) — A Verilog simulation and synthesis tool that operates by compiling source code written in IEEE-1364 Verilog into some target format
478 31? svls) — A Language Server Protocol implementation for Verilog and SystemVerilog, including lint capabilities.
29 13? verible-linter-action) — Automatic SystemVerilog linting in github actions with the help of Verible Used to lint Verilog and SystemVerilog source files and comment erroneous lines of code in Pull Requests automatically.
- Verilator — A tool which converts Verilog to a cycle-accurate behavioral model in C++ or SystemC. Performs lint code-quality checks.
302 79? vscode-verilog-hdl-support) — Verilog HDL/SystemVerilog/Bluespec SystemVerilog support for VS Code. Provides syntax highlighting and Linting support from Icarus Verilog, Vivado Logical Simulation, Modelsim and Verilator
704 33? vint) 13612 1441? ale) — Asynchronous Lint Engine for Vim and NeoVim with support for many languages.
- Android Studio — Based on IntelliJ IDEA, and comes bundled with tools for Android including Android Lint.
- AppChecker ©️ — Static analysis for C/C++/C#, PHP and Java.
- Application Inspector ©️ — Commercial Static Code Analysis which generates exploits to verify vulnerabilities.
4263 357? ApplicationInspector) — Creates reports of over 400 rule patterns for feature detection (eg the use of cryptography or version control in apps).
- ArchUnit — Unit test your Java or Kotlin architecture.
- Atom-Beautify
- autocorrect — A linter and formatter to help you to improve copywriting, correct spaces, words, punctuations between CJK (Chinese, Japanese, Korean).
- Axivion Bauhaus Suite ©️ — Tracks down error-prone code locations, style violations, cloned or dead code, cyclic dependencies and more for C/C++, C#/.NET, Java and Ada 83/Ada 95.
2120 113? Bearer) — Open-Source static code analysis tool to discover, filter and prioritize security risks and vulnerabilities leading to sensitive data exposures (PII, PHI, PD). Highly configurable and easily extensible, built for security and engineering teams.
- Better Code Hub ©️ — Better Code Hub checks your GitHub codebase against 10 engineering guidelines devised by the authority in software quality, Software Improvement Group.
832 96? Betterscan CE) — Checks your code and infra (various Git repositories supported, cloud stacks, CLI, Web Interface platform, integrationss available) for security and quality issues. Code Scanning/SAST/Linting using many tools/Scanners deduplicated with One Report (AI optional).
- biome — A toolchain for web projects, aimed to provide functionalities to maintain them. Biome formats and lints code in a fraction of a second. It is the successor to Rome. It is designed to eventually replace Biome is designed to eventually replace Babel, ESLint, webpack, Prettier, Jest, and others.
- BugProve ©️ — BugProve is a firmware analysis platform featuring both static and dynamic analysis techniques to discover memory corruptions, command injections and other classes or common weaknesses in binary code. It also detects vulnerable dependencies, weak cryptographic parameters, misconfigurations, and more.
254 28? callGraph) — Statically generates a call graph image and displays it on screen.
- CAST Highlight ©️ — Commercial Static Code Analysis which runs locally, but uploads the results to its cloud for presentation.
- Checkmarx CxSAST ©️ — Commercial Static Code Analysis which doesn't require pre-compilation.
2783 290? ClassGraph) — A classpath and module path scanner for querying or visualizing class metadata or class relatedness.
- Clayton ©️ — AI-powered code reviews for Salesforce. Secure your developments, enforce best practice and control your technical debt in real-time.
- coala
- Cobra ©️ — Structural source code analyzer by NASA's Jet Propulsion Laboratory.
- Codacy ©️ — Code Analysis to ship Better Code, Faster.
- Code Intelligence ©️ — CI/CD-agnostic DevSecOps platform which combines industry-leading fuzzing engines for finding bugs and visualizing code coverage
- Codeac ©️ — Automated code review tool integrates with GitHub, Bitbucket and GitLab (even self-hosted). Available for JavaScript, TypeScript, Python, Ruby, Go, PHP, Java, Docker, and more. (open-source free)
- codeburner — Provides a unified interface to sort and act on the issues it finds.
- codechecker — A defect database and viewer extension for the Clang Static Analyzer with web GUI.
- CodeFactor ©️ — Automated Code Analysis for repos on GitHub or BitBucket.
- CodeFlow ©️ — Automated code analysis tool to deal with technical depth. Integrates with Bitbucket and Gitlab. (free for Open Source Projects)
- CodeIt.Right ©️ — CodeIt.Right™ provides a fast, automated way to ensure that your source code adheres to (your) predefined design and style guidelines as well as best coding practices.
- Codemodder — Codemodder is a pluggable framework for building expressive codemods. Use Codemodder when you need more than a linter or code formatting tool. Use it to fix non-trivial security issues and other code quality problems.
- CodePatrol ©️ — Automated SAST code reviews driven by security, supports 15+ languages and includes security training.
7855 1576? codeql) — Deep code analysis - semantic queries and dataflow for several languages with VSCode plugin support.
- CodeQue — Ecosystem for structural matching JavaScript and TypeScript code. Offers search tool that understands code structure. Available as CLI tool and Visual Studio Code extension. It helps to search code faster and more accurately making you workflow more effective. Soon it will offer ESLint plugin to create your own rules in minutes to help with assuring codebase quality.
- CodeRush ©️ — Code creation, debugging, navigation, refactoring, analysis and visualization tools that use the Roslyn engine in Visual Studio 2015 and up.
- CodeScan ©️ — Code Quality and Security for Salesforce Developers. Made exclusively for the Salesforce platform, CodeScan's code analysis solutions provide you with total visibility into your code health.
- CodeScene ©️ — CodeScene is a quality visualization tool for software. Prioritize technical debt, detect delivery risks, and measure organizational aspects. Fully automated.
- CodeSee ©️ — CodeSee is mapping and automating your app's services, directories, file dependencies, and code changes. It's like Google Map, but for code.t
- CodeSonar from GrammaTech ©️ — Advanced, whole program, deep path, static analysis of C, C++, Java and C# with easy-to-understand explanations and code and path visualization.
- Codety ©️ — Codety Scanner is a comprehensive source code scanner that embeds 5000+ static code analysis rules, which aim to detect code issues for 20+ programming languages and IaC tools.
- Codiga ©️ — Automated Code Reviews and Technical Debt management platform that supports 12+ languages.
2164 116? Corrode)
- Coverity ©️ — Synopsys Coverity supports 20 languages and over 70 frameworks including Ruby on rails, Scala, PHP, Python, JavaScript, TypeScript, Java, Fortran, C, C++, C#, VB.NET.
- cpp-linter-action — A Github Action for linting C/C++ code integrating clang-tidy and clang-format to collect feedback provided in the form of thread comments and/or annotations.
323 17? cqc)
- DeepCode
- DeepSource ©️ — In-depth static analysis to find issues in verticals of bug risks, security, anti-patterns, performance, documentation and style. Native integrations with GitHub, GitLab and Bitbucket. Less than 5% false positives.
201 55? Depends) — Analyses the comprehensive dependencies of code elements for Java, C/C++, Ruby.
- DerScanner ©️ — Multi-language Static Application Security Testing (SAST) platform that detects critical vulnerabilities, including hardcoded secrets, weak cryptography, backdoors, SQL injections, insecure configurations, etc.
921 114? DevSkim) — Regex-based static analysis tool for Visual Studio, VS Code, and Sublime Text - C/C++, C#, PHP, ASP, Python, Ruby, Java, and others.
1936 172? dotenet-format) — A code formatter for .NET. Preferences will be read from an .editorconfig file, if present, otherwise a default set of preferences will be used. At this time dotnet-format is able to format C# and Visual Basic projects with a subset of supported .editorconfig options.
- Embold ©️ — Intelligent software analytics platform that identifies design issues, code issues, duplication and metrics. Supports Java, C, C++, C#, JavaScript, TypeScript, Python, Go, Kotlin and more.
846 48? emerge) — Emerge is a source code and dependency visualizer that can be used to gather insights about source code structure, metrics, dependencies and complexity of software projects. After scanning the source code of a project it provides you an interactive web interface to explore and analyze your project by using graph structures.
25359 4594? ESLint) — An extensible linter for JS, following the ECMAScript standard.
- ezno — A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance. Ezno's type checker is built from scratch. The checker is fully compatible with TypeScript type annotations and can work without any type annotations at all.
- Find Security Bugs — The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)
- Fortify ©️ — A commercial static analysis platform that supports the scanning of C/C++, C#, VB.NET, VB6, ABAP/BSP, ActionScript, Apex, ASP.NET, Classic ASP, VB Script, Cobol, ColdFusion, HTML, Java, JS, JSP, MXML/Flex, Objective-C, PHP, PL/SQL, T-SQL, Python (2.6, 2.7), Ruby (1.9.3), Swift, Scala, VB, and XML.
- Freeplane Code Explorer — The Code Explorer mode in Freeplane is designed for analyzing the structure and dependencies of code compiled to JVM class files. It also allows displaying ArchUnit test results directly in Freeplane, if Freeplane is running and ArchUnit detects rule violations during the tests.
- Goodcheck — Regexp based customizable linter.
52 3? goone)
graudit — Grep rough audit - source code auditing tool.
- HCL AppScan Source ©️ — Commercial Static Code Analysis.
57 11? Hopper)
- Hound CI
223 42? imhotep)
77 28? include-gardener)#include relations of a given set of files.
- Infer — A static analyzer for Java, C and Objective-C
- Kiuwan ©️ — Identify and remediate cyber threats in a blazingly fast, collaborative environment, with seamless integration in your SDLC. Python, CC++, Java, C#, PHP and more.
- Klocwork ©️ — Quality and Security Static analysis for C/C++, Java and C#.
- LGTM ©️ — Find security vulnerabilities, variants, and critical code quality issues using CodeQL queries over source code. Automatic PR code review; free for open source. Formerly semmle. It supports public Git repositories hosted on Bitbucket Cloud, GitHub.com, GitLab.com.
1878 252? lizard) — Lizard is an extensible Cyclomatic Complexity Analyzer for many programming languages including C/C++ (doesn't require all the header files or Java imports). It also does copy-paste detection (code clone detection/code duplicate detection) and many other forms of static code analysis. Counts lines of code without comments, CCN (cyclomatic complexity number), token count of functions, parameter count of functions.
- Mega-Linter — Mega-Linter can handle any type of project thanks to its 70+ embedded Linters, its advanced reporting, runnable on any CI system or locally, with assisted installation and configuration, able to apply formatting and fixes
- Mobb ©️ — Mobb is a trusted, automatic vulnerability fixer that secures applications, reduces security backlogs, and frees developers to focus on innovation. Mobb is free for open-source projects.
- MOPSA — A static analyzer designed to easily reuse abstract domains across widely different languages (such as C and Python).
oclint — A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C.
- Offensive 360 ©️ — Commercial Static Code Analysis system doesn't require building the source code or pre-compilation.
- OpenRewrite — OpenRewrite ? fixes common static analysis issues reported through Sonar and other tools using a Maven and Gradle plugin or the Moderne CLI.
44 16? OpenStaticAnalyzer) — OpenStaticAnalyzer is a source code analyzer tool, which can perform deep static analysis of the source code of complex systems.
12888 472? oxc) — The Oxidation Compiler is creating a suite of high-performance tools for the JavaScript / TypeScript language re-written in Rust.
- parasoft ©️ — Automated Software Testing Solutions for unit-, API-, and web UI testing. Complies with MISRA, OWASP, and others.
? ?? pfff)
- Pixee ©️ — Pixeebot finds security and code quality issues in your code and creates merge-ready pull requests with recommended fixes.
- PMD — A source code analyzer for Java, Salesforce Apex, Javascript, PLSQL, XML, XSL and others.
- pre-commit — A framework for managing and maintaining multi-language pre-commit hooks.
- Precaution — Precaution is a static analysis security tool (SAST) designed to find potentially critical vulnerabilities in source code prior to production. It is available as a CLI, GitHub Action, and GitHub App.
- Prettier — An opinionated code formatter.
2628 246? Pronto) — Quick automated code review of your changes. Supports more than 40 runners for various languages, including Clang, Elixir, JavaScript, PHP, Ruby and more.
60 12? PT.PM)
715 40? Putout) — Pluggable and configurable code transformer with built-in eslint, babel plugins support for js, jsx typescript, flow, markdown, yaml and json.
- PVS-Studio ©️ — A ? conditionally free for FOSS and individual developers) static analysis of C, C++, C# and Java code. For advertising purposes 29 41? you can propose a large FOSS project for analysis by PVS employees). Supports CWE mapping, OWASP ASVS, MISRA, AUTOSAR and SEI CERT coding standards.
- pylama — Code audit tool for Python and JavaScript. Wraps pycodestyle, pydocstyle, PyFlakes, Mccabe, Pylint, and more
- Qwiet AI ©️ — Identify vulnerabilities that are unique to your code base before they reach production. Leverages the Code Property Graph (CPG) to run its analyses concurrently in a single graph of graphs. Automatically finds business logic flaws in dev like hardcoded secrets and logic bombs
- Refactoring Essentials — The free Visual Studio 2015 extension for C# and VB.NET refactorings, including code best practice analyzers.
59 12? relint) — A static file linter that allows you to write custom rules using regular expressions (RegEx).
- ReSharper ©️ — Extends Visual Studio with on-the-fly code inspections for C#, VB.NET, ASP.NET, JavaScript, TypeScript and other technologies.
- RIPS ©️ — A static source code analyser for vulnerabilities in PHP scripts.
1600 466? Roslyn Analyzers) — Roslyn-based implementation of FxCop analyzers.
- Roslyn Security Guard — Project that focuses on the identification of potential vulnerabilities such as SQL injection, cross-site scripting (XSS), CSRF, cryptography weaknesses, hardcoded passwords and many more.
- SafeQL — Validate and auto-generate TypeScript types from raw SQL queries in PostgreSQL. SafeQL is an ESLint plugin for writing SQL queries in a type-safe way.
- SAST Online ©️ — Check the Android Source code thoroughly to uncover and address potential security concerns and vulnerabilities. Static application security testing (Static Code Analysis) tool Online
- Scrutinizer ©️ — A proprietary code quality checker that can be integrated with GitHub.
- Security Code Scan — Security code analyzer for C# and VB.NET. Detects various security vulnerability patterns: SQLi, XSS, CSRF, XXE, Open Redirect, etc. Integrates into Visual Studio 2015 and newer. Detects various security vulnerability patterns: SQLi, XSS, CSRF, XXE, Open Redirect, etc.
- Semgrep — A fast, open-source, static analysis tool for finding bugs and enforcing code standards at editor, commit, and CI time. Its rules look like the code you already write; no abstract syntax trees or regex wrestling. Supports 17+ languages.
- Semgrep Supply Chain ©️ — Quickly find and remediate high-priority security issues. Semgrep Supply Chain prioritizes the 2% of vulnerabilities that are reachable from your code.
815 113? ShiftLeft Scan) — Scan is a free open-source DevSecOps platform for detecting security issues in source code and dependencies. It supports a broad range of languages and CI/CD pipelines.
270 35? เรียบร้อย)
- Sigrid ©️ — Sigrid helps you to improve your software by measuring your system's code quality, and then compares the results against a benchmark of thousands of industry systems to give you concrete advice on areas where you can improve.
- Similarity Tester — A tool that finds similarities between or within files to support you encountering DRY principle violations.
- Snyk Code ©️ — Snyk Code finds security vulnerabilities based on AI. Its speed of analysis allow us to analyse your code in real time and deliver results when you hit the save button in your IDE. Supported languages are Java, JavaScript, Python, PHP, C#, Go and TypeScript. Integrations with GitHub, BitBucket and Gitlab. It is free to try and part of the Snyk platform also covering SCA, containers and IaC.
- SonarQube Cloud ©️ — SonarQube Cloud enables your team to deliver clean code consistently and efficiently with a code review tool that easily integrates into the cloud DevOps platforms and extend your CI/CD workflow. SonarQube Cloud provides a free plan.
- SonarQube for IDE — SonarQube for IDE (formerly SonarLint) is a free IDE extension available for IntelliJ, VS Code, Visual Studio, and Eclipse, to find and fix coding issues in real-time, flagging issues as you code, just like a spell-checker. More than a linter, it also delivers rich contextual guidance to help developers understand why there is an issue, assess the risk, and educate them on how to fix it.
- SonarQube Server — SonarQube empowers development teams with a code quality and security solution that deeply integrates into your enterprise environment; enabling you to deploy clean code consistently and reliably. SonarQube provides a free and open source Community Build.
- Sonatype ©️ — Reports known vulnerabilities in common dependencies and recommends updated packages to minimize breaking changes
- Soto Platform ©️ — Suite of static analysis tools consisting of the three components Sotoarc (Architecture Analysis), Sotograph (Quality Analysis), and Sotoreport (Quality report). Helps find differences between architecture and implementation, interface violations (eg external access of private parts of subsystems, detection of all classes, files, packages and subsystems which are strongly coupled by cyclical relationships and more. The Sotograph product family runs on Windows and Linux.
- SourceMeter ©️ — Static Code Analysis for C/C++, Java, C#, Python, and RPG III and RPG IV versions (including free-form).
493 25? sqlvet) — Performs static analysis on raw SQL queries in your Go code base to surface potential runtime errors. It checks for SQL syntax error, identifies unsafe queries that could potentially lead to SQL injections makes sure column count matches value count in INSERT statements and validates table- and column names.
- StaticReviewer ©️ — Static Reviewer executes code checks according to the most relevant Secure Coding Standards, OWASP, CWE, CVE, CVSS, MISRA, CERT, for 40+ programming languages, using 1000+ built-in validation rules for Security, Deadcode & Best Practices Available a module for Software Composition Analysis (SCA) to find vulnerabilities in open source and third party libraries.
113 17? Super-Linter) — Combination of multiple linters to install as a GitHub Action.
- Svace ©️ — Static code analysis tool for Java,C,C++,C#,Go.
- Synopsys ©️ — A commercial static analysis platform that allows for scanning of multiple languages (C/C++, Android, C#, Java, JS, PHP, Python, Node.JS, Ruby, Fortran, and Swift).
- Teamscale ©️ — Static and dynamic analysis tool supporting more than 25 languages and direct IDE integration. Free hosting for Open Source projects available on request. Free academic licenses available.
- TencentCodeAnalysis — Tencent Cloud Code Analysis (TCA for short, code-named CodeDog inside the company early) is a comprehensive platform for code analysis and issue tracking. TCA consist of three components, server, web and client. It integrates of a number of self-developed tools, and also supports dynamic integration of code analysis tools in various programming languages.
4873 592? ThreatMapper) — Vulnerability Scanner and Risk Evaluation for containers, serverless and hosts at runtime. ThreatMapper generates runtime BOMs from dependencies and operating system packages, matches against multiple threat feeds, scans for unprotected secrets, and scores issues based on severity and risk-of-exploit.
429 42? todocheck) — Linter for integrating annotated TODOs with your issue trackers
24121 2379? trivy) — A Simple and Comprehensive Vulnerability Scanner for Containers and other Artifacts, Suitable for CI. Trivy detects vulnerabilities of OS packages (Alpine, RHEL, CentOS, etc.) and application dependencies (Bundler, Composer, npm, yarn, etc.). Checks containers and filesystems.
- trunk ©️ — Modern repositories include many technologies, each with its own set of linters. With 30+ linters and counting, Trunk makes it dead-simple to identify, install, configure, and run the right linters, static analyzers, and formatters for all your repos.
2015 594? TscanCode) — A fast and accurate static analysis solution for C/C++, C#, Lua codes provided by Tencent. Using GPLv3 license.
1633 64? Undebt) — Language-independent tool for massive, automatic, programmable refactoring based on simple pattern definitions.
- Understand ©️ — Code visualization tool that provides code analysis, standards testing, metrics, graphing, dependency analysis and more for Ada, VHDL, and others.
- Unibeautify — Universal code beautifier with a GitHub app. Supports HTML, CSS, JavaScript, TypeScript, JSX, Vue, C++, Go, Objective-C, Java, Python, PHP, GraphQL, Markdown, and more.
- Upsource ©️ — Code review tool with static code analysis and code-aware navigation for Java, PHP, JavaScript and Kotlin.
- Veracode ©️ — Find flaws in binaries and bytecode without requiring source. Support all major programming languages: Java, .NET, JavaScript, Swift, Objective-C, C, C++ and more.
769 225? WALA) — Static analysis capabilities for Java bytecode and related languages and for JavaScript.
2354 131? weggli) — A fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.
- WhiteHat Application Security Platform ©️ — WhiteHat Scout (for Developers) combined with WhiteHat Sentinel Source (for Operations) supporting WhiteHat Top 40 and OWASP Top 10.
281 23? Wotan)
- XCode ©️ — XCode provides a pretty decent UI for ? Clang's static code analyzer (C/C++, Obj-C).
- kics — Find security vulnerabilities, compliance issues, and infrastructure misconfigurations in your infrastructure-as-code. Supports Terraform, Kubernetes, Docker, AWS CloudFormation and Ansible
- Steampunk Spotter ©️ — Ansible Playbook Scanning Tool that analyzes and offers recommendations for your playbooks.
21 4? alquitran) — Inspects tar archives and tries to spot portability issues in regard to POSIX 2017 pax specification and common tar implementations. This project is intended to be used by maintainers of projects who want to offer portable source code archives for as many systems as possible. Checking tar archives with alquitran before publishing them should help spotting issues before they reach distributors and users.
- packj — Packj (pronounced package) is a command line (CLI) tool to vet open-source software packages for "risky" attributes that make them vulnerable to supply chain attacks. This is the tool behind our large-scale security analysis platform Packj.dev that continuously vets packages and provides free reports.
238 7? บริสุทธิ์)
7659 1088? angr) — Binary code analysis tool that also supports symbolic execution.
508 56? binbloom) — Analyzes a raw binary firmware and determines features like endianness or the loading address. The tool is compatible with all architectures. Loading address: binbloom can parse a raw binary firmware and determine its loading address. Endianness: binbloom can use heuristics to determine the endianness of a firmware. UDS Database: binbloom can parse a raw binary firmware and check if it contains an array containing UDS command IDs.
785 156? BinSkim) — A binary static analysis tool that provides security and correctness results for Windows portable executables.
- Black Duck ©️ — Tool to analyze source code and binaries for reusable code, necessary licenses and potential security aspects.
4831 348? bloaty) — Ever wondered what's making your binary big? Bloaty McBloatface will show you a size profile of the binary so you can understand what's taking up space inside. Bloaty performs a deep analysis of the binary. Using custom ELF, DWARF, and Mach-O parsers, Bloaty aims to accurately attribute every byte of the binary to the symbol or compileunit that produced it. It will even disassemble the binary looking for references to anonymous data. f
2398 51? cargo-bloat) — Find out what takes most of the space in your executable. supports ELF (Linux, BSD), Mach-O (macOS) and PE (Windows) binaries.
1164 122? cwe_checker) — cwe_checker finds vulnerable patterns in binary executables.
- Ghidra — A software reverse engineering (SRE) suite of tools developed by NSA's Research Directorate in support of the Cybersecurity mission
- Hopper ©️ — macOS and Linux reverse engineering tool that lets you disassemble, decompile and debug applications. Hopper displays the code using different representations, eg the Control Flow Graph, and the pseudo-code of a procedure. Supports Apple Silicon.
- IDA Free ©️ — Binary code analysis tool.
158 24? Jakstab) — Jakstab is an Abstract Interpretation-based, integrated disassembly and static analysis framework for designing analyses on executables and recovering reliable control flow graphs.
- JEB Decompiler ©️ — Decompile and debug binary code. Break down and analyze document files. Android Dalvik, MIPS, ARM, Intel x86, Java, WebAssembly & Ethereum Decompilers.
- ktool — Fully cross-platform toolkit and library for MachO+Obj-C editing/analysis. Includes a cli kit, a curses GUI, ObjC header dumping, and much more.
1025 161? Manalyze) — A static analyzer, which checks portable executables for malicious content.
2670 341? mcsema)
533 80? Nauz File Detector) — Static Linker/Compiler/Tool detector for Windows, Linux and MacOS.
688 30? rust-audit) — Audit Rust binaries for known bugs or security vulnerabilities. This works by embedding data about the dependency tree (Cargo.lock) in JSON format into a dedicated linker section of the compiled executable.
- Twiggy — Analyzes a binary's call graph to profile code size. The goal is to slim down wasm binary size.
367 42? VMware chap) — chap analyzes un-instrumented ELF core files for leaks, memory growth, and corruption. It is sufficiently reliable that it can be used in automation to catch leaks before they are committed. As an interactive tool, it helps explain memory growth, can identify some forms of corruption, and supplements a debugger by giving the status of various memory locations.
- zydis — Fast and lightweight x86/x86-64 disassembler library
1048 45? checkmake)
- portlint — A verifier for FreeBSD and DragonFlyBSD port directories.
- CSS Stats — Potentially interesting stats on stylesheets.
3291 458? CSScomb) — A coding style formatter for CSS. Supports own configurations to make style sheets beautiful and consistent.
CSSLint — Does basic syntax checking and finds problematic patterns or signs of inefficiency.
- GraphMyCSS.com — CSS Specificity Graph Generator.
- Nu Html Checker — Helps you catch problems in your HTML/CSS/SVG
2471 72? Parker)
- PostCSS — A tool for transforming styles with JS plugins. These plugins can lint your CSS, support variables and mixins, transpile future CSS syntax, inline images, and more.
- Project Wallace CSS Analyzer — Analytics for CSS, part of ? Project Wallace.
1767 529? sass-lint)
3659 465? scsslint) — Linter for SCSS files.
- Specificity Graph — CSS Specificity Graph Generator.
Stylelint — Linter for SCSS/CSS files.
- dotenv-linter — Linting dotenv files like a charm.
- dotenv-linter (Rust) — Lightning-fast linter for .env files. Written in Rust
8300 397? gixy) — A tool to analyze Nginx configuration. The main goal is to prevent misconfiguration and automate flaw detection.
- ansible-lint — Checks playbooks for practices and behaviour that could potentially be improved.
1308 183? AWS CloudFormation Guard) — Check local CloudFormation templates against policy-as-code rules and generate rules from existing templates.
- AzSK — Secure DevOps kit for Azure (AzSK) provides security IntelliSense, Security Verification Tests (SVTs), CICD scan vulnerabilities, compliance issues, and infrastructure misconfiguration in your infrastructure-as-code. Supports Azure via ARM.
2470 597? cfn-lint) — AWS Labs CloudFormation linter.
1258 211? cfn_nag) — A linter for AWS CloudFormation templates.
- checkov — Static analysis tool for Terraform files (tf>=v0.12), preventing cloud misconfigs at build time.
- cookstyle — Cookstyle is a linting tool based on the RuboCop Ruby linting tool for Chef cookbooks.
foodcritic — A lint tool that checks Chef cookbooks for common problems.
- kics — Find security vulnerabilities, compliance issues, and infrastructure misconfigurations in your infrastructure-as-code. Supports Terraform, Kubernetes, Docker, AWS CloudFormation and Ansible
31 25? metadata-json-lint) — Tool to check the validity of Puppet metadata.json files.
818 205? Puppet Lint)
- Steampunk Spotter ©️ — Ansible Playbook Scanning Tool that analyzes and offers recommendations for your playbooks.
- terraform-compliance — A lightweight, compliance- and security focused, BDD test framework against Terraform.
4786 507? terrascan) — Collection of security and best practice tests for static code analysis of Terraform templates.
5017 358? tflint) — A Terraform linter for detecting errors that can not be detected by terraform plan .
6739 541? tfsec) — Terraform static analysis tool that prevents potential security issues by checking cloud misconfigurations at build time and directly integrates with the HCL parser for better results. Checks for violations of AWS, Azure and GCP security best practice recommendations.
- anchore — Discover, analyze, and certify container images. A service that analyzes Docker images and applies user-defined acceptance policies to allow automated container image validation and certification
10425 1167? clair) — Vulnerability Static Analysis for Containers.
290 23? collector)
1163 164? dagda)
79 5? Docker Label Inspector)
- GitGuardian ggshield — ggshield is a CLI application that runs in your local environment or in a CI environment to help you detect more than 350+ types of secrets, as well as other potential security vulnerabilities or policy breaks affecting your codebase.
10559 422? Haskell Dockerfile Linter) — A smarter Dockerfile linter that helps you build best practice Docker images.
- kics — Find security vulnerabilities, compliance issues, and infrastructure misconfigurations in your infrastructure-as-code. Supports Terraform, Kubernetes, Docker, AWS CloudFormation and Ansible
687 34? krane) — Krane is a simple Kubernetes RBAC static analysis tool. มันระบุความเสี่ยงด้านความปลอดภัยที่อาจเกิดขึ้นในการออกแบบ K8S RBAC และให้คำแนะนำเกี่ยวกับวิธีการลดลง Krane Dashboard นำเสนอท่าทางความปลอดภัย RBAC ปัจจุบันและให้คุณนำทางผ่านคำจำกัดความของมัน
- OpenSCAP — Suite of automated audit tools to examine the configuration and known vulnerabilities following the NIST-certified Security Content Automation Protocol (SCAP).
- Qualys Container Security ©️ — Container native application protection to provide visibility and control of containerized applications.
- sysdig ©️ — A secure DevOps platform for cloud and container forensics. Built on an open source stack, Sysdig provides Docker image scanning and created Falco, the open standard for runtime threat detection for containers, Kubernetes and cloud.
- Vuls — Agent-less Linux vulnerability scanner based on information from NVD, OVAL, etc. It has some container image support, although is not a container specific tool.
- actionlint — Static checker for GitHub Actions workflow files. Provides an online version.
- AzSK — Secure DevOps kit for Azure (AzSK) provides security IntelliSense, Security Verification Tests (SVTs), CICD scan vulnerabilities, compliance issues, and infrastructure misconfiguration in your infrastructure-as-code. Supports Azure via ARM.
- Code Climate — The open and extensible static analysis platform, for everyone.
- Codecov ©️ — Codecov is a company that provides code coverage tools for developers and engineering leaders to gain visibility into their code coverage. They offer flexible and unified reporting, seamless coverage insights, and robust coverage controls. Codecov supports over 20 languages and is CI/CD agnostic. Over 29,000 organizations and 1 million developers use Codecov. Codecov has recently joined Sentry.
- CodeRabbit ©️ — AI-powered code review tool that helps developers write better code faster. CodeRabbit provides automated code reviews, identifies security vulnerabilities, and suggests code improvements. It integrates with GitHub and GitLab.
465 10? composer-dependency-analyser) — Fast detection of composer dependency issues.
- Diffblue ©️ — Diffblue is a software company that provides AI-powered code analysis and testing solutions for software development teams. Its technology helps developers automate testing, find bugs, and reduce manual labor in their software development processes. The company's main product, Diffblue Cover, uses AI to generate and run unit tests for Java code, helping to catch errors and improve code quality.
- Exakat - เครื่องมือตรวจสอบรหัสอัตโนมัติสำหรับ PHP
- GitGuardian ggshield — ggshield is a CLI application that runs in your local environment or in a CI environment to help you detect more than 350+ types of secrets, as well as other potential security vulnerabilities or policy breaks affecting your codebase.
- Goblint — A static analyzer for the analysis of multi-threaded C programs. Its primary focus is the detection of data races, but it also reports other runtime errors, such as buffer overflows and null-pointer dereferences.
- NITPICK CI ©️ - รีวิวรหัส PHP อัตโนมัติ
- PullRequest ©️ — Code review as a service with built-in static analysis. Increase velocity and reduce technical debt through quality code review by expert engineers backed by best-in-class automation.
155 18? คุณภาพ)
111 23? QuantifiedCode)
460 42? RefactorFirst) — Identifies and prioritizes God Classes and Highly Coupled classes in Java codebases you should refactor first.
8053 427? Reviewdog) — A tool for posting review comments from any linter in any code hosting service.
- Symfony Insight ©️ — Detect security risks, find bugs and provide actionable metrics for PHP projects.
148 39? Violations Lib) — Java library for parsing report files from static code analysis. Used by a bunch of Jenkins, Maven and Gradle plugins.
1552 173? deno_lint) — Official linter for Deno. 59 29? oelint-adv) — Linter for bitbake recipes used in open-embedded and YOCTO 682 123? ERB Lint) — Lint your ERB or HTML files
340 59? htmlbeautifier) — A normaliser/beautifier for HTML that also understands embedded Ruby. Ideal for tidying up Rails templates.
179 75? gherkin-lint) — A linter for the Gherkin-Syntax written in Javascript. 1666 230? Angular ESLint) — Linter for Angular projects
2395 311? Bootlint)
682 123? ERB Lint) — Lint your ERB or HTML files
66 22? grunt-bootlint)2395 311? Bootlint), the HTML linter for Bootstrap projects.
42 8? gulp-bootlint)2395 311? Bootlint), the HTML linter for Bootstrap projects.
2318 145? HTML Inspector)
HTML Tidy — Corrects and cleans up HTML and XML documents by fixing markup errors and upgrading legacy code to modern standards.
- HTML-Validate — Offline HTML5 validator.
340 59? htmlbeautifier) — A normaliser/beautifier for HTML that also understands embedded Ruby. Ideal for tidying up Rails templates.
- HTMLHint — A Static Code Analysis Tool for HTML.
- Nu Html Checker — Helps you catch problems in your HTML/CSS/SVG
431 201? Polymer-analyzer) — A static analysis framework for Web Components.
- jsonlint — A JSON parser and validator with a CLI. Standalone version of jsonlint.com
- Spectral — A flexible JSON/YAML linter, with out-of-the-box support for OpenAPI v2/v3 and AsyncAPI v2.
1377 218? chart-testing) — ct is the tool for testing Helm charts. It is meant to be used for linting and testing pull requests. It automatically detects charts changed against the target branch.
550 45? clusterlint) — Clusterlint queries live Kubernetes clusters for resources, executes common and platform specific checks against these resources and provides actionable feedback to cluster operators. It is a non invasive tool that is run externally. Clusterlint does not alter the resource configurations.
- Datree — A CLI tool to prevent Kubernetes misconfigurations by ensuring that manifests and Helm charts follow best practices as well as your organization's policies
- kics — Find security vulnerabilities, compliance issues, and infrastructure misconfigurations in your infrastructure-as-code. Supports Terraform, Kubernetes, Docker, AWS CloudFormation and Ansible
42 10? klint) — A tool that listens to changes in Kubernetes resources and runs linting rules against them. Identify and debug erroneous objects and nudge objects in line with the policies as both change over time. Klint helps us encode checks and proactively alert teams when they need to take action.
687 34? krane) — Krane is a simple Kubernetes RBAC static analysis tool. มันระบุความเสี่ยงด้านความปลอดภัยที่อาจเกิดขึ้นในการออกแบบ K8S RBAC และให้คำแนะนำเกี่ยวกับวิธีการลดลง Krane Dashboard นำเสนอท่าทางความปลอดภัย RBAC ปัจจุบันและให้คุณนำทางผ่านคำจำกัดความของมัน
- kube-hunter — Hunt for security weaknesses in Kubernetes clusters.
157 12? kube-lint) — A linter for Kubernetes resources with a customizable rule set. You define a list of rules that you would like to validate against your resources and kube-lint will evaluate those rules against them.
3011 239? kube-linter) — KubeLinter is a static analysis tool that checks Kubernetes YAML files and Helm charts to ensure the applications represented in them adhere to best practices.
- kube-score — Static code analysis of your Kubernetes object definitions.
2334 126? kubeconform) — A fast Kubernetes manifests validator with support for custom resources.
It is inspired by, contains code from and is designed to stay close to ? Kubeval, but with the following improvements:
3011 239? KubeLinter) — KubeLinter is a static analysis tool that checks Kubernetes YAML files and Helm charts to ensure the applications represented in them adhere to best practices.
- kubeval — Validates your Kubernetes configuration files and supports multiple Kubernetes versions.
ChkTeX — A linter for LaTex which catches some typographic errors LaTeX oversees.
- lacheck — A tool for finding common mistakes in LaTeX documents.
- TeXLab — A Language Server Protocol implementation for TeX/LaTeX, including lint capabilities.
- Enlightn — A static and dynamic analysis tool for Laravel applications that provides recommendations to improve the performance, security and code reliability of Laravel apps. Contains 120 automated checks.
5639 424? larastan) — Adds static analysis to Laravel improving developer productivity and code quality. It is a wrapper around PHPStan.
1048 45? checkmake)
- portlint — A verifier for FreeBSD and DragonFlyBSD port directories.
4891 740? markdownlint) — Node.js -based style checker and lint tool for Markdown/CommonMark files.
- mdformat — CommonMark compliant Markdown formatter
1837 230? mdl) — A tool to check Markdown files and flag style issues.
28 0? mdsf) — Format markdown code blocks using your favorite code formatters.
- remark-lint — Pluggable Markdown code style linter written in JavaScript.
- textlint — textlint is an open source text linting utility written in JavaScript.
26 10? ciocheck)pep8 , pydocstyle , flake8 และ pylint
3488 310? flake8) — A wrapper around pyflakes , pycodestyle and mccabe .
- flakeheaven — flakeheaven is a python linter built around flake8 to enable inheritable and complex toml configuration.
3507 267? Go Meta Linter)golangci-lint สำหรับโครงการใหม่
3130 271? goreporter) — Concurrently runs many linters and normalises their output to a report.
28 6? multilint)flake8 , isort และ modernize
1964 172? prospector) — A wrapper around pylint , pep8 , mccabe and others.
Android Lint — Run static analysis on Android projects.
- android-lint-summary
1084 300? FlowDroid) — Static taint analysis tool for Android applications.
- iblessing
- Mariana Trench — Our security focused static analysis tool for Android and Java applications. Mariana Trench analyzes Dalvik bytecode and is built to run fast on large codebases (10s of millions of lines of code). It can find vulnerabilities as code changes, before it ever lands in your repository.
- Oversecured ©️ — Enterprise vulnerability scanner for Android and iOS apps. It allows app owners and developers to secure each new version of a mobile app by integrating Oversecured into the development process.
74 17? paprika)
3215 644? qark)
- redex — Redex provides a framework for reading, writing, and analyzing .dex files, and a set of optimization passes that use this framework to improve the bytecode. An APK optimized by Redex should be smaller and faster.
525 13? deadnix) — Scan Nix files for dead code (unused variable bindings)
- statix — Lints and suggestions for the Nix programming language. "statix check" highlights antipatterns in Nix code. "statix fix" can fix several such occurrences.
788 35? lockfile-lint) — Lint an npm or yarn lockfile to analyze and detect security issues
- njsscan — A static application testing (SAST) tool that can find insecure code patterns in your node.js applications using simple pattern matcher from libsast and syntax-aware semantic code pattern search tool semgrep.
- NodeJSScan — A static security code scanner for Node.js applications powered by libsast and semgrep that builds on the njsscan cli tool. มันมี UI ที่มีแดชบอร์ดต่าง ๆ เกี่ยวกับสถานะความปลอดภัยของแอปพลิเคชัน
มาตรฐาน - โมดูล NPM ที่ตรวจสอบปัญหา JavaScript Styleguide
465 10? composer-dependency-analyser) — Fast detection of composer dependency issues.- lintian — Static analysis tool for Debian packages.
135 117? rpmlint) — Tool for checking common errors in rpm packages.
35 8? promformat)
4 7? promval) — PromQL validator written in Python. It can be used to validate that PromQL expressions are written as expected.
- buf — Provides a CLI linter that enforces good API design choices and structure
588 52? protolint) — Pluggable linter and fixer to enforce Protocol Buffer style and conventions.
31 25? metadata-json-lint) — Tool to check the validity of Puppet metadata.json files. 737 86? dawnscanner) — A static analysis security scanner for ruby written web applications. It supports Sinatra, Padrino and Ruby on Rails frameworks. - AzSK — Secure DevOps kit for Azure (AzSK) provides security IntelliSense, Security Verification Tests (SVTs), CICD scan vulnerabilities, compliance issues, and infrastructure misconfiguration in your infrastructure-as-code. Supports Azure via ARM.
- brakeman — A static analysis security vulnerability scanner for Ruby on Rails applications.
328 49? Credential Digger) — Credential Digger is a GitHub scanning tool that identifies hardcoded credentials (Passwords, API Keys, Secret Keys, Tokens, personal information, etc), and filtering the false positive data through a machine learning model called ? Password Model. This scanner is able to detect passwords and non structured tokens with a low false positive rate.
- Datree — A CLI tool to prevent Kubernetes misconfigurations by ensuring that manifests and Helm charts follow best practices as well as your organization's policies
3869 481? detect-secrets) — An enterprise friendly way of detecting and preventing secrets in code. It does this by running periodic diff outputs against heuristically crafted regex statements, to identify whether any new secret has been committed. This way, it avoids the overhead of digging through all git history, as well as the need to scan the entire repository every time.
- Enlightn — A static and dynamic analysis tool for Laravel applications that provides recommendations to improve the performance, security and code reliability of Laravel apps. Contains 120 automated checks.
- GitGuardian ggshield — ggshield is a CLI application that runs in your local environment or in a CI environment to help you detect more than 350+ types of secrets, as well as other potential security vulnerabilities or policy breaks affecting your codebase.
18218 1492? Gitleaks) — A SAST tool for detecting hardcoded secrets like passwords, api keys, and tokens in git repos.
2181 110? gokart) — Golang security analysis with a focus on minimizing false positives. มันมีความสามารถในการติดตามแหล่งที่มาของตัวแปรและอาร์กิวเมนต์ฟังก์ชั่นเพื่อตรวจสอบว่าแหล่งที่มาของอินพุตปลอดภัยหรือไม่
- HasMySecretLeaked ©️ — HasMySecretLeaked is a project from GitGuardian that aims to help individual users and organizations search across 20 million exposed secrets to verify if their developer secrets have leaked on public repositories, gists, and issues on GitHub projects.
- iblessing
2300 97? kani) — The Kani Rust Verifier is a bit-precise model checker for Rust. Kani is particularly useful for verifying unsafe code blocks in Rust, where the "unsafe superpowers" are unchecked by the compiler. Kani verifies:
- kics — Find security vulnerabilities, compliance issues, and infrastructure misconfigurations in your infrastructure-as-code. Supports Terraform, Kubernetes, Docker, AWS CloudFormation and Ansible
- ktool — Fully cross-platform toolkit and library for MachO+Obj-C editing/analysis. Includes a cli kit, a curses GUI, ObjC header dumping, and much more.
- kube-hunter — Hunt for security weaknesses in Kubernetes clusters.
788 35? lockfile-lint) — Lint an npm or yarn lockfile to analyze and detect security issues
- LunaSec — Open Source AppSec platform that automatically notifies you the next time vulnerabilities like Log4Shell or node-ipc happen. Track your dependencies and builds in a centralized service.
- njsscan — A static application testing (SAST) tool that can find insecure code patterns in your node.js applications using simple pattern matcher from libsast and syntax-aware semantic code pattern search tool semgrep.
- NodeJSScan — A static security code scanner for Node.js applications powered by libsast and semgrep that builds on the njsscan cli tool. มันมี UI ที่มีแดชบอร์ดต่าง ๆ เกี่ยวกับสถานะความปลอดภัยของแอปพลิเคชัน
- Oversecured ©️ — Enterprise vulnerability scanner for Android and iOS apps. It allows app owners and developers to secure each new version of a mobile app by integrating Oversecured into the development process.
- PT Application Inspector ©️ — Identifies code flaws and detects vulnerabilities to prevent web attacks. Demonstrates remote code execution by presenting possible exploits.
- Qualys Container Security ©️ — Container native application protection to provide visibility and control of containerized applications.
111 23? QuantifiedCode)
- Rezilion ©️ — Discovers vulnerabilities for all components in your environment, filters out 85% non-exploitable vulnerabilities and creates a remediation plan and open tickets to upgrade components that violate your security policy and/or patch automatically in CI.
4672 508? scorecard) — Security Scorecards - Security health metrics for Open Source
- SearchDiggity ©️ — Identifies vulnerabilities in open source code projects hosted on Github, Google Code, MS CodePlex, SourceForge, and more. The tool comes with over 130 default searches that identify SQL injection, cross-site scripting (XSS), insecure remote and local file includes, hard-coded passwords, etc.
- Steampunk Spotter ©️ — Ansible Playbook Scanning Tool that analyzes and offers recommendations for your playbooks.
- Symfony Insight ©️ — Detect security risks, find bugs and provide actionable metrics for PHP projects.
6739 541? tfsec) — Terraform static analysis tool that prevents potential security issues by checking cloud misconfigurations at build time and directly integrates with the HCL parser for better results. Checks for violations of AWS, Azure and GCP security best practice recommendations.
- trufflehog — Find credentials all over the place TruffleHog is an open source secret-scanning engine that resolves exposed secrets across your company's entire tech stack.
8299 896? Tsunami Security Scanner) — A general purpose network security scanner with an extensible plugin system for detecting high severity RCE-like vulnerabilities with high confidence. Custom detectors for finding vulnerabilities (eg open APIs) can be added.
3904 744? mythril) — A symbolic execution framework with batteries included, can be used to find and exploit vulnerabilities in smart contracts automatically.
- MythX ©️ — MythX is an easy to use analysis platform which integrates several analysis methods like fuzzing, symbolic execution and static analysis to find vulnerabilities with high precision. It can be integrated with toolchains like Remix or VSCode or called from the command-line.
5406 982? slither) — Static analysis framework that runs a suite of vulnerability detectors, prints visual information about contract details, and provides an API to easily write custom analyses.
- solhint — Solhint is an open source project created by https://protofire.io. Its goal is to provide a linting utility for Solidity code.
- solium — Solium is a linter to identify and fix style and security issues in Solidity smart contracts.
23 7? LibVCS4j) — A Java library that allows existing tools to analyse the evolution of software systems by providing a common API for different version control systems and issue trackers.
460 42? RefactorFirst) — Identifies and prioritizes God Classes and Highly Coupled classes in Java codebases you should refactor first.
148 39? Violations Lib) — Java library for parsing report files from static code analysis. Used by a bunch of Jenkins, Maven and Gradle plugins.
267 237? ember-template-lint) — Linter for Ember or Handlebars templates.
318 101? haml-lint) — Tool for writing clean and consistent HAML.
210 60? slim-lint) — Configurable tool for analyzing Slim templates.
- yamllint — Checks YAML files for syntax validity, key repetition and cosmetic problems such as lines length, trailing spaces, and indentation.
- GitGuardian ggshield — ggshield is a CLI application that runs in your local environment or in a CI environment to help you detect more than 350+ types of secrets, as well as other potential security vulnerabilities or policy breaks affecting your codebase.
- kics — Find security vulnerabilities, compliance issues, and infrastructure misconfigurations in your infrastructure-as-code. Supports Terraform, Kubernetes, Docker, AWS CloudFormation and Ansible
369 15? shisho)
50 10? dennis) — A set of utilities for working with PO files to ease development and improve quality. - HTML-Validate — Offline HTML5 validator.
- Vetur
- After the Deadline
- alex — Catch insensitive, inconsiderate writing
1964 472? codespell) — Check code for common misspellings.
- languagetool — Style and grammar checker for 25+ languages. It finds many errors that a simple spell checker cannot detect.
193 23? misspell-fixer)
- Misspelled Words In Context — A spell-checker that groups possible misspellings and shows them in their contexts.
4368 179? proselint) — A linter for English prose with a focus on writing style instead of grammar.
- vale — A syntax-aware linter for prose built with speed and extensibility in mind.
4966 190? write-good) — A linter with a focus on eliminating "weasel words".
- Spectral — A flexible JSON/YAML linter, with out-of-the-box support for OpenAPI v2/v3 and AsyncAPI v2.
- yamllint — Checks YAML files for syntax validity, key repetition and cosmetic problems such as lines length, trailing spaces, and indentation.
- commitlint — checks if your commit messages meet the conventional commit format
- GitGuardian ggshield — ggshield is a CLI application that runs in your local environment or in a CI environment to help you detect more than 350+ types of secrets, as well as other potential security vulnerabilities or policy breaks affecting your codebase.
- HasMySecretLeaked ©️ — HasMySecretLeaked is a project from GitGuardian that aims to help individual users and organizations search across 20 million exposed secrets to verify if their developer secrets have leaked on public repositories, gists, and issues on GitHub projects.
? ?? Clean code linters) — A collection of linters in github collections? ?? Code Quality Checker Tools For PHP Projects) — A collection of PHP linters in github collections6262 377? go-tools) — A collection of tools and libraries for working with Go code, including linters and static analysis342 31? linters) — An introduction to static code analysis2827 245? php-static-analysis-tools) — A reviewed list of useful PHP static analysis toolsTo the extent possible under law, ? Matthias Endler has waived all copyright and related or neighboring rights to this work. The underlying source code used to format and display that content is licensed under the MIT license.
Title image Designed by Freepik.
13455 1361? analysis-tools-dev/static-analysis)
