Synthesizing Framework Models for Symbolic Execution
☆15Sep 15, 2016Updated 9 years ago
Alternatives and similar repositories for pasket
Users that are interested in pasket are comparing it to the libraries listed below
Sorting:
- Dynamic Symbolic Execution of Android Apps☆24Jan 16, 2016Updated 10 years ago
- Handy scripts to speed up malware analysis☆34Oct 3, 2023Updated 2 years ago
- A Java version of the automatic program repair described by RSRepair and GenProg.☆11Jan 6, 2016Updated 10 years ago
- The repository for the LUCAS/Lucify project☆11Apr 4, 2020Updated 5 years ago
- JITed Taint Tracking in V8☆15May 19, 2014Updated 11 years ago
- Code coverage reporting tool☆51Nov 27, 2016Updated 9 years ago
- small, fast memset based on microsoft's design☆13Apr 5, 2022Updated 3 years ago
- JavaScript library for editing curves☆10Apr 19, 2018Updated 7 years ago
- Manticore Ransomware Emulation - Educational Purpose Only!☆10Aug 2, 2020Updated 5 years ago
- SGS4 kernel for AT&T, Sprint, T-Mobile and Verizon☆29Apr 6, 2015Updated 10 years ago
- Dynamic Identification and Recognition Technology☆10Nov 1, 2016Updated 9 years ago
- gnome extension based on the implementation of extendedgesture☆10Apr 24, 2021Updated 4 years ago
- HSAIL (BRIG) frontend for gcc☆11May 7, 2018Updated 7 years ago
- Human Evaluation Benchmark for Text Simplification☆10Sep 6, 2018Updated 7 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Nov 3, 2019Updated 6 years ago
- Angular Elements with ProseMirror☆12May 5, 2018Updated 7 years ago
- Charter for a W3C WebView Community Group☆10Feb 23, 2024Updated 2 years ago
- This directory contains random scripts from threat hunting or malware research☆11Feb 15, 2018Updated 8 years ago
- Hearst Patterns to extract Hypernyms from text☆13Oct 30, 2019Updated 6 years ago
- Expected edit distance implementation using OpenFst tools☆11May 13, 2015Updated 10 years ago
- Sydr benchmark applications☆17Jul 25, 2022Updated 3 years ago
- My PoCs☆10Apr 5, 2020Updated 5 years ago
- Quantum Insert Backdoor POC☆11May 21, 2017Updated 8 years ago
- Automatically exported from code.google.com/p/windbgshark☆11Jul 1, 2015Updated 10 years ago
- Custom linux kernel module that re-enables fn-keys on the Gigabyte Aero 15 SB☆10Aug 4, 2022Updated 3 years ago
- A platform that provides users with easy access to AI services developed by Montimage and usage of explainable AI techniques (e.g., LIME,…☆10Feb 17, 2026Updated 2 weeks ago
- Blogs that I'm actively following.☆13Sep 17, 2023Updated 2 years ago
- ☆15Nov 29, 2017Updated 8 years ago
- HSAIL Instruction Set Simulator - for testing execution of HSAIL Brig files☆36Sep 18, 2014Updated 11 years ago
- DirectWrite bindings and wrapper for Rust☆13Feb 13, 2026Updated 3 weeks ago
- Easily use TypeScript enums in Vue SFC templates☆12Sep 18, 2019Updated 6 years ago
- The official implementation of ManiAgent☆23Jan 4, 2026Updated 2 months ago
- ☆12Jan 28, 2021Updated 5 years ago
- C# exfiltration tool☆13Sep 24, 2021Updated 4 years ago
- ☆12Oct 9, 2024Updated last year
- ☆11Jul 16, 2017Updated 8 years ago
- API for WOLF, a free French WordNet☆14May 4, 2018Updated 7 years ago
- This repository contains the PLOD Dataset for Abbreviation Detection released with our LREC 2022 publication☆12Sep 25, 2022Updated 3 years ago
- Github repo for the Evaluation of ChatGPT Family of Models for Biomedical Reasoning and Classification, code and data | Paper: https://ar…☆14Apr 6, 2023Updated 2 years ago