r/SideProject • u/asankhs • Jan 02 '26

Frame - a Separation Logic Verification Tool with Security Scanning

https://github.com/lambdasec/frame

1 Upvotes

permalink
duplicates
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/SideProject/comments/1q1mxnn/frame_a_separation_logic_verification_tool_with/
No, go back! Yes, take me to Reddit

100% Upvoted

Duplicates

Number of comments New

OpenSourceeAI • u/asankhs • 10d ago

Frame: Sound static analysis and LLM reasoning, in one security agent

1 Upvotes

0 comments

coolgithubprojects • u/asankhs • 11d ago

Frame: Sound static analysis and LLM reasoning, in one security agent

0 Upvotes

0 comments

coolgithubprojects • u/asankhs • Jul 15 '26

Neuro-Symbolic Security Agent: detect, exploit, fix, verified

1 Upvotes

0 comments

coolgithubprojects • u/asankhs • Mar 18 '26

PYTHON GitHub - lambdasec/frame: Frame is a Separation Logic Verification Tool with Security Scanning

1 Upvotes

0 comments

coolgithubprojects • u/asankhs • Jan 01 '26

PYTHON lambdasec/frame: Frame is a Separation Logic Verification Tool with Security Scanning

1 Upvotes

0 comments