Static program analysis tools
เครื่องมือวิเคราะห์โปรแกรมแบบคงที่ - หน้า 2
เอแคลร์
Software testing toolsECLAIRเป็น เครื่องมือ วิเคราะห์โค้ดแบบคงที่ เชิงพาณิชย์ ที่พัฒนาโดยBUGSENGสำหรับการวิเคราะห์ ตรวจสอบ ทดสอบ และแปลงโปรแกรมภาษาCและC++ โดยอัตโนมัติ
อ่าน 1 นาทีเข้าใจ (ซอฟต์แวร์)
CS1 errors: missing periodicalUnderstandคือสภาพแวดล้อมการพัฒนาแบบบูรณาการ (IDE) ที่ปรับแต่งได้ ซึ่งช่วยให้สามารถวิเคราะห์โค้ดแบบคงที่ผ่านเครื่องมือภาพ เอกสาร...
อ่าน 1 นาทีเฮอร์เมส (ภาษาโปรแกรม)
Distributed computingHermes เป็นภาษาสำหรับการเขียนโปรแกรมแบบกระจาย ซึ่งได้รับการพัฒนาที่ศูนย์วิจัย Thomas J.
อ่าน 1 นาทีคลอคเวิร์ค
2014 mergers and acquisitionsKlocworkเป็น เครื่องมือ วิเคราะห์โค้ดแบบคงที่ซึ่งเป็นกรรมสิทธิ์ของPerforce บริษัทพัฒนาซอฟต์แวร์ในเมืองมินนิอาโปลิส รัฐมินนิโซตา ซอฟต์แวร์ Klocwork วิเคราะห์ซอร์สโค้ดแบบเรียลไทม์
ซีพีเอเช็คเกอร์
Abstract interpretationCPAcheckerเป็นเฟรมเวิร์กและเครื่องมือสำหรับ การตรวจ สอบซอฟต์แวร์อย่างเป็นทางการและการวิเคราะห์โปรแกรมของโปรแกรม Cแนวคิดและหลักการบางอย่าง เช่น การนามธรรมแบบขี้เกียจ...
อ่าน 1 นาทีพีเอ็มดี (ซอฟต์แวร์)
Free software testing toolsPMD เป็น เครื่องมือวิเคราะห์โค้ด แบบคงที่โอเพนซอร์สที่รายงานปัญหาที่พบในโค้ดแอปพลิเคชัน PMD มีชุดกฎในตัวและรองรับความสามารถในการเขียนกฎที่กำหนดเอง PMD...
อ่าน 1 นาทีหัวไชเท้า (ระบบ)
Computer programming tool stubsDaikonเป็นโปรแกรมคอมพิวเตอร์ที่ตรวจจับค่าคงที่ที่เป็นไปได้ของโปรแกรมค่าคงที่คือเงื่อนไขที่เป็นจริงเสมอ ณ จุดใดจุดหนึ่งในโปรแกรม...
อ่าน 1 นาทีเจเทสต์
Abstract interpretationJtestเป็น ผลิตภัณฑ์ ทดสอบซอฟต์แวร์Java อัตโนมัติ และการวิเคราะห์แบบคงที่ที่พัฒนาโดยParasoftผลิตภัณฑ์นี้ประกอบด้วยเทคโนโลยีสำหรับการวิเคราะห์การไหลของข้อมูล
ซอร์สเทรล
Computer programming tool stubsSourcetrailเป็น โปรแกรมสำรวจ ซอร์สโค้ดแบบโอเพนซอร์ส ที่ให้กราฟความสัมพันธ์แบบโต้ตอบและรองรับภาษาการเขียนโปรแกรมหลายภาษา รวมถึงC , C ++ , JavaและPython
อ่าน 1 นาทีการคุ้มครอง
2014 mergers and acquisitionsCoverityเป็น เครื่องมือ วิเคราะห์โค้ดแบบคงที่ที่เป็นกรรมสิทธิ์ ของ Black Duck, Inc. ผลิตภัณฑ์นี้ช่วยให้วิศวกรและทีมรักษาความปลอดภัยสามารถค้นหาและแก้ไขข้อบกพร่องของซอฟต์แวร์ได้
อ่าน 1 นาทีเบาบาง
Free software testing toolsSparseเป็นเครื่องมือซอฟต์แวร์คอมพิวเตอร์ที่ออกแบบมาเพื่อค้นหาข้อผิดพลาดในการเขียนโค้ดที่อาจเกิดขึ้นในเคอร์เนลLinux แตกต่างจากเครื่องมือประเภทเดียวกันอื่นๆ เครื่องมือ