diff --git a/.gitmodules b/.gitmodules index 772e2da7..5d1287d6 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,7 +1,7 @@ [submodule "src"] path = src - branch = main - url = https://github.com/aws/aws-lc.git + branch = CryptoAlg-2220 + url = https://github.com/justsmth/aws-lc.git [submodule "cryptol-specs"] path = cryptol-specs branch = sha-imperative diff --git a/README.md b/README.md index 52dcc007..3ff8f5d6 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# AWS LibCrypto Formal Verification +# AWS LibCrypto Formal Verification test1 [![.github/workflows/main.yml](https://github.com/awslabs/aws-lc-verification/actions/workflows/main.yml/badge.svg)](https://github.com/awslabs/aws-lc-verification/actions/workflows/main.yml) diff --git a/SAW/scripts/x86_64/entrypoint_check_aes_gcm.sh b/SAW/scripts/x86_64/entrypoint_check_aes_gcm.sh index 9fe02f87..bc0924d7 100755 --- a/SAW/scripts/x86_64/entrypoint_check_aes_gcm.sh +++ b/SAW/scripts/x86_64/entrypoint_check_aes_gcm.sh @@ -73,4 +73,9 @@ apply_patch "noinline_ec_GFp_simple_is_at_infinity" ./scripts/x86_64/build_x86.sh "Release" ./scripts/x86_64/build_llvm.sh "Release" ./scripts/x86_64/post_build.sh + +# llvm-dis build/llvm_x86/crypto/crypto_test.bc +objdump -d build/llvm_x86/crypto/crypto_test | grep "endbr64" + + ./scripts/x86_64/run_checks_aes_gcm.sh diff --git a/src b/src index fc06ecbf..2b77565f 160000 --- a/src +++ b/src @@ -1 +1 @@ -Subproject commit fc06ecbf83914c538c771d0f0969cc6afe0ee4bf +Subproject commit 2b77565feaf4673f53b7acbdb38e82a6359d1635