RedHatInsights / vulnerability-engine
Vulnerability Engine
☆14Updated this week
Alternatives and similar repositories for vulnerability-engine:
Users that are interested in vulnerability-engine are comparing it to the libraries listed below
- Vulnerability Metadata as a Service☆42Updated this week
- gradient-based symbolic execution engine implemented from scratch☆35Updated last year
- AFL++ with support for FormatFuzzer☆13Updated 3 years ago
- Toy implementation of a Automated Exploit Generation built on Angr; stiched using radare, pwntools, pyelftools, and Angrop.☆17Updated 3 years ago
- Crashbench is a LLM benchmark to measure bug-finding and reporting capabilities of LLMs☆13Updated 6 months ago
- LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…☆14Updated last year
- Vulnerabilities detection for RHEL system.☆13Updated this week
- Tools created for the DARPA Cyber Grand Challenge that visualize software execution based on traces generated by the CGC Monitor and a Un…☆14Updated 6 years ago
- Apport intercepts Program crashes, collects debugging information about the crash and the operating system environment, and sends it to b…☆24Updated last month
- Evolving fuzzers with large language models☆17Updated last year
- CO-RE code for the Netdata eBPF plugin.☆14Updated 5 months ago
- ☆23Updated 2 years ago
- Pulled out Linux kernel code to run in userland so they could be targeted by AFL and KLEE☆20Updated 5 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆17Updated last year
- Python interface for Binexport, the Bindiff export format☆16Updated last week
- Tools for Linux kernel debugging on Bochs (including symbols, native Bochs debugger and IDA PRO)☆31Updated last year
- Bad packages from the pypi repository☆9Updated 6 years ago
- ☆17Updated 3 weeks ago
- Fast and effective grammar-based fuzzing based on Gramatron☆16Updated last month
- Inspector-gadget (a.k.a. PSHAPE - Practical Support for Half-Automated Program Exploitation) is an open source tool which assists analyst…☆25Updated 5 years ago
- ☆25Updated last year
- A collection of bypasses and exploits for eBPF-based cloud security.☆21Updated last year
- ☆18Updated 7 months ago
- Security Vulnerability Repair via Concolic Execution and Code Mutations☆18Updated 7 months ago
- ☆43Updated this week
- Red Hat Brno Lunch Picker☆13Updated 2 months ago
- ☆19Updated last month
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆21Updated 4 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆46Updated 3 months ago
- ☆38Updated 2 years ago