iotcube / hmarkLinks
VUDDY & hmark for IoTcube
☆22Updated 2 years ago
Alternatives and similar repositories for hmark
Users that are interested in hmark are comparing it to the libraries listed below
Sorting:
- ReDeBug Source Code.☆24Updated 2 years ago
- Vulnerability database generator: a submodule for VUDDY☆14Updated last year
- An Automated Vulnerability Detection System☆59Updated 9 years ago
- VUDDY: A Scalable and Accurate Vulnerable Code Clone Detector (S&P'17)☆51Updated last year
- A python interface to joern (deprecated).☆34Updated 7 years ago
- Clang static checker that carries out tainting analysis.☆88Updated 7 years ago
- ☆50Updated 5 years ago
- ☆84Updated 7 years ago
- ☆11Updated 10 years ago
- LRSan: Detecting Lacking-Recheck Bugs in OS Kernels☆30Updated 6 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆64Updated 4 years ago
- Seeding fuzzers with symbolic execution☆203Updated 8 years ago
- ☆55Updated 7 years ago
- fuzzing related paper☆226Updated 4 years ago
- Python utilities for joern☆36Updated 7 years ago
- ☆43Updated 3 years ago
- Pythia (extends AFL with Predictions)☆66Updated 4 years ago
- DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers☆337Updated 3 years ago
- Source-binary patch presence test system.☆84Updated 3 years ago
- pocs of tested targets☆20Updated 7 years ago
- Inferred Model-based Fuzzer☆111Updated 4 years ago
- ☆252Updated 5 years ago
- FairFuzz: AFL extension targeting rare branches☆252Updated 6 years ago
- The released code of FuzzGuard in USENIX Security 2020.☆32Updated 5 years ago
- ☆386Updated 6 years ago
- source code for savior fuzzer☆127Updated 5 years ago
- ☆53Updated 8 years ago
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Updated 8 years ago
- We hinder fuzzing☆69Updated 4 years ago
- ☆47Updated 4 years ago