coreHTTP

coreHTTP copied to clipboard

Unable to handle responses without a Content-Length header or chunked transfer encoding

3

I am using coreHTTP v3.0.0 to communicate with an HTTP/1.1 server that does not include a Content-Length header nor uses chunked transfer encoding. In this case, the server tells the...

AguileraG

### Description CoreHTTP may rely upon state - state which may be accessible across FreeRTOS tasks. We want to verify coreHTTP is task/thread safe by ensuring that state access across...

kstribrnAmzn

Remove macro-defined string constants that are used in a limited number of places or are obvious.

paulbartell

Signed-off-by: Felipe R. Monteiro

feliperodri

karkhaz

Fix gcc warnings in core_http_client.c. Update ci.yml.

1

Fix gcc warnings in http_parser and core_http_client.c. Update ci.yml to use the latest ubuntu image and -Werror and -fsanitize.

paulbartell

Description ----------- This will make proofs use the latest stable release of CBMC. Test Steps ----------- Tested in CI. Checklist: ---------- - [ ] I have tested my changes. No...

tautschnig

Description ----------- With CBMC v6, unwinding assertions are enabled by default, and object bits no longer need to be set at compile time. Update various build rules to use the...

tautschnig