Daniel Schwartz-Narbonne

This was a request from https://github.com/awslabs/aws-c-common/pull/469

Integrate remaining aws_string proofs once necessary CBMC enhancements done

2

- [ ] aws_string_new_from_c_str - [ ] aws_string_new_from_array - [ ] aws_string_new_from_string - [ ] aws_array_list_comparator_string

### Description of changes: This is a draft PR to codegen all the way to goto-binary, not just symtab json. Should make the process faster and more parallel. ### Resolved...

Reply to https://github.com/diffblue/cbmc/issues/7042

Autoformat yaml files

5

We don't do this currently, and it causes bugs like #1644

PointerCast::ClosureFnPointer is unimplemented

3

I tried this code: ```rust #![feature(core_intrinsics)] use std::intrinsics::r#try; fn main() { unsafe { r#try( |_a: *mut u8| panic!("foo"), std::ptr::null_mut(), |_a: *mut u8, _b: *mut u8| println!("bar"), ); } } ```...

https://github.com/diffblue/cbmc/issues/6219

SSLv3 s2n_hmac_test uses keys of the wrong lengths

2

https://github.com/awslabs/s2n/blob/master/tests/unit/s2n_hmac_test.c#L32 In SSLv3, the size of the key is fixed to be the same as the output size of the hash function, so the keys should be 16 bytes for...