iotcube / hmark
VUDDY & hmark for IoTcube
☆21Updated last year
Alternatives and similar repositories for hmark:
Users that are interested in hmark are comparing it to the libraries listed below
- Vulnerability database generator: a submodule for VUDDY☆13Updated 7 months ago
- VUDDY: A Scalable and Accurate Vulnerable Code Clone Detector (S&P'17)☆52Updated 7 months ago
- ☆51Updated 4 years ago
- A python interface to joern (deprecated).☆34Updated 6 years ago
- An Automated Vulnerability Detection System☆58Updated 8 years ago
- ☆50Updated 7 years ago
- ☆61Updated 7 years ago
- ☆51Updated 6 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆63Updated 3 years ago
- Python utilities for joern☆35Updated 6 years ago
- ReDeBug Source Code.☆24Updated last year
- ☆17Updated 6 years ago
- Source-binary patch presence test system.☆82Updated 2 years ago
- The released code of FuzzGuard in USENIX Security 2020.☆29Updated 4 years ago
- ☆56Updated 3 years ago
- ☆37Updated 2 years ago
- ☆44Updated 2 years ago
- ☆64Updated 5 years ago
- Seeding fuzzers with symbolic execution☆202Updated 7 years ago
- Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)☆54Updated 4 years ago
- The dataset used in the experiments for Esh (http://binsim.com)☆21Updated 8 years ago
- ☆79Updated 6 years ago
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆37Updated last year
- LRSan: Detecting Lacking-Recheck Bugs in OS Kernels☆29Updated 5 years ago
- We hinder fuzzing☆65Updated 3 years ago
- ☆88Updated 3 years ago
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Updated 7 years ago
- Inferred Model-based Fuzzer☆108Updated 2 years ago
- source code for savior fuzzer☆126Updated 4 years ago
- Another crash analyzer tool for the American Fuzzy Lop (AFL) fuzzer☆119Updated 8 years ago