vulnerabilityhistory.org
☆35Oct 11, 2024Updated last year
Alternatives and similar repositories for vulnerability-history
Users that are interested in vulnerability-history are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Data for vulnerabilityhistory.org☆28Jan 9, 2023Updated 3 years ago
- A pedagogically-curated collection of vulnerability demonstrations for undergraduate software engineering students.☆70Feb 5, 2026Updated 5 months ago
- This is the replication package of V-SZZ, which has been accepted by ICSE2022☆15Jan 19, 2026Updated 6 months ago
- implement a full compiler based on c++ 11☆21Apr 24, 2017Updated 9 years ago
- SootDiff - Bytecode Comparison Across Different Java Compilers☆18May 24, 2024Updated 2 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.
- Automatic function exporting and linking for fuzzing cross-architecture binaries.☆51Sep 9, 2018Updated 7 years ago
- Python bindings for libsrcml☆18Aug 25, 2025Updated 10 months ago
- Supporting Materials for “Symbolic Triage” blog post☆24Oct 31, 2022Updated 3 years ago
- Linux crash harness with runtime process instrumentation☆22Nov 7, 2020Updated 5 years ago
- Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.☆21Feb 9, 2023Updated 3 years ago
- A simple /proc/<pid>/{mem,maps} library for Rust☆11May 28, 2022Updated 4 years ago
- A collection of software bug types and articles showcasing the hunt for and exploitation of them.☆20Mar 2, 2021Updated 5 years ago
- RITSEC Weekly Labs☆11Mar 3, 2019Updated 7 years ago
- UpCy automatically finds compatible updates for Maven dependencies.☆12Feb 8, 2026Updated 5 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.
- ☆27Nov 30, 2018Updated 7 years ago
- This PoC illustrates our work on asymmetric white-box cryptography, it can be used to generate a set of lookup tables used for lattice-ba…☆22Mar 24, 2021Updated 5 years ago
- Repo for the OWASP Quick Start Guide☆11Jan 13, 2015Updated 11 years ago
- This project provides several implementations for commit untangling and proposes a new representation of git patches by projecting the pa…☆14Jun 28, 2026Updated 3 weeks ago
- mBERT is a mutation testing tool that uses a pre-trained language model (CodeBERT) to generate mutants.☆17Aug 20, 2025Updated 11 months ago
- SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.☆46Jul 17, 2026Updated last week
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆18Jan 30, 2025Updated last year
- Repository For CTF Write-ups☆17Sep 11, 2023Updated 2 years ago
- Bug Report driven Program Repair☆16Feb 15, 2020Updated 6 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.
- The official repository of ICSME'23 paper "Exploring Security Commits in Python"☆19Jul 12, 2023Updated 3 years ago
- Program to generate vulnerable and fixed synthetic test cases expressing specific flaws.☆16Apr 28, 2026Updated 2 months ago
- ☆16Aug 16, 2023Updated 2 years ago
- Analyze and manipulate binary data based on ELF symbol tables☆20Apr 3, 2024Updated 2 years ago
- ☆35Nov 11, 2021Updated 4 years ago
- VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.☆10Sep 14, 2017Updated 8 years ago
- A Probabilistic Filter Tutorial☆12Nov 16, 2022Updated 3 years ago
- Cloudify vSphere Plugin☆10Dec 12, 2023Updated 2 years ago
- Public Git mirror for the master-level DevOps course given every summer semester at Chalmers and the University of Gothenburg☆19Aug 17, 2022Updated 3 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.
- Automatically look for paramater reflections in the HTTP response☆17Apr 30, 2025Updated last year
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆35Jan 25, 2025Updated last year
- Dockerfile for AFL++ and helpful other tools☆21May 5, 2020Updated 6 years ago
- ☆19Apr 22, 2026Updated 3 months ago
- LaMa, short for Labelling Machine, is an web application developed for aiding in thematic analysis of qualitative data.☆19May 9, 2023Updated 3 years ago
- ☆21Jan 2, 2021Updated 5 years ago
- Static data flow-based analysis of JavaScript files to detect syntactic clones☆23Mar 30, 2020Updated 6 years ago