Explore Projects

Discover 4 open source projects

Active filters (1):

Search: taint-analysis×

Showing 1-4 of 4 projects

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

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

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

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

Get weekly updates on trending AI coding tools and projects.