A curated list of static analysis tools, linters and code quality checkers for various programming languages
☆50Nov 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:
- ☆16Sep 6, 2017Updated 8 years ago
- Official repo for "ProSec: Fortifying Code LLMs with Proactive Security Alignment"☆17Feb 26, 2026Updated 3 months ago
- ☆16Aug 25, 2025Updated 9 months ago
- Vagrant Files to create a Virtualbox VM for Malware Analysis☆13Jun 1, 2021Updated 4 years ago
- Android Testing☆15Mar 24, 2014Updated 12 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆19Sep 16, 2024Updated last year
- ☆44Dec 23, 2014Updated 11 years ago
- Cobalt Strike BOFS☆16Dec 20, 2023Updated 2 years ago
- Utilities for constructing a large dataset of LLVM IR☆25Jun 2, 2025Updated 11 months ago
- BurpSuite extension to assist with Automated Forced Browsing/Endpoint Enumeration☆24Apr 11, 2018Updated 8 years ago
- WhoDAT is an InfoSec Analyzer for Nerds using VirusTotal, Google Safe Browsing, URLScan, Hybrid-Analysis, and OpenAI. Scan URLs, emails, …☆15Jan 4, 2026Updated 4 months ago
- The CompCert formally-verified C compiler☆11Updated this week
- Linux network namespace sysctl safety verifier.☆11Jun 20, 2021Updated 4 years ago
- ATP: Directed Graph Embedding with Asymmetric Transitivity Preservation☆10Apr 18, 2019Updated 7 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.
- Motorola 68k architecture support for binary ninja☆12Jun 7, 2022Updated 3 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
- idaflirt-detector is Python scripts and IDA FLIRT signatures to detect statically linked libraries from stripped ELF file.☆12May 19, 2022Updated 4 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
- A Natural Language Generation System☆14May 20, 2026Updated last week
- Repository for PsychoEvals - a framework for LLM security, psychoanalysis, and moderation.☆18Apr 16, 2023Updated 3 years ago
- Color palette and swatches for macOS's color picker.☆20Jun 9, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Parser for $UsnJrnl on NTFS☆125Nov 27, 2022Updated 3 years ago
- PFI: Prompt Flow Integrity to Prevent Privilege Escalation in LLM Agents☆28Mar 26, 2025Updated last year
- Creating an apk for public publishing☆25May 24, 2016Updated 10 years ago
- A simple Water Tracker application written in pure SwiftUI and SwiftData, syncs with HealthKit and CloudKit.☆17Dec 5, 2024Updated last year
- Script for importing Nmap results into a Neo4j Graph Database☆24May 1, 2025Updated last year
- Neo4j example movie search application with GraphQL backend☆14Apr 3, 2018Updated 8 years ago
- Advanced shellcode injector for images supports BMP, GIF, EXIF (JPEG), and LSB (PNG) techniques. Includes XOR encoding, offset indexing, …☆26Jun 11, 2025Updated 11 months ago
- ☆27Apr 7, 2026Updated last month
- This is a demo application trying to achieve user management needs with keycloak. Can serve as a reference on how to use Keycloak☆14Aug 9, 2018Updated 7 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.
- ☆17Feb 14, 2024Updated 2 years ago
- Ltac2 tutorial☆47Nov 14, 2022Updated 3 years ago
- AI-VAPT is an autonomous AI-driven Vulnerability Assessment & Penetration Testing framework combining traditional VAPT with neural intell…☆96Oct 7, 2025Updated 7 months ago
- 微软7月布丁增加内存延迟释放机制☆11Jul 19, 2014Updated 11 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☆21Sep 18, 2025Updated 8 months ago
- Uses the default firebird database credentials to perform a database dump☆11Jan 10, 2015Updated 11 years ago