Path	Lines of Code
AwsEncryptionSDK/codegen-patches/AwsEncryptionSdk/dotnet/dafny-4.2.0.patch	87
AwsEncryptionSDK/codegen-patches/AwsEncryptionSdk/dotnet/dafny-4.8.0.patch	95
AwsEncryptionSDK/codegen-patches/AwsEncryptionSdk/dotnet/dafny-4.9.0.patch	128
AwsEncryptionSDK/codegen-patches/AwsEncryptionSdk/java/dafny-4.8.1.patch	359
AwsEncryptionSDK/codegen-patches/AwsEncryptionSdk/java/dafny-4.9.0.patch	13
AwsEncryptionSDK/project.properties	4
AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/go.mod	37
AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/go.mod	39
AwsEncryptionSDK/runtimes/go/examples/README.md	74
AwsEncryptionSDK/runtimes/go/examples/clientsupplier/clientSupplierExample.go	91
AwsEncryptionSDK/runtimes/go/examples/clientsupplier/regionalroleclientsupplier.go	39
AwsEncryptionSDK/runtimes/go/examples/clientsupplier/regionalroleclientsupplierconfig.go	11
AwsEncryptionSDK/runtimes/go/examples/cryptographicmaterialsmanager/requiredencryptioncontext/requiredencryptioncontext.go	115
AwsEncryptionSDK/runtimes/go/examples/cryptographicmaterialsmanager/restrictalgorithmsuite/signingonlyexample.go	100
AwsEncryptionSDK/runtimes/go/examples/cryptographicmaterialsmanager/restrictalgorithmsuite/signingsuiteonlycmm.go	60
AwsEncryptionSDK/runtimes/go/examples/go.mod	38
AwsEncryptionSDK/runtimes/go/examples/keyring/awskmsdiscoverykeyring/awskmsdiscoverykeyring.go	110
AwsEncryptionSDK/runtimes/go/examples/keyring/awskmsdiscoverymultikeyring/awskmsdiscoverymultikeyring.go	98
AwsEncryptionSDK/runtimes/go/examples/keyring/awskmshierarchicalkeyring/awskmshierarchicalkeyring.go	189
AwsEncryptionSDK/runtimes/go/examples/keyring/awskmshierarchicalkeyring/branchkeysupplier.go	23
AwsEncryptionSDK/runtimes/go/examples/keyring/awskmshierarchicalkeyring/createbranchkeyid.go	28
AwsEncryptionSDK/runtimes/go/examples/keyring/awskmshierarchicalkeyring/sharedcacheacrosshierarchicalkeyring.go	108
AwsEncryptionSDK/runtimes/go/examples/keyring/awskmshierarchicalkeyring/versionbranchkeyid.go	71
AwsEncryptionSDK/runtimes/go/examples/keyring/awskmskeyring/awskmskeyring.go	79
AwsEncryptionSDK/runtimes/go/examples/keyring/awskmsmrkdiscoverykeyring/awskmsmrkdiscoverykeyring.go	95
AwsEncryptionSDK/runtimes/go/examples/keyring/awskmsmrkdiscoverymultikeyring/awskmsmrkdiscoverymultikeyring.go	87
AwsEncryptionSDK/runtimes/go/examples/keyring/awskmsmrkkeyring/awskmsmrkkeyring.go	101
AwsEncryptionSDK/runtimes/go/examples/keyring/awskmsmrkmultikeyring/awskmsmrkmultikeyring.go	99
AwsEncryptionSDK/runtimes/go/examples/keyring/awskmsmultikeyring/awskmsmultikeyring.go	99
AwsEncryptionSDK/runtimes/go/examples/keyring/awskmsrsakeyring/awskmsrsakeyring.go	86
AwsEncryptionSDK/runtimes/go/examples/keyring/ecdh/awskmsecdhdiscoverykeyring.go	136
AwsEncryptionSDK/runtimes/go/examples/keyring/ecdh/awskmsecdhkeyring.go	107
AwsEncryptionSDK/runtimes/go/examples/keyring/ecdh/ephemeralrawecdhkeyring.go	68
AwsEncryptionSDK/runtimes/go/examples/keyring/ecdh/publickeyrawdiscoveryecdhkeyring.go	118
AwsEncryptionSDK/runtimes/go/examples/keyring/ecdh/rawecdhkeyring.go	102
AwsEncryptionSDK/runtimes/go/examples/keyring/multikeyring/multikeyring.go	143
AwsEncryptionSDK/runtimes/go/examples/keyring/rawaeskeyring/rawaeskeyring.go	87
AwsEncryptionSDK/runtimes/go/examples/keyring/rawrsakeyring/rawrasakeyring.go	107
AwsEncryptionSDK/runtimes/go/examples/main.go	161
AwsEncryptionSDK/runtimes/go/examples/misc/commitmentpolicy.go	83
AwsEncryptionSDK/runtimes/go/examples/misc/limitencrypteddatakeysexample.go	117
AwsEncryptionSDK/runtimes/go/examples/misc/setencryptionalgorithmsuite.go	90
AwsEncryptionSDK/runtimes/go/examples/multithreading/awskmskeyring.go	134
AwsEncryptionSDK/runtimes/go/examples/utils/exampleUtils.go	260
AwsEncryptionSDK/runtimes/java/README.md	6
AwsEncryptionSDK/runtimes/net/CHANGELOG.md	79
AwsEncryptionSDK/runtimes/net/Examples/AWSEncryptionSDKExamples.csproj	29
AwsEncryptionSDK/runtimes/net/Examples/ClientSupplier/ClientSupplierExample.cs	76
AwsEncryptionSDK/runtimes/net/Examples/ClientSupplier/RegionalRoleClientSupplier.cs	57
AwsEncryptionSDK/runtimes/net/Examples/CommitmentPolicy.cs	94
AwsEncryptionSDK/runtimes/net/Examples/CryptographicMaterialsManager/RequiredEncryptionContext/RequiredEncryptionContextExample.cs	76
AwsEncryptionSDK/runtimes/net/Examples/CryptographicMaterialsManager/RestrictAlgorithmSuite/SigningOnlyExample.cs	105
AwsEncryptionSDK/runtimes/net/Examples/CryptographicMaterialsManager/RestrictAlgorithmSuite/SigningSuiteOnlyCMM.cs	43
AwsEncryptionSDK/runtimes/net/Examples/DiscoveryFilterExample.cs	72
AwsEncryptionSDK/runtimes/net/Examples/ExampleUtils/ExampleUtils.cs	200
AwsEncryptionSDK/runtimes/net/Examples/ExampleUtils/WriteExampleResources.cs	13
AwsEncryptionSDK/runtimes/net/Examples/Keyring/AwsKmsDiscoveryKeyringExample.cs	71
AwsEncryptionSDK/runtimes/net/Examples/Keyring/AwsKmsDiscoveryMultiKeyringExample.cs	75
AwsEncryptionSDK/runtimes/net/Examples/Keyring/AwsKmsHierarchical/AwsKmsHierarchicalKeyring.cs	125
AwsEncryptionSDK/runtimes/net/Examples/Keyring/AwsKmsHierarchical/CreateBranchKeyId.cs	21
AwsEncryptionSDK/runtimes/net/Examples/Keyring/AwsKmsHierarchical/ExampleBranchKeySupplier.cs	33
AwsEncryptionSDK/runtimes/net/Examples/Keyring/AwsKmsHierarchical/SharedCacheAcrossHierarchicalKeyrings.cs	88
AwsEncryptionSDK/runtimes/net/Examples/Keyring/AwsKmsHierarchical/VersionBranchKeyId.cs	20
AwsEncryptionSDK/runtimes/net/Examples/Keyring/AwsKmsKeyringExample.cs	59
AwsEncryptionSDK/runtimes/net/Examples/Keyring/AwsKmsMrkDiscoveryKeyringExample.cs	59
AwsEncryptionSDK/runtimes/net/Examples/Keyring/AwsKmsMrkDiscoveryMultiKeyringExample.cs	76
AwsEncryptionSDK/runtimes/net/Examples/Keyring/AwsKmsMrkKeyringExample.cs	71
AwsEncryptionSDK/runtimes/net/Examples/Keyring/AwsKmsMrkMultiKeyringExample.cs	88
AwsEncryptionSDK/runtimes/net/Examples/Keyring/AwsKmsMultiKeyringExample.cs	87
AwsEncryptionSDK/runtimes/net/Examples/Keyring/AwsKmsRsaKeyringExample.cs	53
AwsEncryptionSDK/runtimes/net/Examples/Keyring/MultiKeyringExample.cs	86
AwsEncryptionSDK/runtimes/net/Examples/Keyring/RawAESKeyringExample.cs	64
AwsEncryptionSDK/runtimes/net/Examples/Keyring/RawRSAKeyringExample.cs	71
AwsEncryptionSDK/runtimes/net/Examples/LimitEncryptedDataKeysExample.cs	84
AwsEncryptionSDK/runtimes/net/Examples/NetV4_0_0Example.cs	100
AwsEncryptionSDK/runtimes/net/Examples/NonSigningAlgorithmSuiteExample.cs	65
AwsEncryptionSDK/runtimes/net/Examples/README.md	76
AwsEncryptionSDK/runtimes/net/README.md	76
AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectorGenerator/README.md	15
AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectorGenerator/resources/net4x-generate-manifest.json	2850
AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectors/README.md	14
AwsEncryptionSDK/runtimes/python/README.md	6
AwsEncryptionSDK/runtimes/python/tox.ini	13
AwsEncryptionSDK/runtimes/rust/CHANGELOG.md	9
AwsEncryptionSDK/runtimes/rust/README.md	15
AwsEncryptionSDK/runtimes/rust/RELEASE.md	17
AwsEncryptionSDK/runtimes/rust/examples/README.md	74
AwsEncryptionSDK/runtimes/rust/examples/client_supplier/client_supplier_example.rs	105
AwsEncryptionSDK/runtimes/rust/examples/client_supplier/mod.rs	3
AwsEncryptionSDK/runtimes/rust/examples/client_supplier/regional_role_client_supplier.rs	47
AwsEncryptionSDK/runtimes/rust/examples/client_supplier/regional_role_client_supplier_config.rs	16
AwsEncryptionSDK/runtimes/rust/examples/cryptographic_materials_manager/mod.rs	2
AwsEncryptionSDK/runtimes/rust/examples/cryptographic_materials_manager/required_encryption_context/mod.rs	1
AwsEncryptionSDK/runtimes/rust/examples/cryptographic_materials_manager/required_encryption_context/required_encryption_context_example.rs	138
AwsEncryptionSDK/runtimes/rust/examples/cryptographic_materials_manager/restrict_algorithm_suite/mod.rs	2
AwsEncryptionSDK/runtimes/rust/examples/cryptographic_materials_manager/restrict_algorithm_suite/signing_only_example.rs	89
AwsEncryptionSDK/runtimes/rust/examples/cryptographic_materials_manager/restrict_algorithm_suite/signing_suite_only_cmm.rs	105
AwsEncryptionSDK/runtimes/rust/examples/example_utils/mod.rs	1
AwsEncryptionSDK/runtimes/rust/examples/example_utils/utils.rs	210
AwsEncryptionSDK/runtimes/rust/examples/keyring/aws_kms_discovery_keyring_example.rs	126
AwsEncryptionSDK/runtimes/rust/examples/keyring/aws_kms_discovery_multi_keyring_example.rs	105
AwsEncryptionSDK/runtimes/rust/examples/keyring/aws_kms_hierarchical/aws_kms_hierarchical_keyring_example.rs	195
AwsEncryptionSDK/runtimes/rust/examples/keyring/aws_kms_hierarchical/create_branch_key_id.rs	27
AwsEncryptionSDK/runtimes/rust/examples/keyring/aws_kms_hierarchical/example_branch_key_id_supplier.rs	62
AwsEncryptionSDK/runtimes/rust/examples/keyring/aws_kms_hierarchical/mod.rs	5
AwsEncryptionSDK/runtimes/rust/examples/keyring/aws_kms_hierarchical/shared_cache_across_hierarchical_keyrings_example.rs	183
AwsEncryptionSDK/runtimes/rust/examples/keyring/aws_kms_hierarchical/version_branch_key_id_example.rs	50
AwsEncryptionSDK/runtimes/rust/examples/keyring/aws_kms_keyring_example.rs	90
AwsEncryptionSDK/runtimes/rust/examples/keyring/aws_kms_mrk_discovery_keyring_example.rs	141
AwsEncryptionSDK/runtimes/rust/examples/keyring/aws_kms_mrk_discovery_multi_keyring_example.rs	134
AwsEncryptionSDK/runtimes/rust/examples/keyring/aws_kms_mrk_keyring_example.rs	103
AwsEncryptionSDK/runtimes/rust/examples/keyring/aws_kms_mrk_multi_keyring_example.rs	115
AwsEncryptionSDK/runtimes/rust/examples/keyring/aws_kms_multi_keyring_example.rs	148
AwsEncryptionSDK/runtimes/rust/examples/keyring/aws_kms_rsa_keyring_example.rs	82
AwsEncryptionSDK/runtimes/rust/examples/keyring/ecdh/ephemeral_raw_ecdh_keyring_example.rs	121
AwsEncryptionSDK/runtimes/rust/examples/keyring/ecdh/kms_ecdh_discovery_keyring_example.rs	137
AwsEncryptionSDK/runtimes/rust/examples/keyring/ecdh/kms_ecdh_keyring_example.rs	115
AwsEncryptionSDK/runtimes/rust/examples/keyring/ecdh/mod.rs	5
AwsEncryptionSDK/runtimes/rust/examples/keyring/ecdh/public_key_discovery_raw_ecdh_keyring_example.rs	179
AwsEncryptionSDK/runtimes/rust/examples/keyring/ecdh/raw_ecdh_keyring_example.rs	152
AwsEncryptionSDK/runtimes/rust/examples/keyring/mod.rs	14
AwsEncryptionSDK/runtimes/rust/examples/keyring/multi_keyring_example.rs	144
AwsEncryptionSDK/runtimes/rust/examples/keyring/raw_aes_keyring_example.rs	88
AwsEncryptionSDK/runtimes/rust/examples/keyring/raw_rsa_keyring_example.rs	169
AwsEncryptionSDK/runtimes/rust/examples/limit_encrypted_data_keys_example.rs	123
AwsEncryptionSDK/runtimes/rust/examples/main.rs	15
AwsEncryptionSDK/runtimes/rust/examples/set_commitment_policy_example.rs	84
AwsEncryptionSDK/runtimes/rust/examples/set_encryption_algorithm_suite_example.rs	8
AwsEncryptionSDK/runtimes/rust/src/README.md	32
CODE_OF_CONDUCT.md	4
CONTRIBUTING.md	43
README.md	65
SUPPORT_POLICY.rst	40
TestVectors/README.md	26
TestVectors/codegen-patches/TestVectors/dafny/dafny-4.8.1.patch	15
TestVectors/codegen-patches/TestVectors/dotnet/dafny-4.8.1.patch	58
TestVectors/codegen-patches/TestVectors/java/dafny-4.8.1.patch	156
TestVectors/codegen-patches/dotnet/dafny-4.2.0.patch	68
TestVectors/codegen-patches/dotnet/dafny-4.8.0.patch	58
TestVectors/dafny/TestVectors/test/perf-encrypt-manifest.json	117
TestVectors/dafny/TestVectors/test/thousand-encrypt-manifest.json	114
TestVectors/runtimes/go/ImplementationFromDafny-go/go.mod	43
TestVectors/runtimes/go/TestsFromDafny-go/go.mod	45
TestVectors/runtimes/java_mkp/README.md	1
TestVectors/runtimes/python/tox.ini	24
TestVectors/runtimes/python_mkp/README.md	1
VERSIONING.rst	19
compliance_exceptions/client.txt	10
compliance_exceptions/decrypt.txt	139
compliance_exceptions/encrypt.txt	159
compliance_exceptions/message-header.txt	17
compliance_exceptions/multi-keyring.txt	8
compliance_exceptions/structures.txt	71
project.properties	9
releases/go/encryption-sdk/CHANGELOG.md	14
releases/go/encryption-sdk/README.md	13
releases/go/encryption-sdk/examples/README.md	74
releases/go/encryption-sdk/examples/clientsupplier/clientSupplierExample.go	91
releases/go/encryption-sdk/examples/clientsupplier/regionalroleclientsupplier.go	39
releases/go/encryption-sdk/examples/clientsupplier/regionalroleclientsupplierconfig.go	11
releases/go/encryption-sdk/examples/cryptographicmaterialsmanager/requiredencryptioncontext/requiredencryptioncontext.go	115
releases/go/encryption-sdk/examples/cryptographicmaterialsmanager/restrictalgorithmsuite/signingonlyexample.go	100
releases/go/encryption-sdk/examples/cryptographicmaterialsmanager/restrictalgorithmsuite/signingsuiteonlycmm.go	60
releases/go/encryption-sdk/examples/go.mod	32
releases/go/encryption-sdk/examples/keyring/awskmsdiscoverykeyring/awskmsdiscoverykeyring.go	110
releases/go/encryption-sdk/examples/keyring/awskmsdiscoverymultikeyring/awskmsdiscoverymultikeyring.go	98
releases/go/encryption-sdk/examples/keyring/awskmshierarchicalkeyring/awskmshierarchicalkeyring.go	189
releases/go/encryption-sdk/examples/keyring/awskmshierarchicalkeyring/branchkeysupplier.go	23
releases/go/encryption-sdk/examples/keyring/awskmshierarchicalkeyring/createbranchkeyid.go	28
releases/go/encryption-sdk/examples/keyring/awskmshierarchicalkeyring/sharedcacheacrosshierarchicalkeyring.go	108
releases/go/encryption-sdk/examples/keyring/awskmshierarchicalkeyring/versionbranchkeyid.go	71
releases/go/encryption-sdk/examples/keyring/awskmskeyring/awskmskeyring.go	79
releases/go/encryption-sdk/examples/keyring/awskmsmrkdiscoverykeyring/awskmsmrkdiscoverykeyring.go	95
releases/go/encryption-sdk/examples/keyring/awskmsmrkdiscoverymultikeyring/awskmsmrkdiscoverymultikeyring.go	87
releases/go/encryption-sdk/examples/keyring/awskmsmrkkeyring/awskmsmrkkeyring.go	101
releases/go/encryption-sdk/examples/keyring/awskmsmrkmultikeyring/awskmsmrkmultikeyring.go	99
releases/go/encryption-sdk/examples/keyring/awskmsmultikeyring/awskmsmultikeyring.go	99
releases/go/encryption-sdk/examples/keyring/awskmsrsakeyring/awskmsrsakeyring.go	86
releases/go/encryption-sdk/examples/keyring/ecdh/awskmsecdhdiscoverykeyring.go	136
releases/go/encryption-sdk/examples/keyring/ecdh/awskmsecdhkeyring.go	107
releases/go/encryption-sdk/examples/keyring/ecdh/ephemeralrawecdhkeyring.go	68
releases/go/encryption-sdk/examples/keyring/ecdh/publickeyrawdiscoveryecdhkeyring.go	118
releases/go/encryption-sdk/examples/keyring/ecdh/rawecdhkeyring.go	102
releases/go/encryption-sdk/examples/keyring/multikeyring/multikeyring.go	143
releases/go/encryption-sdk/examples/keyring/rawaeskeyring/rawaeskeyring.go	87
releases/go/encryption-sdk/examples/keyring/rawrsakeyring/rawrasakeyring.go	107
releases/go/encryption-sdk/examples/main.go	161
releases/go/encryption-sdk/examples/misc/commitmentpolicy.go	83
releases/go/encryption-sdk/examples/misc/limitencrypteddatakeysexample.go	117
releases/go/encryption-sdk/examples/misc/setencryptionalgorithmsuite.go	90
releases/go/encryption-sdk/examples/multithreading/awskmskeyring.go	134
releases/go/encryption-sdk/examples/utils/exampleUtils.go	260
releases/go/encryption-sdk/go.mod	31
releases/rust/esdk/README.md	15
releases/rust/esdk/examples/README.md	72
releases/rust/esdk/examples/client_supplier/client_supplier_example.rs	122
releases/rust/esdk/examples/client_supplier/mod.rs	3
releases/rust/esdk/examples/client_supplier/regional_role_client_supplier.rs	48
releases/rust/esdk/examples/client_supplier/regional_role_client_supplier_config.rs	16
releases/rust/esdk/examples/cryptographic_materials_manager/mod.rs	2
releases/rust/esdk/examples/cryptographic_materials_manager/required_encryption_context/mod.rs	1
releases/rust/esdk/examples/cryptographic_materials_manager/required_encryption_context/required_encryption_context_example.rs	159
releases/rust/esdk/examples/cryptographic_materials_manager/restrict_algorithm_suite/mod.rs	2
releases/rust/esdk/examples/cryptographic_materials_manager/restrict_algorithm_suite/signing_only_example.rs	104
releases/rust/esdk/examples/cryptographic_materials_manager/restrict_algorithm_suite/signing_suite_only_cmm.rs	108
releases/rust/esdk/examples/example_utils/mod.rs	1
releases/rust/esdk/examples/example_utils/utils.rs	210
releases/rust/esdk/examples/keyring/aws_kms_discovery_keyring_example.rs	144
releases/rust/esdk/examples/keyring/aws_kms_discovery_multi_keyring_example.rs	120
releases/rust/esdk/examples/keyring/aws_kms_hierarchical/aws_kms_hierarchical_keyring_example.rs	232
releases/rust/esdk/examples/keyring/aws_kms_hierarchical/create_branch_key_id.rs	27
releases/rust/esdk/examples/keyring/aws_kms_hierarchical/example_branch_key_id_supplier.rs	56
releases/rust/esdk/examples/keyring/aws_kms_hierarchical/mod.rs	5
releases/rust/esdk/examples/keyring/aws_kms_hierarchical/shared_cache_across_hierarchical_keyrings_example.rs	205
releases/rust/esdk/examples/keyring/aws_kms_hierarchical/version_branch_key_id_example.rs	53
releases/rust/esdk/examples/keyring/aws_kms_keyring_example.rs	100
releases/rust/esdk/examples/keyring/aws_kms_mrk_discovery_keyring_example.rs	156
releases/rust/esdk/examples/keyring/aws_kms_mrk_discovery_multi_keyring_example.rs	149
releases/rust/esdk/examples/keyring/aws_kms_mrk_keyring_example.rs	118
releases/rust/esdk/examples/keyring/aws_kms_mrk_multi_keyring_example.rs	134
releases/rust/esdk/examples/keyring/aws_kms_multi_keyring_example.rs	170
releases/rust/esdk/examples/keyring/aws_kms_rsa_keyring_example.rs	97
releases/rust/esdk/examples/keyring/ecdh/ephemeral_raw_ecdh_keyring_example.rs	131
releases/rust/esdk/examples/keyring/ecdh/kms_ecdh_discovery_keyring_example.rs	157
releases/rust/esdk/examples/keyring/ecdh/kms_ecdh_keyring_example.rs	130
releases/rust/esdk/examples/keyring/ecdh/mod.rs	5
releases/rust/esdk/examples/keyring/ecdh/public_key_discovery_raw_ecdh_keyring_example.rs	187
releases/rust/esdk/examples/keyring/ecdh/raw_ecdh_keyring_example.rs	158
releases/rust/esdk/examples/keyring/mod.rs	14
releases/rust/esdk/examples/keyring/multi_keyring_example.rs	161
releases/rust/esdk/examples/keyring/raw_aes_keyring_example.rs	98
releases/rust/esdk/examples/keyring/raw_rsa_keyring_example.rs	178
releases/rust/esdk/examples/limit_encrypted_data_keys_example.rs	141
releases/rust/esdk/examples/main.rs	15
releases/rust/esdk/examples/set_commitment_policy_example.rs	96
releases/rust/esdk/examples/set_encryption_algorithm_suite_example.rs	8