aws / aws-encryption-sdk-c
File Age & Freshness

File age measurements show the distribution of file ages (days since the first commit) and the file freshness (days since the latest commit).

Summary
File Change History Overall
File Age Distribution Overall
Days since first update
  • There are 248 files with 16,951 lines of code in files.
    • 248 files that are 366+ days old (16,951 lines of code)
    • 0 files that are 181-365 days old (0 lines of code)
    • 0 files that are 91-180 days old (0 lines of code)
    • 0 files that are 31-90 days old (0 lines of code)
    • 0 files that are 1-30 days old (0 lines of code)
100% | 0% | 0% | 0% | 0%
Legend:
366+
181-365
91-180
31-90
1-30

explore: grouped by folders | grouped by age
File Freshness Distribution Overall
Days since last update
  • There are 248 files with 16,951 lines of code in files.
    • 242 files have been last changed 366+ days ago (15,665 lines of code)
    • 0 files have been last changed 181-365 days ago (0 lines of code)
    • 0 files have been last changed 91-180 days ago (0 lines of code)
    • 4 files have been last changed 31-90 days ago (947 lines of code)
    • 2 files have been last changed 1-30 days ago (339 lines of code)
92% | 0% | 0% | 5% | 1%
Legend:
366+
181-365
91-180
31-90
1-30

explore: grouped by folders | grouped by freshness
File Change History per File Extension
c, txt, h, cpp, md, sh, yaml, cmake, py, json, ps1, gitignore, pt, in, rst, bat, dockerfile, inc, clang-format, hpp, gitmodules
File Age Distribution per Extension
Days since first update
366+
181-365
91-180
31-90
1-30
c100% | 0% | 0% | 0% | 0%
h100% | 0% | 0% | 0% | 0%
in100% | 0% | 0% | 0% | 0%
cpp100% | 0% | 0% | 0% | 0%
py100% | 0% | 0% | 0% | 0%
cmake100% | 0% | 0% | 0% | 0%
ps1100% | 0% | 0% | 0% | 0%
File Freshness Distribution per Extension
Days since last update
366+
181-365
91-180
31-90
1-30
c92% | 0% | 0% | 7% | 0%
h83% | 0% | 0% | 1% | 15%
in100% | 0% | 0% | 0% | 0%
cpp100% | 0% | 0% | 0% | 0%
py100% | 0% | 0% | 0% | 0%
cmake86% | 0% | 0% | 13% | 0%
ps1100% | 0% | 0% | 0% | 0%
File Change History per Logical Decomposition
primary
primary (file age distribution)
Days since first update
366+
181-365
91-180
31-90
1-30
verification100% | 0% | 0% | 0% | 0%
source100% | 0% | 0% | 0% | 0%
doxygen100% | 0% | 0% | 0% | 0%
include100% | 0% | 0% | 0% | 0%
aws-encryption-sdk-cpp100% | 0% | 0% | 0% | 0%
cmake100% | 0% | 0% | 0% | 0%
docker-images100% | 0% | 0% | 0% | 0%
primary (file freshness distribution)
Days since last update
366+
181-365
91-180
31-90
1-30
verification100% | 0% | 0% | 0% | 0%
source84% | 0% | 0% | 15% | 0%
doxygen100% | 0% | 0% | 0% | 0%
aws-encryption-sdk-cpp100% | 0% | 0% | 0% | 0%
include75% | 0% | 0% | 1% | 22%
cmake86% | 0% | 0% | 13% | 0%
docker-images100% | 0% | 0% | 0% | 0%
Oldest Files (Top 50)
File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
header.c
in source
 462 34 2018-02-27 2021-05-27 47 12 bdonlan@amazon.com alex-chew@users.noreply.git...
in
config.h.in
in include/aws/cryptosdk/private
 27 - 2018-02-27 2019-05-13 5 4 bdonlan@amazon.com 36861050+david-koenig@users...
error.h
in include/aws/cryptosdk
 27 - 2018-02-27 2025-03-04 32 12 bdonlan@amazon.com 107044381+ajewellamz@users....
header.h
in include/aws/cryptosdk
 17 - 2018-02-27 2020-09-23 13 6 bdonlan@amazon.com alex@alexchew.net
compiler.h
in include/aws/cryptosdk/private
 11 - 2018-02-27 2018-12-17 4 2 bdonlan@amazon.com bdonlan@amazon.com
error.c
in source
 27 1 2018-03-09 2025-03-04 28 14 bdonlan@amazon.com 107044381+ajewellamz@users....
cipher.c
in source
 845 24 2018-03-23 2025-03-04 55 17 bdonlan@amazon.com 107044381+ajewellamz@users....
header.h
in include/aws/cryptosdk/private
 63 - 2018-04-04 2021-05-27 17 7 dkkoenig@amazon.com alex-chew@users.noreply.git...
cipher.h
in include/aws/cryptosdk/private
 103 1 2018-04-06 2024-04-16 29 10 bdonlan@amazon.com 107044381+ajewellamz@users....
session.c
in source
 430 18 2018-04-10 2021-05-27 45 8 bdonlan@amazon.com alex-chew@users.noreply.git...
