ส่งซอฟต์แวร์
  1. บ้าน
  2. Linux
  3. อื่นๆ
  4. C-logic
  5. Download

C-logic

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: N/A
‎คะแนนจากผู้ใช้: 5.0/5 - ‎1 ‎โหวต

เกี่ยวกับ C-logic

นี่คือสแกนเนอร์ซอร์สโค้ด C ตามตรรกะเชิงสัญลักษณ์ มันวิเคราะห์ซอร์สโค้ด C (โดยเฉพาะเคอร์เนล Linux ซึ่งมีวัตถุประสงค์) สําหรับข้อผิดพลาดและช่องโหว่ในการเขียนโปรแกรม การทดสอบถูกกําหนดโดยผู้ใช้

หลักสูตรที่เกี่ยวข้อง

  • LoyalDog Mobile ฟรี

    PUPPY FINAL - นี่คือแอพมือถือสําหรับเฟิร์มแวร์ 2.2 ขึ้นไป แอพนี้มีรากฐานสําหรับการใช้เซิร์ฟเวอร์ของบุคคลที่สาม มันสําหรับเซิร์ฟเวอร์กระบวนการและพนักงานของพวกเขาที่จะทําสัญญากับบุคคลที่สาม มันเคยถูกเรียกว่า PUPPY FINAL (นั่นไม

  • SayIt - Voice Launcher ทดลองใช้ฟรี

    SayIt เปิดตัวแอพด้วยเสียง! ใช้ SayIt พร้อมกับวิดเจ็ตเพื่อเปิดใช้งานแอพทั้งหมดของคุณอย่างรวดเร็วและง่ายดาย SayIt ไม่ใช่ระบบคําสั่งเสียงวัตถุประสงค์ทั่วไปหรือผู้ช่วยส่วนตัว มันถูกออกแบบมาเพื่อทําสิ่งหนึ่งและทํามันได้ดีมาก เพียง

  • MobileFractal ฟรี

    แอปพลิเคชั่นที่เรียบง่ายวาด Fractal Mandelbrot สําหรับ Windows มือถือโดยใช้ .net กรอบขนาดกะทัดรัด 3.5

  • Lock screen helper ทดลองใช้ฟรี

    คุณต้องการล็อกหน้าจอของคุณด้วยการแตะเพียงสัมผัสเดียวบนหน้าจอหรือไม่ คุณต้องการดูภาพเคลื่อนไหวที่ยอดเยี่ยมในระหว่างหน้าจอเมื่อล็อกหรือไม่ ยังคงกังวลเกี่ยวกับปุ่มเปิดปิดไม่ทํางานสักวันหนึ่ง? ถ้าเป็นเช่นนั้นโปรดเลือกแอปพลิเคชั

  • xplorDB ฟรี

    แม่แบบฐานข้อมูลการสํารวจสําหรับ Postgres/PostGIS โครงการประกอบด้วยสคริปต์การนําเข้า perl; เจาะ, พื้นผิวและqa/qcข้อมูลและอื่นๆของ pgAdmin และ Quantum GIS เป็นฐานข้อมูลที่แนะนําและโปรแกรมส่วนหน้าของ GIS

  • Open-Sharedroot Cluster ฟรี

    โครงการ open-sharedroot เป็นโซลูชันคลัสเตอร์ที่นําเสนอสภาพแวดล้อม SSI ที่พร้อมใช้งานสูงสําหรับ Linux เป้าหมายของโครงการนี้คือการให้กรอบการทํางานและเครื่องมือในการสร้างคลัสเตอร์ sharedroot ระบบไฟล์ที่รองรับคือ GFS, OCFS2 และ N

  • Mirror C++ reflection library ฟรี

    ไลบรารีมิเรอร์มีทั้งข้อมูลเมตาแบบคอมไพล์ไทม์และรันไทม์ที่อธิบายถึงโครงสร้าง C++ ทั่วไปเช่น namespaces ประเภทคลาสคลาสพื้นฐานและตัวแปรสมาชิกตัวสร้าง ฯลฯ และให้อินเทอร์เฟซทั่วไปสําหรับการวิปัสสนา

  • Structured Text Toolkit ฟรี

    ทางเลือกแบบย่อสําหรับ XML ชุดเครื่องมือซอฟต์แวร์ที่เขียนใน Java สําหรับการจัดการกับข้อความที่มีโครงสร้างโดยการเยื้องแทนที่จะเป็นแท็ก เครื่องมือประกอบด้วยตัวแยกวิเคราะห์การแสดงวัตถุผู้ประเมิน XPath ตัวตรวจสอบ Schema และอื่น ๆ

  • Theba image segmentation framework ฟรี

    Theba เป็นกรอบการวิเคราะห์ภาพแบบปลั๊กอินสําหรับการแบ่งส่วนและการวัดบนภาพ 3 มิติและ 2D Theba มี GUI ที่ดีที่ช่วยให้การตรวจสอบและการจัดการของภาพและปลั๊กอินที่หลากหลายรวมถึงการแบ่งส่วน

  • Hidden Spy Cam Video Recorder ทดลองใช้ฟรี

    ด้วยแอพนี้คุณสามารถเปลี่ยนโทรศัพท์ของคุณเป็นกล้องสอดแนม Full HD มืออาชีพจริง!SpyClock Video Recorder Free เป็น WIDGET นาฬิกาที่ไม่สงสัยซึ่งด้วยแรงดันที่เรียบง่ายสามารถบันทึกวิดีโออย่างเงียบ ๆ ด้วยอุปกรณ์ Android ของคุณ