awesome-repositories.com
Blog
awesome-repositories.com

Découvrez les meilleurs dépôts open-source grâce à notre recherche par IA.

ExplorerRecherches sélectionnéesAlternatives open sourceLogiciels auto-hébergésBlogPlan du site
ProjetÀ proposNotre méthodologiePresseServeur MCP
Mentions légalesConfidentialitéConditions d'utilisation
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·
formalsec avatar

formalsec/smtml

0
View on GitHub↗
79 stars·17 forks·OCaml·MIT·4 vuesformalsec.github.io/smtml/smtml↗

Smtml

An SMT solver frontend for OCaml

Features

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

Historique des stars

Graphique de l'historique des stars pour formalsec/smtmlGraphique de l'historique des stars pour formalsec/smtml

Recherche par IA

Explorez plus de dépôts awesome

Décrivez vos besoins en langage naturel — l'IA classe des milliers de projets open source sélectionnés par pertinence.

Start searching with AI

Alternatives open source à Smtml

Projets open source similaires, classés selon le nombre de fonctionnalités partagées avec Smtml.
  • airbus-seclab/bincatAvatar de airbus-seclab

    airbus-seclab/bincat

    1,858Voir sur GitHub↗

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

    OCaml
    Voir sur GitHub↗1,858
  • binaryanalysisplatform/bapAvatar de BinaryAnalysisPlatform

    BinaryAnalysisPlatform/bap

    2,239Voir sur GitHub↗

    Binary Analysis Platform

    OCaml
    Voir sur GitHub↗2,239
  • ocamlpro/owiAvatar de OCamlPro

    OCamlPro/owi

    307Voir sur GitHub↗

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

    OCaml
    Voir sur GitHub↗307

Questions fréquentes

Que fait formalsec/smtml ?

An SMT solver frontend for OCaml

Quelles sont les fonctionnalités principales de formalsec/smtml ?

Les fonctionnalités principales de formalsec/smtml sont : Program Analysis.

Quelles sont les alternatives open-source à formalsec/smtml ?

Les alternatives open-source à formalsec/smtml incluent : 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.