session.h
in include/aws/cryptosdk/private
 88 1 2018-04-10 2021-05-27 29 11 bdonlan@amazon.com alex-chew@users.noreply.git...
session.h
in include/aws/cryptosdk
 70 - 2018-04-10 2021-05-27 29 9 bdonlan@amazon.com alex-chew@users.noreply.git...
materials.h
in include/aws/cryptosdk
 309 20 2018-06-05 2025-04-11 48 17 36861050+david-koenig@users... lucasmcdonald3@gmail.com
default_cmm.c
in source
 152 5 2018-06-05 2022-08-30 31 11 36861050+david-koenig@users... alex-chew@users.noreply.git...
materials.c
in source
 115 4 2018-06-05 2021-06-16 31 13 36861050+david-koenig@users... alex-chew@users.noreply.git...
cipher.h
in include/aws/cryptosdk
 80 - 2018-06-05 2020-09-23 21 10 36861050+david-koenig@users... alex@alexchew.net
default_cmm.h
in include/aws/cryptosdk
 17 - 2018-06-05 2021-01-06 18 8 36861050+david-koenig@users... 73246657+adpaco-aws@users.n...
framefmt.c
in source
 233 8 2018-06-14 2021-05-21 19 11 bdonlan@amazon.com felisous@amazon.com
framefmt.h
in include/aws/cryptosdk/private
 36 - 2018-06-14 2020-03-05 10 6 bdonlan@amazon.com danielsn@users.noreply.gith...
296 7 2018-06-28 2021-05-27 29 9 bdonlan@amazon.com alex-chew@users.noreply.git...
232 7 2018-06-28 2021-05-27 27 12 bdonlan@amazon.com alex-chew@users.noreply.git...
utils.c
in source
 36 2 2018-07-09 2020-05-15 12 7 dkkoenig@amazon.com felisous@amazon.com
utils.h
in include/aws/cryptosdk/private
 10 - 2018-07-09 2018-12-17 7 4 dkkoenig@amazon.com bdonlan@amazon.com
in
 1685 - 2018-07-17 2020-05-08 15 10 dmutescu@amazon.com 54039637+dougch@users.norep...
hkdf.c
in source
 139 4 2018-07-23 2022-09-06 15 7 ttjsu@amazon.com samuelchungchiang@gmail.com
690 21 2018-08-07 2022-09-06 27 14 bdonlan@amazon.com samuelchungchiang@gmail.com
local_cache.c
in source
 579 26 2018-08-07 2019-01-09 16 3 bdonlan@amazon.com 36861050+david-koenig@users...
cache.h
in include/aws/cryptosdk
 276 13 2018-08-07 2019-05-02 21 6 bdonlan@amazon.com 36861050+david-koenig@users...
exports.h
in include/aws/cryptosdk
 29 - 2018-08-07 2019-02-01 5 3 bdonlan@amazon.com salusasecondus@users.norepl...
codegen.c
in source
 10 - 2018-08-07 2019-01-09 4 2 bdonlan@amazon.com 36861050+david-koenig@users...
vtable.h
in include/aws/cryptosdk
 8 - 2018-08-07 2018-12-17 4 1 bdonlan@amazon.com bdonlan@amazon.com
231 7 2018-08-10 2019-01-14 16 5 dkkoenig@amazon.com 36861050+david-koenig@users...
138 6 2018-08-10 2020-05-13 19 7 dkkoenig@amazon.com felisous@amazon.com
raw_aes_keyring.h
in include/aws/cryptosdk/private
 21 - 2018-08-10 2019-01-09 11 5 dkkoenig@amazon.com 36861050+david-koenig@users...
raw_aes_keyring.h
in include/aws/cryptosdk
 19 - 2018-08-10 2018-12-17 7 4 dkkoenig@amazon.com bdonlan@amazon.com
multi_keyring.h
in include/aws/cryptosdk
 18 - 2018-08-10 2020-05-13 13 5 dkkoenig@amazon.com felisous@amazon.com
push.ps1
in docker-images
 7 - 2018-08-30 2019-10-15 5 4 bdonlan@gmail.com pretorc@amazon.com
startup.ps1
in docker-images/scripts
 4 - 2018-08-30 2018-08-30 1 1 bdonlan@gmail.com bdonlan@gmail.com
build.ps1
in docker-images
 4 - 2018-08-30 2020-05-08 6 4 bdonlan@gmail.com 54039637+dougch@users.norep...
kms_keyring.cpp
in aws-encryption-sdk-cpp/source
 408 12 2018-09-06 2021-06-16 29 9 dmutescu@amazon.com alex-chew@users.noreply.git...
167 4 2018-09-12 2019-10-31 18 9 bdonlan@amazon.com dougch@amazon.com
cpputils.cpp
in aws-encryption-sdk-cpp/source
 221 18 2018-09-20 2021-06-16 7 4 40601598+mutescu@users.nore... alex-chew@users.noreply.git...
cpputils.h
in aws-encryption-sdk-cpp/include/aws/cryptosdk/private
 64 - 2018-09-20 2021-06-16 6 5 40601598+mutescu@users.nore... alex-chew@users.noreply.git...
