معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

دانلود نسخه باینری دانلود نسخه سورس

توضیحات

Bounded Model Checker for ANSI-C and C++ programs

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 38
مخزن	Fedora Everything x86_64
نام بسته	cbmc
نام فایل بسته	cbmc-5.50.0-4.fc38.x86_64.rpm
نسخه بسته	5.50.0
انتشار بسته	4.fc38
معماری بسته	x86_64
نگهدارنده	-
تاریخ ساخت	Thu 16 Feb 2023 11
هاست سازنده	buildvm-x86-20.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://www.cprover.org/cbmc
مجوز	BSD-4-Clause
حجم دانلود	16M
حجم نصب	58.145M

CBMC generates traces that demonstrate how an assertion can be violated, or proves that the assertion cannot be violated within a given number of loop iterations.

جایگزین ها

بسته	نسخه	معماری	مخزن
cbmc-5.50.0-4.fc38.aarch64.rpm	5.50.0	aarch64	Fedora Everything
cbmc-5.50.0-4.fc38.src.rpm	5.50.0	i686	Fedora Everything
cbmc-debuginfo-5.50.0-4.fc38.aarch64.rpm	5.50.0	aarch64	Fedora Everything
cbmc-debuginfo-5.50.0-4.fc38.x86_64.rpm	5.50.0	x86_64	Fedora Everything
cbmc-debugsource-5.50.0-4.fc38.aarch64.rpm	5.50.0	aarch64	Fedora Everything
cbmc-debugsource-5.50.0-4.fc38.x86_64.rpm	5.50.0	x86_64	Fedora Everything
cbmc-doc-5.50.0-4.fc38.aarch64.rpm	5.50.0	aarch64	Fedora Everything
cbmc-doc-5.50.0-4.fc38.x86_64.rpm	5.50.0	x86_64	Fedora Everything
cbmc-utils-5.50.0-4.fc38.aarch64.rpm	5.50.0	aarch64	Fedora Everything
cbmc-utils-5.50.0-4.fc38.x86_64.rpm	5.50.0	x86_64	Fedora Everything

نیازمندی

مقدار	نام
-	gcc-c++
-	libc.so.6()(64bit)
-	libc.so.6(GLIBC_2.11)(64bit)
-	libc.so.6(GLIBC_2.14)(64bit)
-	libc.so.6(GLIBC_2.2.5)(64bit)
-	libc.so.6(GLIBC_2.3)(64bit)
-	libc.so.6(GLIBC_2.3.4)(64bit)
-	libc.so.6(GLIBC_2.32)(64bit)
-	libc.so.6(GLIBC_2.33)(64bit)
-	libc.so.6(GLIBC_2.34)(64bit)
-	libc.so.6(GLIBC_2.4)(64bit)
-	libgcc_s.so.1()(64bit)
-	libgcc_s.so.1(GCC_3.0)(64bit)
-	libgcc_s.so.1(GCC_3.4)(64bit)
-	libm.so.6()(64bit)
-	libm.so.6(GLIBC_2.29)(64bit)
-	libminisat.so.2()(64bit)
-	libstdc++.so.6()(64bit)
-	libstdc++.so.6(CXXABI_1.3)(64bit)
-	libstdc++.so.6(CXXABI_1.3.2)(64bit)
-	libstdc++.so.6(CXXABI_1.3.5)(64bit)
-	libstdc++.so.6(GLIBCXX_3.4)(64bit)
-	libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
-	libstdc++.so.6(GLIBCXX_3.4.14)(64bit)
-	libstdc++.so.6(GLIBCXX_3.4.15)(64bit)
-	libstdc++.so.6(GLIBCXX_3.4.18)(64bit)
-	libstdc++.so.6(GLIBCXX_3.4.19)(64bit)
-	libstdc++.so.6(GLIBCXX_3.4.20)(64bit)
-	libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
-	libstdc++.so.6(GLIBCXX_3.4.26)(64bit)
-	libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
-	libstdc++.so.6(GLIBCXX_3.4.30)(64bit)
-	libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
-	rtld(GNU_HASH)
-	sed

ارائه دهنده

مقدار	نام
= 5.50.0-4.fc38	cbmc
= 5.50.0-4.fc38	cbmc(x86-64)

نحوه نصب

نصب پکیج rpm cbmc:

dnf install cbmc-5.50.0-4.fc38.x86_64.rpm

فایل ها

مسیرها
/usr/bin/cbmc
/usr/bin/crangler
/usr/bin/goto-analyzer
/usr/bin/goto-cc
/usr/bin/goto-diff
/usr/bin/goto-gcc
/usr/bin/goto-harness
/usr/bin/goto-instrument
/usr/bin/goto-ld
/usr/bin/ls_parse.py
/usr/bin/symtab2gb
/usr/lib/.build-id
/usr/lib/.build-id/1c
/usr/lib/.build-id/1c/3535484ab597e0dcb67f2005e1a2b533c8c058
/usr/lib/.build-id/2a
/usr/lib/.build-id/2a/0bbd4edb56cf949bf31cb44014954f4c0c2d13
/usr/lib/.build-id/2c
/usr/lib/.build-id/2c/90fa8888eea095df2378a0f7fae66ba29b2cf1
/usr/lib/.build-id/89
/usr/lib/.build-id/89/8e34c8e4cae3d358f47ddf119e9f71320907ef
/usr/lib/.build-id/8b
/usr/lib/.build-id/8b/85d9486c5140bf91e688bf01a97ec1a707d01f
/usr/lib/.build-id/8d
/usr/lib/.build-id/8d/88530ee28719f5b72ef3c44b229f94658fd35c
/usr/lib/.build-id/a2
/usr/lib/.build-id/a2/aeb959cffc5361f8512d7a2df4b63ea6b7d499
/usr/lib/.build-id/e6
/usr/lib/.build-id/e6/a79f20d3da1814f0c1aee09fb0f19320cfb748
/usr/share/doc/cbmc
/usr/share/doc/cbmc/README.md
/usr/share/licenses/cbmc
/usr/share/licenses/cbmc/LICENSE
/usr/share/man/man1/cbmc.1.gz
/usr/share/man/man1/goto-analyzer.1.gz
/usr/share/man/man1/goto-cc.1.gz
/usr/share/man/man1/goto-diff.1.gz
/usr/share/man/man1/goto-gcc.1.gz
/usr/share/man/man1/goto-harness.1.gz
/usr/share/man/man1/goto-instrument.1.gz

گزارش تغییرات

تاریخ آخرین تغییر	جزئیات
2023-01-29	Fix F38 FTBFS Use SPDX license format Modernize the spec a bit
2023-01-18	Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2022-07-20	Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-02-09	New upstream release of cbmc and also cbmc-utils Add "--add-cmd-line-arg" option for goto-instrument
2022-01-19	Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2021-09-15	New upstream release of cbmc and also cbmc-utils
2021-08-23	New upstream release fix broken indentation in a patch
2021-08-04	New upstream release Use plain doxygen to cut-down some build dependencies
2021-07-21	Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
2021-05-12	New upstream release
2021-03-10	Add Requires: clang
2021-03-10	Add csexec-cbmc.sh script New upstream release
2021-02-23	Add goto-clang for a hybrid binary translation New upstream release