معرفی شرکت ها
frama-c_20170501+phosphorus+dfsg-2build1_amd64.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Platform dedicated to the analysis of source code written in C
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Ubuntu Bionic-18.04 |
| مخزن | Ubuntu universe amd64 |
| نام بسته | frama-c |
| نام فایل بسته | frama-c_20170501+phosphorus+dfsg-2build1_amd64.deb |
| نسخه بسته | 20170501+phosphorus+dfsg |
| انتشار بسته | 2build1 |
| معماری بسته | amd64 |
| نگهدارنده | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | http://frama-c.com/ |
| مجوز | - |
| حجم دانلود | 11903464 |
| حجم نصب | 53434 |
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 graphical user interface of Frama-c and depends
on frama-c-base.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| frama-c-base_20170501+phosphorus+dfsg-2build1_amd64.deb | 20170501+phosphorus+dfsg | amd64 | Ubuntu universe |
| frama-c-base_20170501+phosphorus+dfsg-2build1_i386.deb | 20170501+phosphorus+dfsg | i386 | Ubuntu universe |
| frama-c_20170501+phosphorus+dfsg-2build1_i386.deb | 20170501+phosphorus+dfsg | i386 | Ubuntu universe |
نیازمندی
| مقدار | نام |
|---|---|
| >= 2.17 | libc6 |
| >= 2.22.0 | libgdk-pixbuf2.0-0 |
| >= 2.35.9 | libglib2.0-0 |
| - | libgmp10 |
| >= 2.11.1 | libgnomecanvas2-0 |
| >= 2.24.31 | libgtk2.0-0 |
| >= 2.10.0 | libgtksourceview2.0-0 |
| >= 1.14.0 | libpango-1.0-0 |
| - | liblablgtk2-gnome-ocaml-dlf93 |
| - | liblablgtk2-ocaml-il3k6 |
| - | liblablgtksourceview2-ocaml-rynx6 |
| - | ocaml-base-nox-4.05.0 |
| = 20170501+phosphorus+dfsg-2build1 | frama-c-base |
| - | graphviz |
| - | emacs | emacsen |
نحوه نصب
نصب پکیج deb frama-c:
sudo apt-get install frama-c_20170501+phosphorus+dfsg-2build1_amd64.deb
فایل ها
| مسیرها |
|---|
| ./usr/bin/frama-c-gui |
| ./usr/lib/frama-c/analyses_manager.cmi |
| ./usr/lib/frama-c/analyses_manager.cmo |
| ./usr/lib/frama-c/analyses_manager.cmx |
| ./usr/lib/frama-c/analyses_manager.o |
| ./usr/lib/frama-c/book_manager.cmi |
| ./usr/lib/frama-c/book_manager.cmo |
| ./usr/lib/frama-c/book_manager.cmx |
| ./usr/lib/frama-c/book_manager.o |
| ./usr/lib/frama-c/debug_manager.cmi |
| ./usr/lib/frama-c/debug_manager.cmo |
| ./usr/lib/frama-c/debug_manager.cmx |
| ./usr/lib/frama-c/debug_manager.o |
| ./usr/lib/frama-c/design.cmi |
| ./usr/lib/frama-c/design.cmo |
| ./usr/lib/frama-c/design.cmx |
| ./usr/lib/frama-c/design.o |
| ./usr/lib/frama-c/file_manager.cmi |
| ./usr/lib/frama-c/file_manager.cmo |
| ./usr/lib/frama-c/file_manager.cmx |
| ./usr/lib/frama-c/file_manager.o |
| ./usr/lib/frama-c/filetree.cmi |
| ./usr/lib/frama-c/filetree.cmo |
| ./usr/lib/frama-c/filetree.cmx |
| ./usr/lib/frama-c/filetree.o |
| ./usr/lib/frama-c/gtk_form.cmi |
| ./usr/lib/frama-c/gtk_form.cmo |
| ./usr/lib/frama-c/gtk_form.cmx |
| ./usr/lib/frama-c/gtk_form.o |
| ./usr/lib/frama-c/gtk_helper.cmi |
| ./usr/lib/frama-c/gtk_helper.cmo |
| ./usr/lib/frama-c/gtk_helper.cmx |
| ./usr/lib/frama-c/gtk_helper.o |
| ./usr/lib/frama-c/gui_parameters.cmi |
| ./usr/lib/frama-c/gui_parameters.cmo |
| ./usr/lib/frama-c/gui_parameters.cmx |
| ./usr/lib/frama-c/gui_parameters.o |
| ./usr/lib/frama-c/gui_printers.cmi |
| ./usr/lib/frama-c/gui_printers.cmo |
| ./usr/lib/frama-c/gui_printers.cmx |
| ./usr/lib/frama-c/gui_printers.o |
| ./usr/lib/frama-c/help_manager.cmi |
| ./usr/lib/frama-c/help_manager.cmo |
| ./usr/lib/frama-c/help_manager.cmx |
| ./usr/lib/frama-c/help_manager.o |
| ./usr/lib/frama-c/history.cmi |
| ./usr/lib/frama-c/history.cmo |
| ./usr/lib/frama-c/history.cmx |
| ./usr/lib/frama-c/history.o |
| ./usr/lib/frama-c/launcher.cmi |
| ... and 103 more |