AppShark
Static taint analysis platform to scan vulnerabilities
...Because it is static and rule-driven, AppShark can scale to large codebases, be integrated into CI/CD pipelines, or operate as part of security audits before publishing or distribution. After analysis, it outputs structured results (e.g. JSON summaries) detailing detected risks, their paths, and metadata.