-
-
Notifications
You must be signed in to change notification settings - Fork 145
Integrate Slither for continuous static analysis #214
Copy link
Copy link
Open
Labels
effort: highLarge or difficult task.Large or difficult task.priority: 3Nice-to-have. Willing to ship without this.Nice-to-have. Willing to ship without this.type: ciChanges to our CI configuration files and scripts.Changes to our CI configuration files and scripts.work: complicatedSense-analyze-respond. The relationship between cause and effect requires analysis or expertise.Sense-analyze-respond. The relationship between cause and effect requires analysis or expertise.
Description
Activity
Metadata
Metadata
Assignees
Labels
effort: highLarge or difficult task.Large or difficult task.priority: 3Nice-to-have. Willing to ship without this.Nice-to-have. Willing to ship without this.type: ciChanges to our CI configuration files and scripts.Changes to our CI configuration files and scripts.work: complicatedSense-analyze-respond. The relationship between cause and effect requires analysis or expertise.Sense-analyze-respond. The relationship between cause and effect requires analysis or expertise.
Slither v0.10.0 is compatible with PRBMath, so we can now configure it to run in CI like here:
https://github.com/PaulRBerg/prb-proxy/blob/245e2bd4ae9e3ac2eb632ef728f711e81ad6fbf5/.github/workflows/ci.yml#L152-L176