awesome-repositories.com
ब्लॉग
awesome-repositories.com

AI-संचालित खोज के साथ बेहतरीन ओपन-सोर्स रिपॉजिटरी खोजें।

एक्सप्लोर करेंक्यूरेटेड खोजेंओपन-सोर्स विकल्पसेल्फ-होस्टेड सॉफ्टवेयरब्लॉगसाइटमैप
प्रोजेक्टहमारे बारे मेंहम रैंकिंग कैसे करते हैंप्रेसMCP सर्वर
कानूनीगोपनीयताशर्तें
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·

4 रिपॉजिटरी

Awesome GitHub RepositoriesProgram Analysis

Advanced tools for binary analysis and symbolic execution.

Explore 4 awesome GitHub repositories matching part of an awesome list · Program Analysis. Refine with filters or upvote what's useful.

Awesome Program Analysis GitHub Repositories

AI के साथ बेहतरीन रिपॉजिटरी खोजें।हम AI का उपयोग करके सबसे सटीक रिपॉजिटरी खोजेंगे।
  • binaryanalysisplatform/bapBinaryAnalysisPlatform का अवतार

    BinaryAnalysisPlatform/bap

    2,239GitHub पर देखें↗

    Binary Analysis Platform

    Platform for reverse engineering and binary program analysis.

    OCaml
    GitHub पर देखें↗2,239
  • airbus-seclab/bincatairbus-seclab का अवतार

    airbus-seclab/bincat

    1,858GitHub पर देखें↗

    IDA एकीकरण के साथ बाइनरी कोड स्टेटिक एनालाइज़र। वैल्यू और टेंट विश्लेषण, टाइप पुनर्निर्माण, यूज़-आफ्टर-फ्री और डबल-फ्री डिटेक्शन करता है

    Toolkit for static analysis of binary code.

    OCaml
    GitHub पर देखें↗1,858
  • ocamlpro/owiOCamlPro का अवतार

    OCamlPro/owi

    307GitHub पर देखें↗

    Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig

    Toolchain for symbolic execution of WebAssembly.

    OCaml
    GitHub पर देखें↗307
  • formalsec/smtmlformalsec का अवतार

    formalsec/smtml

    79GitHub पर देखें↗

    An SMT solver frontend for OCaml

    Frontend library for interfacing with multiple SMT solvers.

    OCaml
    GitHub पर देखें↗79
  1. Home
  2. Part of an Awesome List
  3. Developer Tools
  4. Program Analysis