معرفی شرکت ها

frama-c-base_20170501+phosphorus+dfsg-2build1_amd64.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
توزیع Ubuntu Bionic-18.04
مخزن Ubuntu universe amd64
نام بسته frama-c-base
نام فایل بسته frama-c-base_20170501+phosphorus+dfsg-2build1_amd64.deb
نسخه بسته 20170501+phosphorus+dfsg
انتشار بسته 2build1
معماری بسته amd64
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://frama-c.com/
مجوز -
حجم دانلود 21999852
حجم نصب 106222
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_20170501+phosphorus+dfsg-2build1_i386.deb 20170501+phosphorus+dfsg i386 Ubuntu universe


نیازمندی

مقدار نام
>= 2.17 libc6
- libgmp10
>= 6 libtinfo5
- libfindlib-ocaml-ima03
- libzarith-ocaml-gqf85
- ocaml-base-nox-4.05.0
- libocamlgraph-ocaml-dev
- gcc


نحوه نصب


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

    sudo apt-get install frama-c-base_20170501+phosphorus+dfsg-2build1_amd64.deb