Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

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

Open
wants to merge 16 commits into
base: main
Choose a base branch
from
Open

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

wants to merge 16 commits into from

Commits on May 11, 2021

  1. Fix MISRA violations and FORTIFY_SOURCE warnings in core_http_client.c.

    @paulbartell
    paulbartell committed May 11, 2021
    Configuration menu
    Copy the full SHA
    bb14738 View commit details
    Browse the repository at this point in the history

  2. Update unit test to handle null characters in input strings.

    @paulbartell
    paulbartell committed May 11, 2021
    Configuration menu
    Copy the full SHA
    e1e6fe8 View commit details
    Browse the repository at this point in the history

  3. Update ci.yml to run on the latest ubuntu image and enable -fsanitize. 

    Also enables -Werror and -Wno-error=pedantic so that new warnings cause a failed CI build. This includes FORTIFY_SOURCE warnings.
    @paulbartell
    paulbartell committed May 11, 2021
    Configuration menu
    Copy the full SHA
    f801321 View commit details
    Browse the repository at this point in the history

  4. Update lexicon.txt

    @paulbartell
    paulbartell committed May 11, 2021
    Configuration menu
    Copy the full SHA
    8a8605e View commit details
    Browse the repository at this point in the history

  5. Fixup references from httpHeaderStrncpy to httpHeaderCpy

    @paulbartell
    paulbartell committed May 11, 2021
    Configuration menu
    Copy the full SHA
    467392a View commit details
    Browse the repository at this point in the history

  6. Update code size measurements

    @paulbartell
    paulbartell committed May 11, 2021
    Configuration menu
    Copy the full SHA
    4b1ff21 View commit details
    Browse the repository at this point in the history

  7. CBMC update

    @paulbartell
    paulbartell committed May 11, 2021
    Configuration menu
    Copy the full SHA
    db5db98 View commit details
    Browse the repository at this point in the history

  8. Update lexicon

    @paulbartell
    paulbartell committed May 11, 2021
    Configuration menu
    Copy the full SHA
    4bbc37e View commit details
    Browse the repository at this point in the history

  9. Adjust cbmc stubs

    @paulbartell
    paulbartell committed May 11, 2021
    Configuration menu
    Copy the full SHA
    e5554f3 View commit details
    Browse the repository at this point in the history

  10. Add assertion

    @paulbartell
    paulbartell committed May 11, 2021
    Configuration menu
    Copy the full SHA
    5488342 View commit details
    Browse the repository at this point in the history

  11. Try more asserts?

    @paulbartell
    paulbartell committed May 11, 2021
    Configuration menu
    Copy the full SHA
    2c160c8 View commit details
    Browse the repository at this point in the history

  12. Change types

    @paulbartell
    paulbartell committed May 11, 2021
    Configuration menu
    Copy the full SHA
    11f3e15 View commit details
    Browse the repository at this point in the history

  13. CBMC adjustments

    @paulbartell
    paulbartell committed May 11, 2021
    Configuration menu
    Copy the full SHA
    0f2a996 View commit details
    Browse the repository at this point in the history

  14. Add some casts

    @paulbartell
    paulbartell committed May 11, 2021
    Configuration menu
    Copy the full SHA
    b33af43 View commit details
    Browse the repository at this point in the history

Commits on May 12, 2021

  1. use intptr_t

    @paulbartell
    paulbartell committed May 12, 2021
    Configuration menu
    Copy the full SHA
    1e91031 View commit details
    Browse the repository at this point in the history

  2. ptrdiff_t?

    @paulbartell
    paulbartell committed May 12, 2021
    Configuration menu
    Copy the full SHA
    c995041 View commit details
    Browse the repository at this point in the history