awesome-repositories.com
المدونة
awesome-repositories.com

اكتشف أفضل مستودعات المصادر المفتوحة باستخدام بحث مدعوم بالذكاء الاصطناعي.

استكشفعمليات بحث منسقةبدائل مفتوحة المصدربرمجيات ذاتية الاستضافةالمدونةخريطة الموقع
المشروعحولكيفية ترتيب النتائجالصحافةخادم MCP
قانونيالخصوصيةالشروط
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·
formalsec avatar

formalsec/smtml

0
View on GitHub↗
79 نجوم·17 تفرعات·OCaml·MIT·4 مشاهداتformalsec.github.io/smtml/smtml↗

Smtml

An SMT solver frontend for OCaml

Features

  • Program Analysis - Frontend library for interfacing with multiple SMT solvers.

سجل النجوم

مخطط تاريخ النجوم لـ formalsec/smtmlمخطط تاريخ النجوم لـ formalsec/smtml

بحث بالذكاء الاصطناعي

استكشف المزيد من المستودعات الرائعة

صف ما تحتاجه بلغة بسيطة — وسيقوم الذكاء الاصطناعي بترتيب آلاف المشاريع مفتوحة المصدر المنسقة حسب الصلة.

Start searching with AI

بدائل مفتوحة المصدر لـ Smtml

مشاريع مفتوحة المصدر مشابهة، مرتبة حسب عدد الميزات المشتركة مع Smtml.
  • airbus-seclab/bincatالصورة الرمزية لـ airbus-seclab

    airbus-seclab/bincat

    1,858عرض على GitHub↗

    Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

    OCaml
    عرض على GitHub↗1,858
  • binaryanalysisplatform/bapالصورة الرمزية لـ BinaryAnalysisPlatform

    BinaryAnalysisPlatform/bap

    2,239عرض على GitHub↗

    Binary Analysis Platform

    OCaml
    عرض على GitHub↗2,239
  • ocamlpro/owiالصورة الرمزية لـ OCamlPro

    OCamlPro/owi

    307عرض على GitHub↗

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

    OCaml
    عرض على GitHub↗307

الأسئلة الشائعة

ما هي وظيفة formalsec/smtml؟

An SMT solver frontend for OCaml

ما هي الميزات الرئيسية لـ formalsec/smtml؟

الميزات الرئيسية لـ formalsec/smtml هي: Program Analysis.

ما هي البدائل مفتوحة المصدر لـ formalsec/smtml؟

تشمل البدائل مفتوحة المصدر لـ formalsec/smtml: airbus-seclab/bincat — Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction,… binaryanalysisplatform/bap — Binary Analysis Platform. ocamlpro/owi — Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig.