معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

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

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

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.x86_64.rpm	5.50.0	x86_64	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

نیازمندی

مقدار	نام
-	bison
-	cmake
-	doxygen
-	flex
-	gcc-c++
-	gdb
-	glpk-devel
-	jq
-	minisat2-devel
-	ninja-build
-	perl
-	python3
-	z3
-	zlib-devel

ارائه دهنده

مقدار	نام
= 5.50.0-4.fc38	cbmc
= 5.50.0-4.fc38	cbmc-doc
= 5.50.0-4.fc38	cbmc-utils
= 5.50.0-4.fc38	cbmc-debuginfo
= 5.50.0-4.fc38	cbmc-debugsource

نحوه نصب

نصب پکیج rpm cbmc:

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

فایل ها

مسیرها
cbmc-5.12-fix-f33.patch
cbmc-5.50.0.tar.gz
cbmc-5.9-glpk.patch
cbmc-add-cmd-line-arg.patch
cbmc-disable-werror.patch
cbmc-f34-fix-build.patch
cbmc-f35-deprecated-python.patch
cbmc-f35-enable_sse2.patch
cbmc-f36-fix-build-gcc12-incompatibility.patch
cbmc-f38-gcc13.patch
cbmc-minisat.patch
cbmc-utils-1.3.tar.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