edk.h
in include/aws/cryptosdk
 40 1 2018-09-20 2020-09-02 10 6 bdonlan@amazon.com 68670922+tegansb@users.nore...
raw_rsa_keyring.h
in include/aws/cryptosdk
 19 - 2018-09-20 2018-12-17 8 5 bdonlan@amazon.com bdonlan@amazon.com
stub.c
in cmake/header-tester
 5 1 2018-09-20 2018-09-20 1 1 bdonlan@amazon.com bdonlan@amazon.com
edk.c
in source
 76 9 2018-09-28 2020-12-04 13 8 dkkoenig@amazon.com 68670922+tegansb@users.nore...
caching_cmm.c
in source
 444 17 2018-11-06 2019-05-02 13 5 bdonlan@amazon.com 36861050+david-koenig@users...
29 - 2018-11-16 2018-11-16 1 1 43651355+jorajeev@users.nor... 43651355+jorajeev@users.nor...
18 - 2018-11-16 2018-12-20 2 2 43651355+jorajeev@users.nor... bdonlan@gmail.com
Files Not Recently Changed (Top 50)
File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
startup.ps1
in docker-images/scripts
 4 - 2018-08-30 2018-08-30 1 1 bdonlan@gmail.com bdonlan@gmail.com
stub.c
in cmake/header-tester
 5 1 2018-09-20 2018-09-20 1 1 bdonlan@amazon.com bdonlan@amazon.com
29 - 2018-11-16 2018-11-16 1 1 43651355+jorajeev@users.nor... 43651355+jorajeev@users.nor...
14 - 2018-12-04 2018-12-04 1 1 bdonlan@gmail.com bdonlan@gmail.com
16 - 2018-12-04 2018-12-04 1 1 bdonlan@gmail.com bdonlan@gmail.com
vtable.h
in include/aws/cryptosdk
 8 - 2018-08-07 2018-12-17 4 1 bdonlan@amazon.com bdonlan@amazon.com
keyring_trace.h
in include/aws/cryptosdk/private
 10 - 2018-12-11 2018-12-17 2 2 36861050+david-koenig@users... bdonlan@amazon.com
utils.h
in include/aws/cryptosdk/private
 10 - 2018-07-09 2018-12-17 7 4 dkkoenig@amazon.com bdonlan@amazon.com
compiler.h
in include/aws/cryptosdk/private
 11 - 2018-02-27 2018-12-17 4 2 bdonlan@amazon.com bdonlan@amazon.com
exports.h
in aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp
 16 - 2018-12-07 2018-12-17 2 2 bdonlan@gmail.com bdonlan@amazon.com
raw_rsa_keyring.h
in include/aws/cryptosdk
 19 - 2018-09-20 2018-12-17 8 5 bdonlan@amazon.com bdonlan@amazon.com
raw_aes_keyring.h
in include/aws/cryptosdk
 19 - 2018-08-10 2018-12-17 7 4 dkkoenig@amazon.com bdonlan@amazon.com
18 - 2018-11-16 2018-12-20 2 2 43651355+jorajeev@users.nor... bdonlan@gmail.com
codegen.c
in source
 10 - 2018-08-07 2019-01-09 4 2 bdonlan@amazon.com 36861050+david-koenig@users...
enc_ctx.h
in include/aws/cryptosdk/private
 10 - 2019-01-09 2019-01-09 1 1 36861050+david-koenig@users... 36861050+david-koenig@users...
raw_aes_keyring.h
in include/aws/cryptosdk/private
 21 - 2018-08-10 2019-01-09 11 5 dkkoenig@amazon.com 36861050+david-koenig@users...
local_cache.c
in source
 579 26 2018-08-07 2019-01-09 16 3 bdonlan@amazon.com 36861050+david-koenig@users...
231 7 2018-08-10 2019-01-14 16 5 dkkoenig@amazon.com 36861050+david-koenig@users...
list_utils.h
in include/aws/cryptosdk
 19 - 2018-12-11 2019-02-01 4 3 36861050+david-koenig@users... salusasecondus@users.norepl...
exports.h
in include/aws/cryptosdk
 29 - 2018-08-07 2019-02-01 5 3 bdonlan@amazon.com salusasecondus@users.norepl...
55 - 2018-12-11 2019-02-21 2 2 bdonlan@gmail.com 36861050+david-koenig@users...
cache.h
in include/aws/cryptosdk
 276 13 2018-08-07 2019-05-02 21 6 bdonlan@amazon.com 36861050+david-koenig@users...
caching_cmm.c
in source
 444 17 2018-11-06 2019-05-02 13 5 bdonlan@amazon.com 36861050+david-koenig@users...
user_agent.h
in include/aws/cryptosdk/private
 10 - 2019-05-13 2019-05-13 1 1 36861050+david-koenig@users... 36861050+david-koenig@users...
in
config.h.in
in include/aws/cryptosdk/private
 27 - 2018-02-27 2019-05-13 5 4 bdonlan@amazon.com 36861050+david-koenig@users...
push.ps1
in docker-images
 7 - 2018-08-30 2019-10-15 5 4 bdonlan@gmail.com pretorc@amazon.com
