An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.

secret-hunter is a tool for performing authorized static analysis of software packages to find exposed API keys and secrets. It produces actionable, step-by-step remediation guides for each finding.

Show those pesky bugs who is the boss by detecting and removing bugs in a code!✨