
infer
A static analyzer for Java, C, C++, and Objective-C
code-analysisdevsecopsstatic-analysis+1

A static analyzer for Java, C, C++, and Objective-C

A security focused static analysis tool for Android and Java applications.

Kernel-level eBPF sandbox for securing LLM agent tool calls made through the Model Context Protocol (MCP)

Performant type-checking for python.