cleanup-vcpkg.ps1
in docker-images/windows_base
 10 - 2019-09-23 2019-10-15 4 3 54039637+dougch@users.norep... pretorc@amazon.com
72 - 2018-12-07 2019-10-15 5 4 bdonlan@gmail.com pretorc@amazon.com
167 4 2018-09-12 2019-10-31 18 9 bdonlan@amazon.com dougch@amazon.com
in
version.h.in
in include/aws/cryptosdk
 67 - 2019-05-13 2019-11-04 3 3 36861050+david-koenig@users... dougch@amazon.com
framefmt.h
in include/aws/cryptosdk/private
 36 - 2018-06-14 2020-03-05 10 6 bdonlan@amazon.com danielsn@users.noreply.gith...
keyring_trace.h
in include/aws/cryptosdk
 53 - 2018-12-11 2020-03-09 5 4 36861050+david-koenig@users... 57198872+tawdry-audrey@user...
build.ps1
in docker-images
 4 - 2018-08-30 2020-05-08 6 4 bdonlan@gmail.com 54039637+dougch@users.norep...
in
 1685 - 2018-07-17 2020-05-08 15 10 dmutescu@amazon.com 54039637+dougch@users.norep...
multi_keyring.h
in include/aws/cryptosdk/private
 10 - 2020-05-13 2020-05-13 1 1 felisous@amazon.com felisous@amazon.com
multi_keyring.h
in include/aws/cryptosdk
 18 - 2018-08-10 2020-05-13 13 5 dkkoenig@amazon.com felisous@amazon.com
138 6 2018-08-10 2020-05-13 19 7 dkkoenig@amazon.com felisous@amazon.com
utils.c
in source
 36 2 2018-07-09 2020-05-15 12 7 dkkoenig@amazon.com felisous@amazon.com
edk.h
in include/aws/cryptosdk
 40 1 2018-09-20 2020-09-02 10 6 bdonlan@amazon.com 68670922+tegansb@users.nore...
hkdf.h
in include/aws/cryptosdk/private
 16 - 2019-01-09 2020-09-23 2 2 36861050+david-koenig@users... alex@alexchew.net
header.h
in include/aws/cryptosdk
 17 - 2018-02-27 2020-09-23 13 6 bdonlan@amazon.com alex@alexchew.net
cipher.h
in include/aws/cryptosdk
 80 - 2018-06-05 2020-09-23 21 10 36861050+david-koenig@users... alex@alexchew.net
config.h
in verification/cbmc
 1 - 2020-10-28 2020-10-28 1 1 73246657+adpaco-aws@users.n... 73246657+adpaco-aws@users.n...
crypto.h
in verification/cbmc/include/openssl
 1 - 2020-10-28 2020-10-28 1 1 73246657+adpaco-aws@users.n... 73246657+adpaco-aws@users.n...
ecdsa.h
in verification/cbmc/include/openssl
 1 - 2020-10-28 2020-10-28 1 1 73246657+adpaco-aws@users.n... 73246657+adpaco-aws@users.n...
pem.h
in verification/cbmc/include/openssl
 1 - 2020-10-28 2020-10-28 1 1 73246657+adpaco-aws@users.n... 73246657+adpaco-aws@users.n...
config.h
in verification/cbmc/include/aws/common
 1 - 2020-10-28 2020-10-28 1 1 73246657+adpaco-aws@users.n... 73246657+adpaco-aws@users.n...
proof_allocators.h
in verification/cbmc/include
 3 - 2020-10-28 2020-10-28 1 1 73246657+adpaco-aws@users.n... 73246657+adpaco-aws@users.n...
evp_pkey_is_valid_no_ec_key_stub.c
in verification/cbmc/stubs
 4 1 2020-10-28 2020-10-28 1 1 73246657+adpaco-aws@users.n... 73246657+adpaco-aws@users.n...
aws_atomic_load_int.c
in verification/cbmc/stubs
 4 1 2020-10-28 2020-10-28 1 1 73246657+adpaco-aws@users.n... 73246657+adpaco-aws@users.n...
Most Recently Created Files (Top 50)
File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
print_tool_versions.py
in verification/cbmc/proofs/lib
 57 3 2023-03-07 2023-03-07 1 1 karkhaz@amazon.com karkhaz@amazon.com
summarize.py
in verification/cbmc/proofs/lib
 98 7 2022-08-03 2023-03-07 2 2 anakos@amazon.com karkhaz@amazon.com
__init__.py
in verification/cbmc/proofs/lib
 1 - 2022-08-03 2022-08-03 1 1 anakos@amazon.com anakos@amazon.com
kms_mrk_keyring.cpp
in aws-encryption-sdk-cpp/source
 525 5 2021-06-16 2021-06-16 1 1 alex-chew@users.noreply.git... alex-chew@users.noreply.git...
kms_mrk_keyring.h
in aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp
 54 - 2021-06-16 2021-07-13 2 1 alex-chew@users.noreply.git... alex-chew@users.noreply.git...
kms_mrk_keyring.h
in aws-encryption-sdk-cpp/include/aws/cryptosdk/private
 40 - 2021-06-16 2021-06-16 1 1 alex-chew@users.noreply.git... alex-chew@users.noreply.git...
