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.

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

ci: add slither static analysis #211

Merged
merged 1 commit into from
Jul 10, 2024
Merged

ci: add slither static analysis #211

merged 1 commit into from
Jul 10, 2024

Conversation

fbac
Copy link
Contributor

@fbac fbac commented Jul 8, 2024

  • Fix a typo in the Coverage workflow.
  • Add Slither to the CI.
  • Slither can also be used as a CLI tool running slither . in the root of the repository, it will use the provided slither.config.json.
  • Fixes Integrating Slither #165

Summary by CodeRabbit

  • New Features

    • Introduced a new GitHub Actions workflow named "Slither" for smart contract analysis.
    • Added slither.config.json for configuring project-specific analysis settings.
  • Chores

    • Renamed the "Test" workflow to "Coverage" for better clarity in GitHub Actions.

Copy link
Contributor

coderabbitai bot commented Jul 8, 2024

Walkthrough

The recent update introduces a new GitHub Actions workflow for smart contract analysis using Slither, and modifies an existing workflow name to more accurately reflect its purpose. The new slither.config.json file includes configuration settings for the Slither analysis tool, aimed at refining the project's code analysis capabilities.

Changes

File Path Change Summary
.github/workflows/coverage.yaml Renamed workflow from "Test" to "Coverage".
.github/workflows/slither.yaml Introduced new "Slither" workflow for smart contract analysis.
slither.config.json Added new configuration settings for Slither tool.

Poem

Renamed a workflow, "Test" no more,
"Coverage" it’s named, to fit the chore.
Slither slinks in with analysis keen,
A config to guide, code clean as seen.
Our code’s now sharper, each bug on the run,
With actions so swift, the project's fun! 🌟


Thank you for using CodeRabbit. We offer it for free to the OSS community and would appreciate your support in helping us grow. If you find it useful, would you consider giving us a shout-out on your favorite social media?

Share
Tips

Chat

There are 3 ways to chat with CodeRabbit:

  • Review comments: Directly reply to a review comment made by CodeRabbit. Example:
    • I pushed a fix in commit <commit_id>.
    • Generate unit testing code for this file.
    • Open a follow-up GitHub issue for this discussion.
  • Files and specific lines of code (under the "Files changed" tab): Tag @coderabbitai in a new review comment at the desired location with your query. Examples:
    • @coderabbitai generate unit testing code for this file.
    • @coderabbitai modularize this function.
  • PR comments: Tag @coderabbitai in a new PR comment to ask questions about the PR branch. For the best results, please provide a very specific query, as very limited context is provided in this mode. Examples:
    • @coderabbitai generate interesting stats about this repository and render them as a table.
    • @coderabbitai show all the console.log statements in this repository.
    • @coderabbitai read src/utils.ts and generate unit testing code.
    • @coderabbitai read the files in the src/scheduler package and generate a class diagram using mermaid and a README in the markdown format.
    • @coderabbitai help me debug CodeRabbit configuration file.

Note: Be mindful of the bot's finite context window. It's strongly recommended to break down tasks such as reading entire modules into smaller chunks. For a focused discussion, use review comments to chat about specific files and their changes, instead of using the PR comments.

CodeRabbit Commands (invoked as PR comments)

  • @coderabbitai pause to pause the reviews on a PR.
  • @coderabbitai resume to resume the paused reviews.
  • @coderabbitai review to trigger an incremental review. This is useful when automatic reviews are disabled for the repository.
  • @coderabbitai full review to do a full review from scratch and review all the files again.
  • @coderabbitai summary to regenerate the summary of the PR.
  • @coderabbitai resolve resolve all the CodeRabbit review comments.
  • @coderabbitai configuration to show the current CodeRabbit configuration for the repository.
  • @coderabbitai help to get help.

Additionally, you can add @coderabbitai ignore anywhere in the PR description to prevent this PR from being reviewed.

CodeRabbit Configration File (.coderabbit.yaml)

  • You can programmatically configure CodeRabbit by adding a .coderabbit.yaml file to the root of your repository.
  • Please see the configuration documentation for more information.
  • If your editor has YAML language server enabled, you can add the path at the top of this file to enable auto-completion and validation: # yaml-language-server: $schema=https://coderabbit.ai/integrations/schema.v2.json

Documentation and Community

  • Visit our Documentation for detailed information on how to use CodeRabbit.
  • Join our Discord Community to get help, request features, and share feedback.
  • Follow us on X/Twitter for updates and announcements.

@github-advanced-security
Copy link

This pull request sets up GitHub code scanning for this repository. Once the scans have completed and the checks have passed, the analysis results for this pull request branch will appear on this overview. Once you merge this pull request, the 'Security' tab will show more code scanning analysis results (for example, for the default branch). Depending on your configuration and choice of analysis tool, future pull requests will be annotated with code scanning analysis results. For more information about GitHub code scanning, check out the documentation.

Copy link
Contributor

@coderabbitai coderabbitai bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Actionable comments posted: 0

Review details

Configuration used: .coderabbit.yaml
Review profile: CHILL

Commits

Files that changed from the base of the PR and between 41920d0 and 6ba45ba.

Files selected for processing (3)
  • .github/workflows/coverage.yaml (1 hunks)
  • .github/workflows/slither.yaml (1 hunks)
  • slither.config.json (1 hunks)
Files skipped from review due to trivial changes (2)
  • .github/workflows/coverage.yaml
  • slither.config.json
Additional comments not posted (5)
.github/workflows/slither.yaml (5)

1-15: LGTM! Workflow name and triggers are appropriate.

The workflow is correctly named "Slither" and is triggered on push to the main branch and specific pull request events.


16-22: LGTM! Job configuration is appropriate.

The job runs on ubuntu-latest and has the necessary permissions to read contents and write security events.


23-31: LGTM! Steps for checking out the repository and setting up Node.js are appropriate.

The steps use actions/checkout@v3 to check out the repository and actions/setup-node@v2 to set up Node.js version 18.


32-37: LGTM! Steps for installing dependencies and compiling contracts are appropriate.

The steps install dependencies using yarn install and compile contracts using yarn compile.


38-50: LGTM! Steps for running Slither and uploading SARIF files are appropriate.

The steps run Slither using crytic/slither-action@main and upload SARIF files using github/codeql-action/upload-sarif@v3. The continue-on-error: true ensures that the workflow continues even if Slither finds issues, which is useful for reporting.

@codecov-commenter
Copy link

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 59.25%. Comparing base (41920d0) to head (6ba45ba).

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #211   +/-   ##
=======================================
  Coverage   59.25%   59.25%           
=======================================
  Files          31       31           
  Lines        1048     1048           
  Branches      217      217           
=======================================
  Hits          621      621           
  Misses        427      427           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@lumtis lumtis merged commit b0fbc16 into main Jul 10, 2024
11 checks passed
@lumtis lumtis deleted the ci-slither branch July 10, 2024 15:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Integrating Slither
4 participants