Static program analysis tools
เครื่องมือวิเคราะห์โปรแกรมแบบคงที่
อ่าน 1 นาทีโซอาเทสต์
Computer security softwareParasoft SOAtestเป็นชุดเครื่องมือทดสอบและวิเคราะห์สำหรับการทดสอบและตรวจสอบความถูกต้องของAPIและแอปพลิเคชันที่ขับเคลื่อนด้วย API (เช่นคลาวด์แอปมือถือ SOA )...
อ่าน 1 นาทีผู้เชี่ยวชาญด้านภาพ
Code navigation toolsVisual Expertเป็นเครื่องมือวิเคราะห์โค้ดแบบคงที่ซึ่งดึงข้อมูลการออกแบบและข้อมูลทางเทคนิคจากซอร์สโค้ดของ ซอฟต์แวร์ โดยใช้วิธีวิศวกรรมย้อนกลับโดยโปรแกรมเมอร์ใช้เพื่อการบำรุงรักษา...
อ่าน 1 นาทีชุดเครื่องมือวิเคราะห์แบบคงที่ของซอฟต์แวร์ MALPAS
CS1 maint: archived copy as titleMALPASเป็นชุดเครื่องมือซอฟต์แวร์ที่ใช้ในการตรวจสอบและพิสูจน์ความถูกต้องของซอฟต์แวร์โดยใช้วิธีการวิเคราะห์โปรแกรมแบบคงที่ อย่างเข้มงวด...
อ่าน 1 นาทีลายตารางหมากรุก
Free software testing toolsCheckstyle เป็น เครื่องมือ วิเคราะห์โค้ดแบบคงที่ที่ใช้ในการพัฒนาซอฟต์แวร์เพื่อตรวจสอบว่าซอร์สโค้ดJava สอดคล้องกับกฎการเขียนโค้ด ที่กำหนดไว้หรือ ไม่
อ่าน 1 นาทีค็อกซิเนล (ซอฟต์แวร์)
Code refactoringCoccinelle ( ภาษาฝรั่งเศสแปลว่าแมลงเต่าทอง ) เป็น เครื่องมือ โอเพนซอร์สสำหรับจับคู่และแปลงโค้ดต้นฉบับ ของโปรแกรมที่ เขียน ด้วยภาษาโปรแกรมC
อ่าน 1 นาทีโครงการเบาเฮาส์ (ด้านคอมพิวเตอร์)
CS1 German-language sources (de)โครงการBauhausเป็นโครงการวิจัยซอฟต์แวร์ที่ร่วมมือกันระหว่างมหาวิทยาลัยสตุตการ์ตมหาวิทยาลัยเบรเมนและบริษัท Axivion...
อ่าน 1 นาทีไพลินท์
Computer programming tool stubsPylintเป็น เครื่องมือ วิเคราะห์โค้ดแบบคงที่สำหรับภาษาการเขียนโปรแกรม Pythonชื่อของมันมาจากธรรมเนียมทั่วไปใน Python ที่ใช้คำนำหน้า "py" และเป็นการอ้างอิงถึง โปรแกรม lint ของภาษา C..
อ่าน 1 นาทีตัวตรวจสอบโมเดล BLAST
Computer programming tool stubsเครื่องมือ ตรวจ สอบแบบจำลองซอฟต์แวร์ Berkeley Lazy Abstraction Software Verification Tool ( BLAST ) เป็น เครื่องมือตรวจสอบแบบจำลอง ซอฟต์แวร์ สำหรับโปรแกรมภาษา Cหน้าที่ของ BLAST
รายชื่อเครื่องมือสำหรับการวิเคราะห์โค้ดแบบคงที่
Lists of softwareนี่คือรายชื่อเครื่องมือที่โดดเด่นสำหรับการวิเคราะห์โปรแกรมแบบคงที่ (การวิเคราะห์โปรแกรมเป็นคำพ้องความหมายกับการวิเคราะห์โค้ด)
อ่าน 1 นาทีแอสเตร (การวิเคราะห์แบบสถิต)
Abstract interpretationAstrée (" A nalyseur s tatique de logiciels t emps- ré el e mbarqués" ) เป็นเครื่องมือวิเคราะห์แบบคงที่ที่ใช้การตีความแบบนามธรรมมันวิเคราะห์โปรแกรมที่เขียนด้วยภาษาโปรแกรมCและC++และ...
อ่าน 1 นาทีโพลีสเปซ
Abstract interpretationPolyspaceเป็นเครื่องมือวิเคราะห์โค้ดแบบคงที่สำหรับการวิเคราะห์ขนาดใหญ่โดยใช้การตีความแบบนามธรรมเพื่อตรวจจับหรือพิสูจน์การไม่มีอยู่ของข้อผิดพลาดขณะรันไทม์บางอย่างในซอร์สโค้ดสำหรับ..
อ่าน 1 นาที.NET Reflector
.NET programming tools.NET Reflector is a class browser, decompiler and static analyzer for software created with .NET Framework, originally written by Lutz Roeder.
อ่าน 1 นาทีเช็คมาร์กซ์
CS1 Hebrew-language sources (he)Checkmarxเป็น บริษัท ด้านความปลอดภัยของข้อมูลที่เชี่ยวชาญด้านการทดสอบความปลอดภัยของแอปพลิเคชันซอฟต์แวร์และการจัดการความเสี่ยงสำหรับ ห่วง...
อ่าน 1 นาทีซอฟต์แวร์ Fortify
2003 establishments in CaliforniaFortify Softwareซึ่งต่อมาเป็นที่รู้จักในชื่อFortify Inc.เป็น ผู้จำหน่ายซอฟต์แวร์รักษาความปลอดภัยที่ตั้งอยู่ใน แคลิฟอร์เนียก่อตั้งขึ้นในปี 2546...
อ่าน 1 นาทีเธรดเซฟ
Computer programming tool stubsThreadSafeเป็นเครื่องมือวิเคราะห์ซอร์สโค้ดที่ระบุความเสี่ยงของแอปพลิเคชันและช่องโหว่ด้านความปลอดภัยที่เกี่ยวข้องกับการทำงานพร้อมกันในโค้ด Java...
อ่าน 1 นาทีอิมแมจิกซ์ 4D
Code navigation toolsImagix 4Dเป็นเครื่องมือวิเคราะห์ซอร์สโค้ดจาก Imagix Corporation ซึ่งใช้เป็นหลักในการทำความเข้าใจจัดทำเอกสารและพัฒนาซอฟต์แวร์ C, C++ และ Java ที่มีอยู่
การตรวจสอบโค้ดอัตโนมัติ
Software reviewการตรวจสอบโค้ดอัตโนมัติหมายถึง การใช้เครื่องมือและเทคนิคซอฟต์แวร์เพื่อช่วยหรือทำให้กระบวนการตรวจสอบซอร์สโค้ด เป็นไปโดยอัตโนมัติอย่างสมบูรณ์ เพื่อหาข้อบกพร่อง ปัญหาด้านรูปแบบ...
อ่าน 1 นาทีชุดเครื่องมือปรับปรุงโครงสร้างซอฟต์แวร์ DMS
CS1 errors: missing periodicalชุดเครื่องมือปรับปรุงซอฟต์แวร์ DMSเป็นชุด เครื่องมือ แปลงโปรแกรม ที่เป็นกรรมสิทธิ์ ซึ่งมีให้ใช้งานสำหรับการวิเคราะห์โปรแกรมต้นฉบับแบบกำหนดเอง การแก้ไข การแปล
อ่าน 1 นาทีซอฟต์แวร์ Lint
Formerly proprietary softwareLintเป็นยูทิ ลิตี้ Unix ที่ทำการวิเคราะห์โปรแกรมแบบคงที่บนซอร์สโค้ดภาษา C ซอฟต์แวร์นี้เป็นที่มาของชื่อเครื่องมือคอมพิวเตอร์สมัยใหม่ที่รับผิดชอบในการตรวจสอบรูปแบบการเขียนโค้ดหรือข้อ...
อ่าน 1 นาทีเจเอชอินท์
JavaScript programming toolsJSHintเป็น เครื่องมือ วิเคราะห์โค้ดแบบคงที่ที่ใช้ในการพัฒนาซอฟต์แวร์เพื่อตรวจสอบว่าซอร์สโค้ดJavaScript เป็นไปตามกฎการเขียนโค้ด หรือ ไม่ JSHint ถูกสร้างขึ้นในปี 2011 โดย Anton...
อ่าน 1 นาทีโซนาร์คิวบ์
Free software testing toolsSonarQubeเป็น แพลตฟอร์ม วิเคราะห์โค้ดแบบคงที่แบบ โอเพน คอ ร์ ที่พัฒนาโดยSonar โดยจะสแกนซอร์สโค้ดเพื่อตรวจจับปัญหาต่างๆ เช่นบั๊กช่องโหว่ และ กลิ่นอาย...
อ่าน 1 นาทีเสียงดังกึกก้อง
2007 softwareClang ( / ˈ k l æ ŋ / ) เป็นส่วนหน้าของคอมไพเลอร์สำหรับภาษาโปรแกรมC , C++ , Objective-CและObjective-C++และเฟรมเวิร์กซอฟต์แวร์OpenMP , OpenCL , RenderScript , CUDA , SYCLและHIP...
อ่าน 1 นาทีSplint (เครื่องมือเขียนโปรแกรม)
Computer programming tool stubsSplintหรือชื่อเต็มว่าSecure Programming Lintเป็นเครื่องมือเขียนโปรแกรมสำหรับตรวจสอบ ช่อง โหว่ด้านความปลอดภัย และข้อผิดพลาดในการเขียนโค้ดใน ภาษาซีแบบคงที่ เดิมชื่อ LCLint...
อ่าน 1 นาทีอีเอสลินท์
JavaScript programming toolsESLintเป็น เครื่องมือ วิเคราะห์โค้ดแบบคงที่สำหรับระบุรูปแบบที่มีปัญหาที่พบใน โค้ด JavaScriptสร้างขึ้นโดย Nicholas C.