aws_cryptosdk_priv_try_gen_key_harness.c
in verification/cbmc/proofs/aws_cryptosdk_priv_try_gen_key
 63 1 2021-01-19 2021-01-19 1 1 68670922+tegansb@users.nore... 68670922+tegansb@users.nore...
generate_enc_materials_stub.c
in verification/cbmc/stubs
 43 1 2021-01-19 2021-01-19 1 1 68670922+tegansb@users.nore... 68670922+tegansb@users.nore...
hkdf_stub.c
in verification/cbmc/stubs
 17 1 2021-01-19 2021-01-19 1 1 68670922+tegansb@users.nore... 68670922+tegansb@users.nore...
aws_array_list_item_generator_u8_stub.c
in verification/cbmc/stubs
 15 1 2021-01-19 2021-01-19 1 1 68670922+tegansb@users.nore... 68670922+tegansb@users.nore...
transfer_list_stub.c
in verification/cbmc/stubs
 12 1 2021-01-19 2021-01-19 1 1 68670922+tegansb@users.nore... 68670922+tegansb@users.nore...
keyring_trace_clear_stub.c
in verification/cbmc/stubs
 7 1 2021-01-19 2021-01-19 1 1 68670922+tegansb@users.nore... 68670922+tegansb@users.nore...
keyring_trace_clean_up_stub.c
in verification/cbmc/stubs
 6 1 2021-01-19 2021-01-19 1 1 68670922+tegansb@users.nore... 68670922+tegansb@users.nore...
sign_header_harness.c
in verification/cbmc/proofs/sign_header
 49 2 2021-01-11 2024-04-23 3 2 68670922+tegansb@users.nore... tautschn@amazon.com
hdr_write_stub.c
in verification/cbmc/stubs
 20 1 2021-01-11 2021-01-11 1 1 68670922+tegansb@users.nore... 68670922+tegansb@users.nore...
default_cmm_generate_enc_materials_harness.c
in verification/cbmc/proofs/default_cmm_generate_enc_materials
 49 1 2021-01-06 2024-04-23 2 2 73246657+adpaco-aws@users.n... tautschn@amazon.com
on_encrypt_stub.c
in verification/cbmc/stubs
 31 1 2021-01-06 2021-01-07 2 1 73246657+adpaco-aws@users.n... 73246657+adpaco-aws@users.n...
derive_data_key_harness.c
in verification/cbmc/proofs/derive_data_key
 55 1 2020-12-22 2024-04-23 3 3 73246657+adpaco-aws@users.n... tautschn@amazon.com
aws_cryptosdk_hdr_write_harness.c
in verification/cbmc/proofs/aws_cryptosdk_hdr_write
 50 2 2020-12-16 2020-12-16 1 1 68670922+tegansb@users.nore... 68670922+tegansb@users.nore...
aws_default_allocator_stub.c
in verification/cbmc/stubs
 4 - 2020-12-16 2023-01-03 2 2 68670922+tegansb@users.nore... tautschn@amazon.com
aws_cryptosdk_priv_hdr_parse_edks_harness.c
in verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_edks
 55 3 2020-12-15 2021-05-27 2 2 68670922+tegansb@users.nore... alex-chew@users.noreply.git...
aws_cryptosdk_priv_hdr_parse_aad_harness.c
in verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_aad
 43 2 2020-12-15 2020-12-15 1 1 68670922+tegansb@users.nore... 68670922+tegansb@users.nore...
aws_cryptosdk_priv_hdr_parse_alg_suite_data_harness.c
in verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_suite_data
 35 1 2020-12-15 2020-12-15 1 1 68670922+tegansb@users.nore... 68670922+tegansb@users.nore...
aws_cryptosdk_priv_hdr_parse_auth_tag_harness.c
in verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_auth_tag
 33 1 2020-12-15 2020-12-15 1 1 68670922+tegansb@users.nore... 68670922+tegansb@users.nore...
aws_cryptosdk_priv_hdr_parse_iv_harness.c
in verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv
 33 1 2020-12-15 2020-12-15 1 1 68670922+tegansb@users.nore... 68670922+tegansb@users.nore...
aws_cryptosdk_priv_hdr_parse_iv_len_harness.c
in verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_iv_len
 38 1 2020-12-13 2020-12-13 1 1 68670922+tegansb@users.nore... 68670922+tegansb@users.nore...
aws_cryptosdk_priv_hdr_parse_frame_len_harness.c
in verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_frame_len
 37 1 2020-12-13 2020-12-13 1 1 68670922+tegansb@users.nore... 68670922+tegansb@users.nore...
aws_cryptosdk_priv_hdr_parse_alg_id_harness.c
in verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_alg_id
 38 1 2020-12-11 2020-12-22 2 1 68670922+tegansb@users.nore... 68670922+tegansb@users.nore...
aws_cryptosdk_priv_hdr_parse_content_type_harness.c
in verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_content_type
 38 1 2020-12-11 2020-12-11 1 1 68670922+tegansb@users.nore... 68670922+tegansb@users.nore...
