A curated list of static analysis tools, linters and code quality checkers for various programming languages
☆47Nov 15, 2016Updated 9 years ago
Alternatives and similar repositories for awesome-static-analysis
Users that are interested in awesome-static-analysis are comparing it to the libraries listed below
Sorting:
- Official repo for "ProSec: Fortifying Code LLMs with Proactive Security Alignment"☆17Feb 26, 2026Updated 3 weeks ago
- ☆16Aug 25, 2025Updated 6 months ago
- Fuzzing things with afl and python-afl☆59Jul 14, 2016Updated 9 years ago
- Companion Worm research☆16Nov 8, 2021Updated 4 years ago
- Example taskflows to use with the GitHub Security Lab Taskflow Agent (https://github.com/GitHubSecurityLab/seclab-taskflow-agent)☆38Updated this week
- BurpSuite extension to assist with Automated Forced Browsing/Endpoint Enumeration☆23Apr 11, 2018Updated 7 years ago
- The CompCert formally-verified C compiler☆11Mar 15, 2026Updated last week
- A collection of AI-generated images papers and corresponding source code/demo program, including text-to-image, image translation (e.g., …☆13Nov 21, 2023Updated 2 years ago
- A docker container to simplify and secure the use of Infrastructure as Code (IaC)☆78Updated this week
- Fine-tune GPT2 to generate fake job experiences☆11Jan 17, 2023Updated 3 years ago
- ATP: Directed Graph Embedding with Asymmetric Transitivity Preservation☆10Apr 18, 2019Updated 6 years ago
- This is the implementation for IEEE S&P 2022 paper "Model Orthogonalization: Class Distance Hardening in Neural Networks for Better Secur…☆11Aug 24, 2022Updated 3 years ago
- BinaryView Plugin for Microcorruption CTF memory dumps☆13Jul 16, 2019Updated 6 years ago
- Code for paper "W-RAG: Weakly Supervised Dense Retrieval in RAG for Open-domain Question Answering"☆15Oct 2, 2025Updated 5 months ago
- Anyone can contribute in any domain! An open-source repository to contribute Learning Resources. Contribute to this repository as a part …☆10Dec 7, 2020Updated 5 years ago
- Megagrep helps beginning a code review by searching for keywords in the code using "grep". It does not search for vulnerabilities directl…☆15Aug 8, 2022Updated 3 years ago
- ☆22Dec 25, 2025Updated 2 months ago
- A Natural Language Generation System☆14Feb 17, 2024Updated 2 years ago
- AI-VAPT is an autonomous AI-driven Vulnerability Assessment & Penetration Testing framework combining traditional VAPT with neural intell…☆88Oct 7, 2025Updated 5 months ago
- ☆15Jan 22, 2026Updated 2 months ago
- This write-up will provide detailed description on how to bypass Guided Access mode on Apple iPhones.☆21Apr 23, 2018Updated 7 years ago
- Repository for PsychoEvals - a framework for LLM security, psychoanalysis, and moderation.☆18Apr 16, 2023Updated 2 years ago
- Color palette and swatches for macOS's color picker.☆20Jun 9, 2020Updated 5 years ago
- The TacTok automated Coq proof script synthesis tool☆17Jan 9, 2024Updated 2 years ago
- Code for personality detection from image and about text from linkedin user url☆12Feb 15, 2021Updated 5 years ago
- PFI: Prompt Flow Integrity to Prevent Privilege Escalation in LLM Agents☆27Mar 26, 2025Updated 11 months ago
- CrewAI-Agentic-Jira: Enhance your Jira workflows with intelligent agent-driven automation. Powered by the CrewAI framework, this project …☆22Feb 3, 2025Updated last year
- Creating an apk for public publishing☆25May 24, 2016Updated 9 years ago
- Advanced shellcode injector for images supports BMP, GIF, EXIF (JPEG), and LSB (PNG) techniques. Includes XOR encoding, offset indexing, …☆26Jun 11, 2025Updated 9 months ago
- Script for importing Nmap results into a Neo4j Graph Database☆24May 1, 2025Updated 10 months ago
- Neo4j example movie search application with GraphQL backend☆14Apr 3, 2018Updated 7 years ago
- A simple Water Tracker application written in pure SwiftUI and SwiftData, syncs with HealthKit and CloudKit.☆17Dec 5, 2024Updated last year
- ☆21Dec 25, 2024Updated last year
- ☆13Aug 29, 2024Updated last year
- Ltac2 tutorial☆47Nov 14, 2022Updated 3 years ago
- 微软7月布丁增加内存延迟释放机制☆11Jul 19, 2014Updated 11 years ago
- Hugo theme that powers awsomsauce!☆10Dec 6, 2022Updated 3 years ago
- Reflection library for Coq☆12Sep 26, 2019Updated 6 years ago
- QCRAFT AutoScheduler: a library that allows users to automatically schedule the execution of their own quantum circuits, improving effici…☆18Oct 28, 2025Updated 4 months ago