Lambda Security
Change the repository type filter
All
Repositories list
10 repositories
- Frame is a Separation Logic Verification Tool with Security Scanning
lambdasec.github.io
Publicopenevolve
Publicpatchwork
Public- Autogrep automates Semgrep rule generation and filtering by using LLMs to analyze vulnerability patches, enabling automatic creation of high-quality security ru…
autofix
PublicStatic Analysis meets Large Language Modelsbotwall4j
Publicsapling
Publiclambda-advisory-db
PublicA database of vulnerabilities associated with functional languagescommit-watcher
Public
ProTip! When viewing an organization's repositories, you can use the
props. filter to filter by custom property.