aws_cryptosdk_priv_hdr_parse_reserved_harness.c
in verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_reserved
 36 1 2020-12-11 2020-12-11 1 1 68670922+tegansb@users.nore... 68670922+tegansb@users.nore...
aws_cryptosdk_priv_hdr_parse_message_id_harness.c
in verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_id
 34 1 2020-12-11 2020-12-22 2 1 68670922+tegansb@users.nore... 68670922+tegansb@users.nore...
aws_cryptosdk_private_derive_key_harness.c
in verification/cbmc/proofs/aws_cryptosdk_private_derive_key
 54 1 2020-12-10 2020-12-10 1 1 73246657+adpaco-aws@users.n... 73246657+adpaco-aws@users.n...
aws_cryptosdk_private_derive_key_v2_harness.c
in verification/cbmc/proofs/aws_cryptosdk_private_derive_key_v2
 46 1 2020-12-10 2024-04-23 2 2 73246657+adpaco-aws@users.n... tautschn@amazon.com
aws_cryptosdk_priv_hdr_parse_header_version_harness.c
in verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_header_version
 38 1 2020-12-10 2020-12-10 1 1 68670922+tegansb@users.nore... 68670922+tegansb@users.nore...
aws_cryptosdk_private_derive_key_v1_harness.c
in verification/cbmc/proofs/aws_cryptosdk_private_derive_key_v1
 37 1 2020-12-10 2024-04-23 2 2 73246657+adpaco-aws@users.n... tautschn@amazon.com
aws_cryptosdk_priv_hdr_parse_message_type_harness.c
in verification/cbmc/proofs/aws_cryptosdk_priv_hdr_parse_message_type
 36 1 2020-12-10 2020-12-10 1 1 68670922+tegansb@users.nore... 68670922+tegansb@users.nore...
aws_cryptosdk_private_commitment_eq_harness.c
in verification/cbmc/proofs/aws_cryptosdk_private_commitment_eq
 28 1 2020-12-10 2020-12-10 1 1 73246657+adpaco-aws@users.n... 73246657+adpaco-aws@users.n...
utils.c
in verification/cbmc/sources
 28 3 2020-12-10 2020-12-10 1 1 73246657+adpaco-aws@users.n... 73246657+adpaco-aws@users.n...
aws_cryptosdk_private_algorithm_message_id_len_harness.c
in verification/cbmc/proofs/aws_cryptosdk_private_algorithm_message_id_len
 10 1 2020-12-10 2020-12-10 1 1 73246657+adpaco-aws@users.n... 73246657+adpaco-aws@users.n...
utils.h
in verification/cbmc/include
 5 - 2020-12-10 2020-12-10 1 1 73246657+adpaco-aws@users.n... 73246657+adpaco-aws@users.n...
aws_cryptosdk_hdr_size_harness.c
in verification/cbmc/proofs/aws_cryptosdk_hdr_size
 35 1 2020-12-04 2020-12-04 1 1 68670922+tegansb@users.nore... 68670922+tegansb@users.nore...
config.h
in verification/cbmc/include/aws/cryptosdk/private
 1 - 2020-12-04 2020-12-04 1 1 68670922+tegansb@users.nore... 68670922+tegansb@users.nore...
aws_cryptosdk_default_cmm_set_alg_id_harness.c
in verification/cbmc/proofs/aws_cryptosdk_default_cmm_set_alg_id
 18 1 2020-11-27 2020-11-27 1 1 68670922+tegansb@users.nore... 68670922+tegansb@users.nore...
aws_cryptosdk_session_set_commitment_policy_harness.c
in verification/cbmc/proofs/aws_cryptosdk_session_set_commitment_policy
 15 1 2020-11-25 2020-11-25 1 1 68670922+tegansb@users.nore... 68670922+tegansb@users.nore...
aws_cryptosdk_priv_algorithm_allowed_for_decrypt_harness.c
in verification/cbmc/proofs/aws_cryptosdk_priv_algorithm_allowed_for_decrypt
 14 1 2020-11-25 2020-11-25 1 1 68670922+tegansb@users.nore... 68670922+tegansb@users.nore...
aws_cryptosdk_priv_algorithm_allowed_for_encrypt_harness.c
in verification/cbmc/proofs/aws_cryptosdk_priv_algorithm_allowed_for_encrypt
 10 1 2020-11-25 2020-11-25 1 1 68670922+tegansb@users.nore... 68670922+tegansb@users.nore...
run-cbmc-proofs.py
in verification/cbmc/proofs
 303 12 2020-11-11 2022-08-03 3 2 karkhaz@amazon.com anakos@amazon.com
evp_override.c
in verification/cbmc/sources/openssl
 622 52 2020-10-28 2024-04-23 3 3 73246657+adpaco-aws@users.n... tautschn@amazon.com
make_common_data_structures.c
in verification/cbmc/sources
 358 17 2020-10-28 2024-04-23 7 3 73246657+adpaco-aws@users.n... tautschn@amazon.com
ec_override.c
in verification/cbmc/sources/openssl
 279 27 2020-10-28 2024-04-23 3 2 73246657+adpaco-aws@users.n... tautschn@amazon.com
