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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add C Contracts package #512

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

Add C Contracts package #512

wants to merge 15 commits into from

Commits on Jan 30, 2024

  1. Contracts: add metadata.

    @lcartey
    lcartey committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    84f007e View commit details
    Browse the repository at this point in the history

  2. MSC40-C: Add query for finding inline linkage constraints. 

    Adds a query that finds cases where extern inlined functions
reference internal linkage objects, or declare objects which are
static or thread local.
    @lcartey
    lcartey committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    52bdbd7 View commit details
    Browse the repository at this point in the history

  3. DIR-4-11: Add query for checking math.h functions 

    Add query which detects domain and pole errors for math.h functions.
    @lcartey
    lcartey committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    dcb32c1 View commit details
    Browse the repository at this point in the history

  4. DIR-4-7: Create shared query for unchecked return values 

    Create a new shared query from the implementation of M0-3-2, which
detects cases where error checking has not occurred after a call
to a standard C library function.
    @lcartey
    lcartey committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    3771240 View commit details
    Browse the repository at this point in the history

  5. FunctionErroneousReturnValueNotTested rewritten for clarity

    @lcartey
    lcartey committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    8120089 View commit details
    Browse the repository at this point in the history

  6. Add name of function to message.

    @lcartey
    lcartey committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    7e5ef5f View commit details
    Browse the repository at this point in the history

  7. Add implementation scope properties 

    Specify the scope of each of the newly supported rules.
    @lcartey
    lcartey committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    a19855b View commit details
    Browse the repository at this point in the history

  8. Add change note.

    @lcartey
    lcartey committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    9b7102e View commit details
    Browse the repository at this point in the history

  9. Merge branch 'main' into lcartey/contracts

    @lcartey
    lcartey committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    2794921 View commit details
    Browse the repository at this point in the history

  10. Add missing file.

    @lcartey
    lcartey committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    78d5e79 View commit details
    Browse the repository at this point in the history

  11. Update expected result files.

    @lcartey
    lcartey committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    9776de1 View commit details
    Browse the repository at this point in the history

  12. Update rules.csv to exclude unimplemented contracts rules.

    @lcartey
    lcartey committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    af92262 View commit details
    Browse the repository at this point in the history

  13. Update documentation.

    @lcartey
    lcartey committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    3d2cd94 View commit details
    Browse the repository at this point in the history

  14. Fix formatting

    @lcartey
    lcartey committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    bccdb93 View commit details
    Browse the repository at this point in the history

  15. Fix test formatting

    @lcartey
    lcartey committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    337604e View commit details
    Browse the repository at this point in the history