Applied Symbolic Execution with KLEE/LLVM
☆24Jun 7, 2013Updated 12 years ago
Alternatives and similar repositories for symbolic-execution
Users that are interested in symbolic-execution are comparing it to the libraries listed below
Sorting:
- OS X rootkit loader version #2☆12Apr 9, 2015Updated 10 years ago
- ☆11Mar 17, 2015Updated 10 years ago
- american fuzzy lop fuzzer from lcamtuf☆14Oct 31, 2014Updated 11 years ago
- Python scripts for gdb, reverse engineering oriented☆16Sep 20, 2016Updated 9 years ago
- Ditto.☆18Jul 23, 2020Updated 5 years ago
- idb2pat plugin, fixed to work with IDA 6.2☆23Oct 8, 2011Updated 14 years ago
- android and linux injec& hook☆20Aug 23, 2016Updated 9 years ago
- Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints☆20Nov 24, 2021Updated 4 years ago
- 宝贝三十六计是一款针对3-6岁儿童的益智策略类游戏，主要用来教会宝宝识别坏人的伎俩，不轻易相信坏人。基于Cocos2d-x 3.17.2和自主开发的Quick Engine开发。☆17Sep 29, 2020Updated 5 years ago
- Dynamic Program Analysis based on Valgrind to find Floating-Point Accuracy Problems☆24Jan 29, 2023Updated 3 years ago
- PHP extension for web-application dynamic analysis.☆27Sep 21, 2018Updated 7 years ago
- The Cloud9 main repository☆54Sep 11, 2013Updated 12 years ago
- Tools to reverse the Toshiba FlashAir SD cards☆28Jul 23, 2019Updated 6 years ago
- A emulator for ARM programs. Aim to run ARM programs in x86 platform. The project is originally on source forge, at sourceforge.net/proj…☆28Feb 20, 2016Updated 10 years ago
- s-expression → internal IR → LLVM IR☆48Jan 26, 2016Updated 10 years ago
- a CIL-based dynamic symbolic execution (DSE) engine for C language☆10Jan 23, 2015Updated 11 years ago
- A Windows driver used to facilitate DLL injection☆27Oct 29, 2017Updated 8 years ago
- python and honggfuzz☆26May 18, 2020Updated 5 years ago
- windows kernel File redirection☆20Sep 21, 2014Updated 11 years ago
- ☆25Jul 8, 2015Updated 10 years ago
- A fuzzing script for MitmProxy☆24May 15, 2015Updated 10 years ago
- TEMU: The BitBlaze Dynamic Analysis Component (with some patches).☆65Jan 25, 2015Updated 11 years ago
- Root Repo for the RLBox Sandboxing Library Research prototype. Note: this is the original research prototype for this library. For the pr…☆24Sep 14, 2023Updated 2 years ago
- C++语言实现的线程池，结合windowsIOCP完成端口，实现socket高并发服务端程序☆27May 25, 2018Updated 7 years ago
- winAFL patch to enable network-based apps fuzzing☆37Sep 14, 2018Updated 7 years ago
- ☆24Sep 26, 2017Updated 8 years ago
- Kernel mode to user mode dll injection.☆14Nov 10, 2024Updated last year
- Wavelet Transform Modulus Maxima☆11Jun 2, 2021Updated 4 years ago
- A driver created to bypass the anti-cheat and r/w memory through it☆15Aug 3, 2024Updated last year
- 二维码扫描、生成☆11Sep 6, 2013Updated 12 years ago
- Tutorial to write qemu plugins☆34Jun 22, 2017Updated 8 years ago
- Decompiled source code of GhostCtrl. It’s not the original source code☆10Jul 26, 2017Updated 8 years ago
- Collection of LLVM passes and triage tools for use with the KRF fuzzer☆38Oct 12, 2022Updated 3 years ago
- Signedness-Agnostic Strided-Interval☆38Jun 21, 2019Updated 6 years ago
- Visualizing malware behavior, and proactive protection using GANs against zero-day attacks.☆41Jul 29, 2018Updated 7 years ago
- OllyHeapTrace is a plugin for OllyDbg to trace the heap operations being performed by a process.☆55Nov 4, 2011Updated 14 years ago
- ☆36Oct 29, 2020Updated 5 years ago
- Sends some one a malicious payload through smtp and starts a listener with metasploit.☆36Mar 21, 2018Updated 7 years ago
- Testura.Android.PageObjectCreator is a help tool which let you inspect the UI hierarchy of an Android device to create and generate page …☆11Aug 6, 2019Updated 6 years ago