A curated list of static analysis tools, linters and code quality checkers for various programming languages
☆49Nov 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:
- ☆10Oct 8, 2022Updated 3 years ago
- ☆16Sep 6, 2017Updated 8 years ago
- ☆16Aug 25, 2025Updated 7 months ago
- Vagrant Files to create a Virtualbox VM for Malware Analysis☆13Jun 1, 2021Updated 4 years ago
- Fuzzing things with afl and python-afl☆59Jul 14, 2016Updated 9 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.
- Android Testing☆16Mar 24, 2014Updated 12 years ago
- ☆12Feb 20, 2025Updated last year
- Companion Worm research☆17Nov 8, 2021Updated 4 years ago
- ☆44Dec 23, 2014Updated 11 years ago
- Cobalt Strike BOFS☆16Dec 20, 2023Updated 2 years ago
- A starter secure code review checklist☆184Nov 26, 2018Updated 7 years ago
- Tourist is an HTTP API around Microsoft Playwright for CTF challenges☆13Jun 25, 2025Updated 9 months ago
- BurpSuite extension to assist with Automated Forced Browsing/Endpoint Enumeration☆23Apr 11, 2018Updated 8 years ago
- The CompCert formally-verified C compiler☆11Apr 4, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Linux network namespace sysctl safety verifier.☆11Jun 20, 2021Updated 4 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
- Take a QEMU binary, copy the dependencies into a chroot☆11Oct 5, 2022Updated 3 years ago
- Code for paper "W-RAG: Weakly Supervised Dense Retrieval in RAG for Open-domain Question Answering"☆15Oct 2, 2025Updated 6 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
- Regular expression Search on the command-line☆16Mar 31, 2025Updated last year
- Small binja plugin to import header file to types☆17Nov 11, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A Natural Language Generation System☆14Feb 17, 2024Updated 2 years ago
- This write-up will provide detailed description on how to bypass Guided Access mode on Apple iPhones.☆21Apr 23, 2018Updated 7 years ago
- Code for personality detection from image and about text from linkedin user url☆12Feb 15, 2021Updated 5 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
- PFI: Prompt Flow Integrity to Prevent Privilege Escalation in LLM Agents☆27Mar 26, 2025Updated last year
- PMP: Cost-Effective Forced Execution with Probabilistic Memory Pre-Planning☆13Sep 8, 2020Updated 5 years ago
- 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 10 months ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Script for importing Nmap results into a Neo4j Graph Database☆24May 1, 2025Updated 11 months ago
- ☆25Updated this week
- ☆17Feb 14, 2024Updated 2 years ago
- Summaries of findings from Augurs audits☆11Jun 28, 2018Updated 7 years ago
- Hugo theme that powers awsomsauce!☆10Dec 6, 2022Updated 3 years ago
- Reflection library for Coq☆12Sep 26, 2019Updated 6 years ago
- [USENIX Security 2025] SOFT: Selective Data Obfuscation for Protecting LLM Fine-tuning against Membership Inference Attacks☆20Sep 18, 2025Updated 6 months ago