#Code-security
Showing 9 of 9 repositories tagged #code-security, ranked by stars
Learn to code securely while having fun through our popular open source in-editor experience, designed for developers, students, and anyone curious about security. Get started for free in under 2 minutes, playing right from your browser.
The community's most comprehensive, continuously-updated index of research on Large Language Models for software vulnerability detection โ papers across function-level, repository-level, agentic, and smart-contract detection, plus datasets, benchmarks, and surveys.
Lightweight, container-free sandbox for running commands with network and filesystem restrictions
DianXing - AI-Driven End-to-End Code Security Auditing
A blazingly fast security scanner, written in Rust. Batteries included, TUI for triage, secrets, post-quantum audits, diff-aware scans and more ๐ฅ
Django application that performs SAST and Malware Analysis for Android APKs
AI-powered SAST scanner that finds auth bypass, IDOR, and logic bugs Semgrep/CodeQL miss. Free GitHub Action. Supports Python, JS/TS, Go, PHP, Ruby.
AISecOps (AI Security Operations) framework for deterministic verification of AI systems. QWED verifies LLM outputs using math, logic, and symbolic execution โ creating an auditable trust boundary for agentic AI systems. Not generation. Verification.
Security gate for AI-generated code - blocks the build until vulnerabilities are fixed