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

Add use-csa option for analysing cheribuild projects with Clang Static Analyzer #401

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

Add use-csa option for analysing cheribuild projects with Clang Static Analyzer #401

wants to merge 10 commits into from

Commits on Jun 24, 2024

  1. [CSA] Add 'use_csa' option

    @eupharina
    eupharina committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    d17d6f8 View commit details
    Browse the repository at this point in the history

  2. [CSA] Substitute CC with ccc-analyzer when building with use-csa

    @eupharina
    eupharina committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    9882401 View commit details
    Browse the repository at this point in the history

  3. [CSA] Run build command under scan_build for use-csa

    @eupharina
    eupharina committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    f15bb58 View commit details
    Browse the repository at this point in the history

  4. [CSA] Check build options for use-csa

    @eupharina
    eupharina committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    d281a7a View commit details
    Browse the repository at this point in the history

  5. [CSA] Run configure under scan_build with use-csa

    @eupharina
    eupharina committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    939479e View commit details
    Browse the repository at this point in the history

  6. [CSA] Allow build with use-csa for projects 

    newlib, libcxxrt, dlmalloc, compiler-rt-baremetal, sqlite,
zlib, cmake
    @eupharina
    eupharina committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    5e8f67f View commit details
    Browse the repository at this point in the history

  7. [CHERI CSA] Add Build*LLVMWithCSA projects 

    Update paths to installations in --use-csa
    @eupharina
    eupharina committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    62a3c19 View commit details
    Browse the repository at this point in the history

  8. [CHERI CSA] Add exclude_from_csa to MakeOptions

    @eupharina
    eupharina committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    c714664 View commit details
    Browse the repository at this point in the history

  9. [CHERI CSA] Enable CSA for BuildCheriBSD project

    @eupharina
    eupharina committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    e73c43c View commit details
    Browse the repository at this point in the history

  10. [CHERI CSA] Add extra_scan_build_args project property

    @eupharina
    eupharina committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    dd211b3 View commit details
    Browse the repository at this point in the history