معرفی شرکت ها

frama-c-base_20220511-manganese-3+b3_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
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main mipsel
نام بسته frama-c-base
نام فایل بسته frama-c-base_20220511-manganese-3+b3_mipsel.deb
نسخه بسته 20220511
انتشار بسته manganese
معماری بسته mipsel
نگهدارنده Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://frama-c.com
مجوز -
حجم دانلود 40503324
حجم نصب 184942
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_20220511-manganese-3+b3_armel.deb 20220511 armel Debian main
frama-c-base_20220511-manganese-3+b3_mips64el.deb 20220511 mips64el Debian main
frama-c-base_20220511-manganese-3+b4_amd64.deb 20220511 amd64 Debian main
frama-c-base_20220511-manganese-3+b4_arm64.deb 20220511 arm64 Debian main
frama-c-base_20220511-manganese-3+b4_armhf.deb 20220511 armhf Debian main
frama-c-base_20220511-manganese-3+b4_i386.deb 20220511 i386 Debian main
frama-c-base_20220511-manganese-3+b4_ppc64el.deb 20220511 ppc64el Debian main
frama-c-base_20220511-manganese-3+b4_s390x.deb 20220511 s390x Debian main


نیازمندی

مقدار نام
>= 2.35 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:6.2.1+dfsg1 libgmp10
>= 3.11.5 libgtk-3-0
>= 2.91.4 libgtksourceview-3.0-1
>= 1.22.0 libpango-1.0-0
>= 1.22.0 libpangocairo-1.0-0
- libcairo2-ocaml-53l06
- libfindlib-ocaml-bpur9
- liblablgtk3-ocaml-fnx33
- liblablgtksourceview3-ocaml-50999
- libppx-deriving-ocaml-u9qh9
- libresult-ocaml-th9l2
- libyojson-ocaml-nigu1
- libzarith-ocaml-zxyl8
- ocaml-base-4.13.1
- perl:any
- libwhy3-ocaml-dev-h2xc5
- libocamlgraph-ocaml-dev
- libppx-import-ocaml
- gcc
- python3


نحوه نصب


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

    sudo apt-get install frama-c-base_20220511-manganese-3+b3_mipsel.deb