معرفی شرکت ها

frama-c-base_20201209+titanium-4.1_ppc64el.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
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bullseye-11
مخزن Debian main ppc64el
نام بسته frama-c-base
نام فایل بسته frama-c-base_20201209+titanium-4.1_ppc64el.deb
نسخه بسته 20201209+titanium
انتشار بسته 4.1
معماری بسته ppc64el
نگهدارنده Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://frama-c.com
مجوز -
حجم دانلود 62746532
حجم نصب 299417
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, the command-line tools, and the graphical interface.


جایگزین ها

بسته نسخه معماری مخزن
frama-c-base_20201209+titanium-4.1_amd64.deb 20201209+titanium amd64 Debian main
frama-c-base_20201209+titanium-4.1_arm64.deb 20201209+titanium arm64 Debian main
frama-c-base_20201209+titanium-4.1_armel.deb 20201209+titanium armel Debian main
frama-c-base_20201209+titanium-4.1_armhf.deb 20201209+titanium armhf Debian main
frama-c-base_20201209+titanium-4.1_i386.deb 20201209+titanium i386 Debian main
frama-c-base_20201209+titanium-4.1_mips64el.deb 20201209+titanium mips64el Debian main
frama-c-base_20201209+titanium-4.1_mipsel.deb 20201209+titanium mipsel Debian main
frama-c-base_20201209+titanium-4.1_s390x.deb 20201209+titanium s390x Debian main


نیازمندی

مقدار نام
>= 2.29 libc6
>= 1.12.0 libcairo2
>= 2.12.6 libfontconfig1
>= 2.2.1 libfreetype6
>= 2.22.0 libgdk-pixbuf-2.0-0
>= 2.35.9 libglib2.0-0
>= 2:5.1.1 libgmp10
>= 3.9.10 libgtk-3-0
>= 2.91.4 libgtksourceview-3.0-1
>= 1.22.0 libpango-1.0-0
>= 1.22.0 libpangocairo-1.0-0
- libbiniou-ocaml-dsqd1
- libcairo2-ocaml-vwag2
- libeasy-format-ocaml-1ajv1
- libfindlib-ocaml-171z0
- liblablgtk3-ocaml-x0f80
- liblablgtksourceview3-ocaml-5j5o8
- libyojson-ocaml-mkm52
- libzarith-ocaml-0a3f1
- ocaml-base-nox-4.11.1
- perl:any
- libocamlgraph-ocaml-dev
- gcc
- python3


نحوه نصب


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

    sudo apt-get install frama-c-base_20201209+titanium-4.1_ppc64el.deb