Slither

Foundry set-up

Create slither.config.json

{
  "filter_paths": "lib",
  "solc_remaps": [
    "ds-test/=lib/ds-test/src/",
    "forge-std/=lib/forge-std/src/",
    "openzeppelin-contracts/=lib/openzeppelin-contracts/"
  ]
}

Run slither on the entire codebase:

slither .

If required, update the solc compiler used by Slither to the same version used by Forge with solc-select

pip3 install slither-analyzer
pip3 install solc-select
solc-select install 0.8.13
solc-select use 0.8.13
slither .

Slither Documentation - https://github.com/crytic/slither/wiki/Detector-Documentation