plum-umd / pasketView external linksLinks
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☆23Jan 16, 2016Updated 10 years ago
- Pandemic binary program analysis framework in OCaml (abandoned)☆71May 28, 2019Updated 6 years ago
- ☆11May 10, 2025Updated 9 months ago
- JITed Taint Tracking in V8☆15May 19, 2014Updated 11 years ago
- ☆10May 24, 2023Updated 2 years ago
- Code coverage reporting tool☆51Nov 27, 2016Updated 9 years ago
- Natural Language Inflection in English☆11Jan 10, 2022Updated 4 years ago
- small, fast memset based on microsoft's design☆13Apr 5, 2022Updated 3 years ago
- Custom linux kernel module that re-enables fn-keys on the Gigabyte Aero 15 SB☆10Aug 4, 2022Updated 3 years ago
- Angular Elements with ProseMirror☆12May 5, 2018Updated 7 years ago
- (DEPRECATED) A set of launcher scripts to be used with OAR and Slurm for running jobs on the UL HPC platform☆14Oct 23, 2020Updated 5 years ago
- HSAIL (BRIG) frontend for gcc☆11May 7, 2018Updated 7 years ago
- ☆11Mar 29, 2019Updated 6 years ago
- NeuralTokenizer is a very simple to use text tokenizer which uses neural networks from the SimpleDNN library.☆10Jun 18, 2020Updated 5 years ago
- Expected edit distance implementation using OpenFst tools☆11May 13, 2015Updated 10 years ago
- Automatically exported from code.google.com/p/windbgshark☆11Jul 1, 2015Updated 10 years ago
- This directory contains random scripts from threat hunting or malware research☆11Feb 15, 2018Updated 8 years ago
- Manticore Ransomware Emulation - Educational Purpose Only!☆10Aug 2, 2020Updated 5 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Nov 3, 2019Updated 6 years ago
- SGS4 kernel for AT&T, Sprint, T-Mobile and Verizon☆29Apr 6, 2015Updated 10 years ago
- Human Evaluation Benchmark for Text Simplification☆10Sep 6, 2018Updated 7 years ago
- JavaScript library for editing curves☆10Apr 19, 2018Updated 7 years ago
- Blogs that I'm actively following.☆13Sep 17, 2023Updated 2 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,…☆10Dec 4, 2025Updated 2 months ago
- Quantum Insert Backdoor POC☆11May 21, 2017Updated 8 years ago
- Store a JSON mapping of a directory.☆12Mar 4, 2023Updated 2 years ago
- VueJS directive to observe changes in DOM use MutationObserver API☆11Aug 13, 2018Updated 7 years ago
- My PoCs☆10Apr 5, 2020Updated 5 years ago
- Sydr benchmark applications☆17Jul 25, 2022Updated 3 years ago
- gnome extension based on the implementation of extendedgesture☆10Apr 24, 2021Updated 4 years ago
- Library of functions to apply Data Science in several forensics artifacts☆40Aug 19, 2024Updated last year
- DroidForce Project Repository. See our ARES'2014 paper for the details on DroidForce.☆19Mar 9, 2016Updated 9 years ago
- Easily use TypeScript enums in Vue SFC templates☆12Sep 18, 2019Updated 6 years ago
- Android语音助手,可以播放音乐,打电话,聊天等☆12Aug 14, 2014Updated 11 years ago
- Additional material for the malware variants identification paper☆10Sep 6, 2019Updated 6 years ago
- Decompile .Net code in Powershell☆13Sep 21, 2015Updated 10 years ago
- Binary matching with Binary Ninja☆22Jul 8, 2024Updated last year
- ☆11Jul 16, 2017Updated 8 years ago
- ☆13Apr 26, 2023Updated 2 years ago