A curated list of static analysis tools, linters and code quality checkers for various programming languages
☆53Nov 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- QCRAFT AutoScheduler: a library that allows users to automatically schedule the execution of their own quantum circuits, improving effici…☆18Oct 28, 2025Updated 11 months ago
- ☆16Sep 6, 2017Updated 9 years ago
- Official repo for "ProSec: Fortifying Code LLMs with Proactive Security Alignment"☆19Feb 26, 2026Updated 7 months ago
- ☆10May 30, 2015Updated 11 years ago
- Vagrant Files to create a Virtualbox VM for Malware Analysis☆13Jun 1, 2021Updated 5 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Fuzzing things with afl and python-afl☆59Jul 14, 2016Updated 10 years ago
- Android Testing☆14Mar 24, 2014Updated 12 years ago
- ☆19Sep 16, 2024Updated 2 years ago
- ☆101Sep 22, 2026Updated 3 weeks 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
- A curated list of startup incubators around the globe☆12Apr 5, 2017Updated 9 years ago
- Cobalt Strike BOFS☆17Dec 20, 2023Updated 2 years ago
- Frontend at: https://github.com/souravrax/codeditor-front☆10Jun 15, 2025Updated last year
- The CompCert formally-verified C compiler☆11Aug 24, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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
- Fine-tune GPT2 to generate fake job experiences☆11Jan 17, 2023Updated 3 years ago
- BurpSuite extension to assist with Automated Forced Browsing/Endpoint Enumeration☆24Apr 11, 2018Updated 8 years ago
- BinaryView Plugin for Microcorruption CTF memory dumps☆13Jul 16, 2019Updated 7 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 4 years ago
- Code for paper "W-RAG: Weakly Supervised Dense Retrieval in RAG for Open-domain Question Answering"☆16Oct 2, 2025Updated last year
- Code for personality detection from image and about text from linkedin user url☆12Feb 15, 2021Updated 5 years ago
- Take a QEMU binary, copy the dependencies into a chroot☆11Oct 5, 2022Updated 4 years ago
- Finding Valuable Needles in Global Source Code Haystacks with Automation☆17Feb 11, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An ongoing & curated collection of awesome vulnerability scanning software, libraries and frameworks, best guidelines and technical resou…☆14Apr 9, 2022Updated 4 years ago
- Evidence Layer for AI Agent Actions☆18Jun 27, 2026Updated 3 months ago
- This is the tool released in the ASE'23 paper "Generative Type Inference for Python".☆28Sep 12, 2023Updated 3 years ago
- Developing 30 things with JavaScript each one day for next 30 days.☆10Nov 27, 2020Updated 5 years ago
- C# SDK for SecureAuth IdP API☆11May 31, 2023Updated 3 years ago
- Siren: Byzantine-robust Federated Learning via Proactive Alarming (SoCC '21)☆11Mar 28, 2024Updated 2 years ago
- ☆16Aug 25, 2025Updated last year
- Repository for PsychoEvals - a framework for LLM security, psychoanalysis, and moderation.☆18Apr 16, 2023Updated 3 years ago
- ☆15Apr 13, 2026Updated 6 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- https://arxiv.org/abs/2412.02776☆71Dec 5, 2024Updated last year
- RBCD Attack Path enumeration tool for attackers and defenders☆15Apr 25, 2026Updated 5 months ago
- MCP server for Folo☆17Mar 29, 2025Updated last year
- Neo4j example movie search application with GraphQL backend☆14Apr 3, 2018Updated 8 years ago
- Monitor Unused IAM Roles 🎓☆13Apr 30, 2021Updated 5 years ago
- Arbor — The Agentic RL Sandbox. Checkpoint-native. Branch-safe. Self-hosted.☆14Jun 16, 2026Updated 3 months ago
- ☆23Dec 25, 2024Updated last year