معرفی شرکت ها

frama-c-base_20171101+sulfur+dfsg-2_mipsel.deb

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Platform dedicated to the analysis of source code written in C (without gui)
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Buster-10
مخزن Debian main mipsel
نام بسته frama-c-base
نام فایل بسته frama-c-base_20171101+sulfur+dfsg-2_mipsel.deb
نسخه بسته 20171101+sulfur+dfsg
انتشار بسته 2
معماری بسته mipsel
نگهدارنده Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://frama-c.com/
مجوز -
حجم دانلود 13952352
حجم نصب 61530
Frama-C gathers several analysis techniques in a single collaborative framework, based on analyzers (called "plug-ins") that can build upon the results computed by other analyzers in the framework. . Thanks to this approach, Frama-C provides sophisticated tools, including: * an analyzer based on abstract interpretation (Value plug-in); * a program proof framework based on weakest precondition calculus (WP plug-in); * a program slicer (Slicing plug-in); * a tool for verification of temporal (LTL) properties (Aoraï plug-in); * several tools for code base exploration and dependency analysis (plug-ins From, Impact, Metrics, Occurrence, Scope, etc.). . These plug-ins communicate between each other via the Frama-C API and via ACSL (ANSI/ISO C Specification Language) properties. . This package provides the library of Frama-c which is useful to build plugins for Frama-c and the command-line tools.


جایگزین ها

بسته نسخه معماری مخزن
frama-c-base_20171101+sulfur+dfsg-2_amd64.deb 20171101+sulfur+dfsg amd64 Debian main
frama-c-base_20171101+sulfur+dfsg-2_arm64.deb 20171101+sulfur+dfsg arm64 Debian main
frama-c-base_20171101+sulfur+dfsg-2_armel.deb 20171101+sulfur+dfsg armel Debian main
frama-c-base_20171101+sulfur+dfsg-2_armhf.deb 20171101+sulfur+dfsg armhf Debian main
frama-c-base_20171101+sulfur+dfsg-2_i386.deb 20171101+sulfur+dfsg i386 Debian main
frama-c-base_20171101+sulfur+dfsg-2_mips.deb 20171101+sulfur+dfsg mips Debian main
frama-c-base_20171101+sulfur+dfsg-2_mips64el.deb 20171101+sulfur+dfsg mips64el Debian main
frama-c-base_20171101+sulfur+dfsg-2_ppc64el.deb 20171101+sulfur+dfsg ppc64el Debian main
frama-c-base_20171101+sulfur+dfsg-2_s390x.deb 20171101+sulfur+dfsg s390x Debian main


نیازمندی

مقدار نام
>= 2.27 libc6
- libgmp10
>= 6 libncurses6
>= 6 libtinfo6
- libfindlib-ocaml-yde61
- libzarith-ocaml-1iew2
- ocaml-base-nox-4.05.0
- libocamlgraph-ocaml-dev
- gcc


نحوه نصب


نصب پکیج deb frama-c-base:

    sudo apt-get install frama-c-base_20171101+sulfur+dfsg-2_mipsel.deb