Most Recently Changed Files (Top 50)
File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
materials.h
in include/aws/cryptosdk
 309 20 2018-06-05 2025-04-11 48 17 36861050+david-koenig@users... lucasmcdonald3@gmail.com
enc_ctx.h
in include/aws/cryptosdk
 30 2 2019-01-09 2025-04-11 3 3 36861050+david-koenig@users... lucasmcdonald3@gmail.com
cipher.c
in source
 845 24 2018-03-23 2025-03-04 55 17 bdonlan@amazon.com 107044381+ajewellamz@users....
error.h
in include/aws/cryptosdk
 27 - 2018-02-27 2025-03-04 32 12 bdonlan@amazon.com 107044381+ajewellamz@users....
error.c
in source
 27 1 2018-03-09 2025-03-04 28 14 bdonlan@amazon.com 107044381+ajewellamz@users....
48 - 2018-12-04 2025-02-10 4 3 bdonlan@gmail.com waahm7@gmail.com
evp_override.c
in verification/cbmc/sources/openssl
 622 52 2020-10-28 2024-04-23 3 3 73246657+adpaco-aws@users.n... tautschn@amazon.com
make_common_data_structures.c
in verification/cbmc/sources
 358 17 2020-10-28 2024-04-23 7 3 73246657+adpaco-aws@users.n... tautschn@amazon.com
ec_override.c
in verification/cbmc/sources/openssl
 279 27 2020-10-28 2024-04-23 3 2 73246657+adpaco-aws@users.n... tautschn@amazon.com
evp.h
in verification/cbmc/include/openssl
 111 - 2020-10-28 2024-04-23 2 2 73246657+adpaco-aws@users.n... tautschn@amazon.com
aws_cryptosdk_keyring_trace_copy_all_harness.c
in verification/cbmc/proofs/aws_cryptosdk_keyring_trace_copy_all
 95 7 2020-10-28 2024-04-23 3 3 73246657+adpaco-aws@users.n... tautschn@amazon.com
aws_cryptosdk_edk_list_copy_all_harness.c
in verification/cbmc/proofs/aws_cryptosdk_edk_list_copy_all
 89 7 2020-10-28 2024-04-23 2 2 73246657+adpaco-aws@users.n... tautschn@amazon.com
aws_cryptosdk_cmm_decrypt_materials_harness.c
in verification/cbmc/proofs/aws_cryptosdk_cmm_decrypt_materials
 73 3 2020-10-28 2024-04-23 2 2 73246657+adpaco-aws@users.n... tautschn@amazon.com
list_copy_all_harness.c
in verification/cbmc/proofs/list_copy_all
 71 5 2020-10-28 2024-04-23 2 2 73246657+adpaco-aws@users.n... tautschn@amazon.com
asn1_override.c
in verification/cbmc/sources/openssl
 59 3 2020-10-28 2024-04-23 2 2 73246657+adpaco-aws@users.n... tautschn@amazon.com
make_common_data_structures.h
in verification/cbmc/include
 57 - 2020-10-28 2024-04-23 6 3 73246657+adpaco-aws@users.n... tautschn@amazon.com
derive_data_key_harness.c
in verification/cbmc/proofs/derive_data_key
 55 1 2020-12-22 2024-04-23 3 3 73246657+adpaco-aws@users.n... tautschn@amazon.com
default_cmm_generate_enc_materials_harness.c
in verification/cbmc/proofs/default_cmm_generate_enc_materials
 49 1 2021-01-06 2024-04-23 2 2 73246657+adpaco-aws@users.n... tautschn@amazon.com
sign_header_harness.c
in verification/cbmc/proofs/sign_header
 49 2 2021-01-11 2024-04-23 3 2 68670922+tegansb@users.nore... tautschn@amazon.com
aws_cryptosdk_hkdf_harness.c
in verification/cbmc/proofs/aws_cryptosdk_hkdf
 47 1 2020-10-28 2024-04-23 2 2 73246657+adpaco-aws@users.n... tautschn@amazon.com
aws_cryptosdk_transfer_list_harness.c
in verification/cbmc/proofs/aws_cryptosdk_transfer_list
 47 3 2020-10-28 2024-04-23 2 2 73246657+adpaco-aws@users.n... tautschn@amazon.com
aws_cryptosdk_private_derive_key_v2_harness.c
in verification/cbmc/proofs/aws_cryptosdk_private_derive_key_v2
 46 1 2020-12-10 2024-04-23 2 2 73246657+adpaco-aws@users.n... tautschn@amazon.com
aws_cryptosdk_private_derive_key_v1_harness.c
in verification/cbmc/proofs/aws_cryptosdk_private_derive_key_v1
 37 1 2020-12-10 2024-04-23 2 2 73246657+adpaco-aws@users.n... tautschn@amazon.com
aws_cryptosdk_enc_ctx_size_harness.c
in verification/cbmc/proofs/aws_cryptosdk_enc_ctx_size
 36 3 2020-10-28 2024-04-23 2 2 73246657+adpaco-aws@users.n... tautschn@amazon.com
