| /dports/devel/aws-sdk-cpp/aws-sdk-cpp-1.9.129/ |
| H A D | prefetch_crt_dependency.sh | 65 rm -rf crt/aws-crt-cpp/crt/s2n/tests/cbmc/aws-verification-model-for-libcrypto
67 unzip crt/aws-crt-cpp/crt/s2n/tests/cbmc/s2ntemplatesmodel.zip -d crt/aws-crt-cpp/crt/s2n/tests/cbmc
68 mv crt/aws-crt-cpp/crt/s2n/tests/cbmc/s2ntemplatesmodel-* crt/aws-crt-cpp/crt/s2n/tests/cbmc/aws-ve…
70 rm -rf crt/aws-crt-cpp/crt/s2n/tests/cbmc/templates
71 curl ${S2N_TEMPLATES_URI} --output crt/aws-crt-cpp/crt/s2n/tests/cbmc/s2ntemplates.zip
72 unzip crt/aws-crt-cpp/crt/s2n/tests/cbmc/s2ntemplates.zip -d crt/aws-crt-cpp/crt/s2n/tests/cbmc
73 mv crt/aws-crt-cpp/crt/s2n/tests/cbmc/s2ntemplates-* crt/aws-crt-cpp/crt/s2n/tests/cbmc/templates
80 rm -rf crt/aws-crt-cpp/crt/aws-c-common/verification/cbmc/litani
83 mv crt/tmp/aws-build-accumulator-* crt/aws-crt-cpp/crt/aws-c-common/verification/cbmc/litani
85 rm -rf crt/aws-crt-cpp/crt/aws-c-common/verification/cbmc/templates
[all …]
|
| /dports/security/s2n/s2n-tls-1.1.2/tests/cbmc/proofs/ |
| H A D | Makefile.cbmc_batch | 18 BATCH ?= cbmc-batch
36 BATCHPKG ?= cbmc-batch.tar.gz
37 BUCKET ?= cbmc
38 CBMCPKG ?= cbmc.tar.gz
46 VIEWERPKG ?= cbmc-viewer.tar.gz
67 cbmc-batch.yaml:
73 empty-cbmc-batch.yaml:
79 ci-yaml: cbmc-batch.yaml Makefile
|
| /dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/ |
| H A D | README.md | 10 └───.cbmc-batch
16 │ │ | cbmc-batch.yaml
19 │ │ | cbmc-batch.yaml
22 …cbmc-batch`, which itself contains a directory `jobs`. Each directory in `.cbmc-batch/jobs` should…
30 bash cbmc-batch.sh --start
34 bash cbmc-batch.sh --end
40 bash cbmc-batch.sh --cleanup
|
| H A D | .gitignore | 22 cbmc-batch.yaml
|
| /dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/ |
| H A D | Makefile.cbmc_batch | 8 BATCH ?= cbmc-batch
26 BATCHPKG ?= cbmc-batch.tar.gz
27 BUCKET ?= cbmc
28 CBMCPKG ?= cbmc.tar.gz
36 VIEWERPKG ?= cbmc-viewer.tar.gz
57 cbmc-batch.yaml: $(ENTRY).goto Makefile
63 ci-yaml: cbmc-batch.yaml
|
| /dports/security/s2n/s2n-tls-1.1.2/ |
| H A D | .gitmodules | 1 [submodule "cbmc-templates"]
2 path = tests/cbmc/templates
3 url = https://github.com/awslabs/aws-templates-for-cbmc-proofs
4 [submodule "tests/cbmc/aws-verification-model-for-libcrypto"]
5 path = tests/cbmc/aws-verification-model-for-libcrypto
|
| /dports/devel/aws-c-common/aws-c-common-0.6.15/ |
| H A D | .gitmodules | 1 [submodule "cbmc-templates"]
2 path = verification/cbmc/templates
3 url = https://github.com/awslabs/aws-templates-for-cbmc-proofs.git
5 path = verification/cbmc/litani
|
| /dports/security/s2n/s2n-tls-1.1.2/tests/cbmc/ |
| H A D | README.md | 10 [C Bounded Model Checker](http://www.cprover.org/cbmc/), an open-source static
12 ([GitHub repository](https://github.com/diffblue/cbmc)). This README describes
26 - Clone the [CBMC repository](https://github.com/diffblue/cbmc).
29 [COMPILING.md](https://github.com/diffblue/cbmc/blob/develop/COMPILING.md)
32 - Ensure that you can run the programs `cbmc`, `goto-cc`, and `goto-instrument` from the command li…
34 `build/bin/Debug` or `build/bin/Release` directories under the top-level `cbmc` directory; you
36 …If you built CBMC using Make, then those programs will have been installed in the `src/cbmc`, `src…
44 The proofs may take some time to run; they eventually write their output to `cbmc.txt`, which shoul…
63 …ption SDK for C](https://github.com/aws/aws-encryption-sdk-c/tree/master/.cbmc-batch/include/opens…
|
| H A D | .gitignore | 2 cbmc.log
|
| /dports/security/s2n/s2n-tls-1.1.2/.github/workflows/ |
| H A D | private_sync.yml | 16 - name: Push cbmc
20 repository: awslabs/private-s2n-cbmc
|
| /dports/math/py-cryptominisat/cryptominisat-5.8.0/scripts/aws/config/ |
| H A D | unsat_small_candidates_fullpath | 100 satcomp09/post-cbmc-aes-d-r2-noholes.cnf.gz
117 satcomp09/post-cbmc-aes-ee-r3-noholes.cnf.gz
122 satcomp09/post-cbmc-aes-ee-r2-noholes.cnf.gz
129 satcomp09/post-cbmc-aes-ele-noholes.cnf.gz
203 satcomp14/post-cbmc-aes-d-r2.cnf.gz
210 satcomp14/post-cbmc-aes-d-r2-noholes.cnf.gz
224 satcomp14/post-cbmc-aes-ee-r2-noholes.cnf.gz
376 satrace15/post-cbmc-aes-d-r2.cnf.gz
384 satrace15/post-cbmc-aes-d-r2-noholes.cnf.gz
394 satrace15/post-cbmc-aes-ee-r2-noholes.cnf.gz
|
| H A D | satcomp16_updated | 5 satcomp16/26_stack_cas_longest_true-unreach-call.i-cbmc-u2.cnf.gz
122 satcomp16/mix034_rmo.opt_false-unreach-call.i-cbmc-u2.cnf.gz
179 satcomp16/podwr001_power.opt_false-unreach-call.i-cbmc-u2.cnf.gz
191 satcomp16/safe009_pso.oepc_true-unreach-call.i-cbmc-u2.cnf.gz
192 satcomp16/safe027_pso.opt_true-unreach-call.i-cbmc-u2.cnf.gz
193 satcomp16/safe028_tso.oepc_true-unreach-call.i-cbmc-u2.cnf.gz
194 satcomp16/safe029_power.opt_false-unreach-call.i-cbmc-u2.cnf.gz
|
| /dports/math/cryptominisat/cryptominisat-5.8.0/scripts/aws/config/ |
| H A D | unsat_small_candidates_fullpath | 100 satcomp09/post-cbmc-aes-d-r2-noholes.cnf.gz
117 satcomp09/post-cbmc-aes-ee-r3-noholes.cnf.gz
122 satcomp09/post-cbmc-aes-ee-r2-noholes.cnf.gz
129 satcomp09/post-cbmc-aes-ele-noholes.cnf.gz
203 satcomp14/post-cbmc-aes-d-r2.cnf.gz
210 satcomp14/post-cbmc-aes-d-r2-noholes.cnf.gz
224 satcomp14/post-cbmc-aes-ee-r2-noholes.cnf.gz
376 satrace15/post-cbmc-aes-d-r2.cnf.gz
384 satrace15/post-cbmc-aes-d-r2-noholes.cnf.gz
394 satrace15/post-cbmc-aes-ee-r2-noholes.cnf.gz
|
| H A D | satcomp16_updated | 5 satcomp16/26_stack_cas_longest_true-unreach-call.i-cbmc-u2.cnf.gz
122 satcomp16/mix034_rmo.opt_false-unreach-call.i-cbmc-u2.cnf.gz
179 satcomp16/podwr001_power.opt_false-unreach-call.i-cbmc-u2.cnf.gz
191 satcomp16/safe009_pso.oepc_true-unreach-call.i-cbmc-u2.cnf.gz
192 satcomp16/safe027_pso.opt_true-unreach-call.i-cbmc-u2.cnf.gz
193 satcomp16/safe028_tso.oepc_true-unreach-call.i-cbmc-u2.cnf.gz
194 satcomp16/safe029_power.opt_false-unreach-call.i-cbmc-u2.cnf.gz
|
| /dports/sysutils/u-boot-tools/u-boot-2020.07/arch/x86/include/asm/arch-apollolake/ |
| H A D | global_nvs.h | 20 u32 cbmc; /* 0x05 - 0x08 - U-Boot Console */ member
|
| /dports/multimedia/v4l_compat/linux-5.13-rc2/tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/ |
| H A D | test_script.sh | 44 CBMC=${CBMC:-cbmc}
|
| /dports/multimedia/libv4l/linux-5.13-rc2/tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/ |
| H A D | test_script.sh | 44 CBMC=${CBMC:-cbmc}
|
| /dports/multimedia/v4l-utils/linux-5.13-rc2/tools/testing/selftests/rcutorture/formal/srcu-cbmc/tests/ |
| H A D | test_script.sh | 44 CBMC=${CBMC:-cbmc}
|
| /dports/sysutils/atf-sun50i_h6/arm-trusted-firmware-2.5/drivers/coreboot/cbmem_console/aarch64/ |
| H A D | cbmem_console.S | 42 finish_console_register cbmc putc=1, flush=1
|
| /dports/sysutils/atf-sun50i_a64/arm-trusted-firmware-2.5/drivers/coreboot/cbmem_console/aarch64/ |
| H A D | cbmem_console.S | 42 finish_console_register cbmc putc=1, flush=1
|
| /dports/sysutils/atf-rk3399/arm-trusted-firmware-2.5/drivers/coreboot/cbmem_console/aarch64/ |
| H A D | cbmem_console.S | 42 finish_console_register cbmc putc=1, flush=1
|
| /dports/sysutils/atf-rk3328/arm-trusted-firmware-2.5/drivers/coreboot/cbmem_console/aarch64/ |
| H A D | cbmem_console.S | 42 finish_console_register cbmc putc=1, flush=1
|
| /dports/sysutils/atf-fvp/arm-trusted-firmware-2.5/drivers/coreboot/cbmem_console/aarch64/ |
| H A D | cbmem_console.S | 42 finish_console_register cbmc putc=1, flush=1
|
| /dports/sysutils/u-boot-olinuxino-lime/u-boot-2021.07/arch/x86/include/asm/ |
| H A D | intel_gnvs.h | 90 u32 cbmc; /* 0x05 - 0x08 - coreboot Memory Console */ member
|
| /dports/sysutils/u-boot-olinuxino-lime2-emmc/u-boot-2021.07/arch/x86/include/asm/ |
| H A D | intel_gnvs.h | 90 u32 cbmc; /* 0x05 - 0x08 - coreboot Memory Console */ member
|