From ff4f3719cd05c01f6ef8a4ad231370e7c43cf593 Mon Sep 17 00:00:00 2001 From: Sandeep85Das Date: Fri, 23 Oct 2026 18:49:42 +0800 Subject: [PATCH] Add Frame --- data/tools/frame.yml | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 data/tools/frame.yml diff --git a/data/tools/frame.yml b/data/tools/frame.yml new file mode 100644 index 000000000..9a35067a0 --- /dev/null +++ b/data/tools/frame.yml @@ -0,0 +1,24 @@ +name: Frame +categories: + - linter +tags: + - c + - cpp + - csharp + - java + - javascript + - python + - security + - typescript + - uses-llm +license: Apache License 2.0 +types: + - cli +source: 'https://github.com/lambdasec/frame' +homepage: 'https://github.com/lambdasec/frame' +description: >- + Security scanner that pairs taint analysis with separation-logic + checks in Z3, plus an optional LLM layer. Symbolic frontends cover + Python, Java, JavaScript/TypeScript, C/C++ and C#. LLM findings are + reported in a separate tier from symbolic ones, and the LLM layer + runs on any OpenAI-compatible endpoint, including a local one.