aws_cryptosdk_enc_ctx_deserialize_harness.c
in verification/cbmc/proofs/aws_cryptosdk_enc_ctx_deserialize
 34 2 2020-10-28 2024-04-23 2 2 73246657+adpaco-aws@users.n... tautschn@amazon.com
aws_cryptosdk_multi_keyring_add_child_harness.c
in verification/cbmc/proofs/aws_cryptosdk_multi_keyring_add_child
 34 1 2020-10-28 2024-04-23 2 2 73246657+adpaco-aws@users.n... tautschn@amazon.com
aws_cryptosdk_enc_ctx_serialize_harness.c
in verification/cbmc/proofs/aws_cryptosdk_enc_ctx_serialize
 33 2 2020-10-28 2024-04-23 2 2 73246657+adpaco-aws@users.n... tautschn@amazon.com
bio_override.c
in verification/cbmc/sources/openssl
 26 1 2020-10-28 2024-04-23 2 2 73246657+adpaco-aws@users.n... tautschn@amazon.com
aws_cryptosdk_enc_ctx_clear_harness.c
in verification/cbmc/proofs/aws_cryptosdk_enc_ctx_clear
 18 1 2020-10-28 2024-04-23 2 2 73246657+adpaco-aws@users.n... tautschn@amazon.com
aws_cryptosdk_enc_materials_new_harness.c
in verification/cbmc/proofs/aws_cryptosdk_enc_materials_new
 15 1 2020-10-28 2024-04-23 2 2 73246657+adpaco-aws@users.n... tautschn@amazon.com
err_override.c
in verification/cbmc/sources/openssl
 12 3 2020-10-28 2024-04-23 2 2 73246657+adpaco-aws@users.n... tautschn@amazon.com
EVP_PKEY_free_no_ec_key_stub.c
in verification/cbmc/stubs
 12 1 2020-10-28 2024-04-23 2 2 73246657+adpaco-aws@users.n... tautschn@amazon.com
rand_override.c
in verification/cbmc/sources/openssl
 9 1 2020-10-28 2024-04-23 2 2 73246657+adpaco-aws@users.n... tautschn@amazon.com
EVP_MD_CTX_free_no_pkey_stub.c
in verification/cbmc/stubs
 9 1 2020-10-28 2024-04-23 2 2 73246657+adpaco-aws@users.n... tautschn@amazon.com
evp_md_ctx_is_valid_no_pkey_stub.c
in verification/cbmc/stubs
 6 1 2020-10-28 2024-04-23 2 2 73246657+adpaco-aws@users.n... tautschn@amazon.com
rand.h
in verification/cbmc/include/openssl
 1 - 2020-10-28 2024-04-23 2 2 73246657+adpaco-aws@users.n... tautschn@amazon.com
cipher.h
in include/aws/cryptosdk/private
 103 1 2018-04-06 2024-04-16 29 10 bdonlan@amazon.com 107044381+ajewellamz@users....
100 - 2019-01-18 2023-09-06 3 2 36861050+david-koenig@users... 107044381+ajewellamz@users....
summarize.py
in verification/cbmc/proofs/lib
 98 7 2022-08-03 2023-03-07 2 2 anakos@amazon.com karkhaz@amazon.com
print_tool_versions.py
in verification/cbmc/proofs/lib
 57 3 2023-03-07 2023-03-07 1 1 karkhaz@amazon.com karkhaz@amazon.com
aws_default_allocator_stub.c
in verification/cbmc/stubs
 4 - 2020-12-16 2023-01-03 2 2 68670922+tegansb@users.nore... tautschn@amazon.com
690 21 2018-08-07 2022-09-06 27 14 bdonlan@amazon.com samuelchungchiang@gmail.com
hkdf.c
in source
 139 4 2018-07-23 2022-09-06 15 7 ttjsu@amazon.com samuelchungchiang@gmail.com
default_cmm.c
in source
 152 5 2018-06-05 2022-08-30 31 11 36861050+david-koenig@users... alex-chew@users.noreply.git...
run-cbmc-proofs.py
in verification/cbmc/proofs
 303 12 2020-11-11 2022-08-03 3 2 karkhaz@amazon.com anakos@amazon.com
__init__.py
in verification/cbmc/proofs/lib
 1 - 2022-08-03 2022-08-03 1 1 anakos@amazon.com anakos@amazon.com
kms_mrk_keyring.h
in aws-encryption-sdk-cpp/include/aws/cryptosdk/cpp
 54 - 2021-06-16 2021-07-13 2 1 alex-chew@users.noreply.git... alex-chew@users.noreply.git...
kms_mrk_keyring.cpp
in aws-encryption-sdk-cpp/source
 525 5 2021-06-16 2021-06-16 1 1 alex-chew@users.noreply.git... alex-chew@users.noreply.git...
kms_keyring.cpp
in aws-encryption-sdk-cpp/source
 408 12 2018-09-06 2021-06-16 29 9 dmutescu@amazon.com alex-chew@users.noreply.git...
cpputils.cpp
in aws-encryption-sdk-cpp/source
 221 18 2018-09-20 2021-06-16 7 4 40601598+mutescu@users.nore... alex-chew@users.noreply.git...