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:
- VUDDY: A Scalable and Accurate Vulnerable Code Clone Detector (S&P'17)☆51Updated 10 months ago
- An Automated Vulnerability Detection System☆59Updated 9 years ago
- ReDeBug Source Code.☆24Updated 2 years ago
- Vulnerability database generator: a submodule for VUDDY☆14Updated last year
- ☆55Updated 7 years ago
- Clang static checker that carries out tainting analysis.☆88Updated 7 years ago
- A python interface to joern (deprecated).☆34Updated 7 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆64Updated 4 years ago
- ☆11Updated 10 years ago
- ☆50Updated 5 years ago
- LRSan: Detecting Lacking-Recheck Bugs in OS Kernels☆30Updated 6 years ago
- Python utilities for joern☆36Updated 7 years ago
- The released code of FuzzGuard in USENIX Security 2020.☆32Updated 5 years ago
- ☆54Updated 8 years ago
- ☆84Updated 7 years ago
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Updated 8 years ago
- fuzzing related paper☆228Updated 4 years ago
- ANTLR 3 fuzzy parser☆49Updated 12 years ago
- Seeding fuzzers with symbolic execution☆203Updated 8 years ago
- ☆37Updated 3 years ago
- Static data flow-based analysis of JavaScript files to detect syntactic clones☆23Updated 5 years ago
- ☆43Updated 3 years ago
- source code for savior fuzzer☆127Updated 5 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…☆47Updated 2 years ago
- ☆14Updated 6 years ago
- pocs of tested targets☆20Updated 7 years ago
- Inferred Model-based Fuzzer☆111Updated 3 years ago
- We hinder fuzzing☆69Updated 3 years ago
- Home page for this github organization☆22Updated 7 years ago
- ☆17Updated 7 years ago