Explore Projects

Discover 3 open source projects

Active filters (1):

Search: abstract-interpretation×

Showing 1-3 of 3 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 static analyzer for C/C++ based on Abstract Interpretation, useful for software verification and validation.

3.1K

Experimental

C++

Static Analysis

API Frameworks

#static-analysis#software-verification#program-analysis

BinAbsInspector is a Java-based vulnerability scanner that analyzes binary files using abstract interpretation techniques.

1.7K

Archived

Java

Security Research

CLI Tools

#binary-analysis#reverse-engineering#static-analyzer

Get weekly updates on trending AI coding tools and projects.