Showing 1-7 of 7 projects
Performant type-checking for Python, built with OCaml, focused on code quality, security, and static analysis.
A powerful PHP static analysis tool that helps find errors and security vulnerabilities in PHP applications.
A Kubernetes learning resource with hands-on labs for various Kubernetes concepts and tools.
A Java security audit plugin that helps developers find security vulnerabilities in web and Android apps.
A binary code static analyzer with IDA integration, performing value and taint analysis, type reconstruction, and detection of memory errors.
A static taint analysis platform to scan vulnerabilities in Android apps.
This Ruby library provides taint and required checking for Action Pack and enforcement in Active Model.
Get weekly updates on trending AI coding tools and projects.