Explore Projects

Discover 7 open source projects

Active filters (1):
Search: taintร—
Clear all

Showing 1-7 of 7 projects

facebook/pyre-check

Performant type-checking for Python, built with OCaml, focused on code quality, security, and static analysis.

7.1K
Active
OCaml
Linters & Formatters
Security Research
#type-checking#static-analysis#code-quality

vimeo/psalm

A powerful PHP static analysis tool that helps find errors and security vulnerabilities in PHP applications.

5.8K
Active
PHP
Linters & Formatters
Authentication
#php#security-analysis#static-analysis

omerbsezer/Fast-Kubernetes

A Kubernetes learning resource with hands-on labs for various Kubernetes concepts and tools.

2.7K
Experimental
PowerShell
CLI Tools
Containerization
#kubernetes#kubectl#kubernetes-deployment

find-sec-bugs/find-sec-bugs

A Java security audit plugin that helps developers find security vulnerabilities in web and Android apps.

2.4K
Experimental
Java
Security Research
Linters & Formatters
#security-audit#static-analysis#cwe

airbus-seclab/bincat

A binary code static analyzer with IDA integration, performing value and taint analysis, type reconstruction, and detection of memory errors.

1.9K
Experimental
OCaml
Reverse Engineering
Security Research
#binary-analysis#static-analysis#reverse-engineering

bytedance/appshark

A static taint analysis platform to scan vulnerabilities in Android apps.

1.7K
Stable
Kotlin
Security Research
Android
Kotlin
#android#compliance#static-analysis

rails/strong_parameters

This Ruby library provides taint and required checking for Action Pack and enforcement in Active Model.

1.3K
Archived
Ruby
API Frameworks
Testing
Rails
#authentication#security#validation

Stay in the loop

Get weekly updates on trending AI coding tools and projects.