A curated list of static analysis tools, linters and code quality checkers for various programming languages
☆51Nov 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:
- MITMsmtp is an Evil SMTP Server for pentesting SMTP clients to catch login credentials and mails sent over plain or SSL encrypted connect…☆44Jan 28, 2024Updated 2 years ago
- ☆16Sep 6, 2017Updated 8 years ago
- Breakout game implemented using strict ECS architecture. Used as a testbed.☆21Apr 2, 2026Updated 4 months ago
- gitlinks - Git Powered Go-Links! 👴⛓☆24May 31, 2022Updated 4 years ago
- ☆10May 30, 2015Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Vagrant Files to create a Virtualbox VM for Malware Analysis☆13Jun 1, 2021Updated 5 years ago
- Fuzzing things with afl and python-afl☆59Jul 14, 2016Updated 10 years ago
- ☆13Feb 20, 2025Updated last year
- A starter secure code review checklist☆184Nov 26, 2018Updated 7 years ago
- Utilities for constructing a large dataset of LLVM IR☆25Jun 2, 2025Updated last year
- 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
- Tourist is an HTTP API around Microsoft Playwright for CTF challenges☆13Jun 25, 2025Updated last year
- Frontend at: https://github.com/souravrax/codeditor-front☆10Jun 15, 2025Updated last year
- ☆17Feb 2, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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
- Shellcode loader based on indirect syscall☆22Feb 9, 2025Updated last year
- Code for paper "W-RAG: Weakly Supervised Dense Retrieval in RAG for Open-domain Question Answering"☆16Oct 2, 2025Updated 10 months ago
- idaflirt-detector is Python scripts and IDA FLIRT signatures to detect statically linked libraries from stripped ELF file.☆12May 19, 2022Updated 4 years ago
- Finding Valuable Needles in Global Source Code Haystacks with Automation☆17Feb 11, 2021Updated 5 years ago
- Evidence Layer for AI Agent Actions☆17Jun 27, 2026Updated last month
- This is the tool released in the ASE'23 paper "Generative Type Inference for Python".☆28Sep 12, 2023Updated 2 years ago
- Megagrep helps beginning a code review by searching for keywords in the code using "grep". It does not search for vulnerabilities directl…☆14Aug 8, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Developing 30 things with JavaScript each one day for next 30 days.☆10Nov 27, 2020Updated 5 years ago
- WhoDAT is an InfoSec Analyzer for Nerds using VirusTotal, Google Safe Browsing, URLScan, Hybrid-Analysis, and OpenAI. Scan URLs, emails, …☆12Jan 4, 2026Updated 7 months ago
- A Natural Language Generation System☆14Jul 19, 2026Updated 3 weeks ago
- Siren: Byzantine-robust Federated Learning via Proactive Alarming (SoCC '21)☆11Mar 28, 2024Updated 2 years ago
- ☆16Aug 25, 2025Updated 11 months ago
- This write-up will provide detailed description on how to bypass Guided Access mode on Apple iPhones.☆21Apr 23, 2018Updated 8 years ago
- Regular expression Search on the command-line☆16Mar 31, 2025Updated last year
- The TacTok automated Coq proof script synthesis tool☆17Jan 9, 2024Updated 2 years ago
- Parser for $UsnJrnl on NTFS☆125Nov 27, 2022Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- https://arxiv.org/abs/2412.02776☆70Dec 5, 2024Updated last year
- PMP: Cost-Effective Forced Execution with Probabilistic Memory Pre-Planning☆13Sep 8, 2020Updated 5 years ago
- ☆19Feb 2, 2025Updated last year
- Burn After Reading — Zero-knowledge secret sharing. Client-side AES-256-GCM encryption, secrets self-destruct after viewing.☆20May 4, 2026Updated 3 months ago
- Neo4j example movie search application with GraphQL backend☆14Apr 3, 2018Updated 8 years ago
- Monitor Unused IAM Roles 🎓☆13Apr 30, 2021Updated 5 years ago
- Demo code for KubeCon EU 2020 talk☆11Jul 30, 2020Updated 6 years ago