Projects / Frama-C / Dependencies

Dependencies

OCaml

Minimum version:

    Screenshot

    Project Spotlight

    Capstone

    A lightweight multi-arch, multi-platform disassembly framework.

    Screenshot

    Project Spotlight

    Flora

    An innovative NoSQL database.