seqra

Here are 2 public repositories matching this topic...

The open source taint analysis engine for the AI era. AST-pattern rules. Whole-program taint analysis. Formal substrate for AI application security.

Apply formal methods and SMT solvers to automate vulnerability discovery and solve complex cryptographic constraints using Rust.

Add a description, image, and links to the seqra topic page so that developers can more easily learn about it.

To associate your repository with the seqra topic, visit your repo's landing page and select "manage topics."