TRACER Symbolic Execution Tool
☆28Jun 16, 2020Updated 6 years ago
Alternatives and similar repositories for TRACER
Users that are interested in TRACER are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TracerX Symbolic Virtual Machine☆32May 14, 2026Updated 5 months ago
- ☆14Oct 29, 2021Updated 5 years ago
- ☆12Feb 19, 2017Updated 9 years ago
- bmod parses binaries for modification/patching and disassembles machine code sections.☆12Apr 19, 2018Updated 8 years ago
- ☆13Aug 12, 2015Updated 11 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- profiling tool for analysising the games, get all the characteristic by hook d3d☆19Oct 10, 2014Updated 12 years ago
- Slicing tool for c++ programs using clang AST.☆18Mar 8, 2021Updated 5 years ago
- The internal Windows structures hack to create the in-process private ETW session☆14Feb 22, 2017Updated 9 years ago
- ☆20Jun 23, 2021Updated 5 years ago
- Kernel debugger using Intel VT-x. Designed to be compatible with linux, ucore, windows.☆28Jun 12, 2013Updated 13 years ago
- An LLVM-based formal verification frontend for C programs.☆26Oct 29, 2021Updated 5 years ago
- Crash report lib and exe for windows application☆18Dec 26, 2014Updated 11 years ago
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆22Mar 21, 2021Updated 5 years ago
- Static Slicer for LLVM☆68Jan 9, 2016Updated 10 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A simple tool to help reverse engineers while dealing with obfuscated code.☆20Sep 5, 2016Updated 10 years ago
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆12Feb 27, 2020Updated 6 years ago
- Tool for differentially testing soundness and precision of program analyzers☆12Oct 19, 2018Updated 8 years ago
- An analytical debugger programmed in C++, using Qt.☆22May 20, 2012Updated 14 years ago
- windows kernel File redirection☆20Sep 21, 2014Updated 12 years ago
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆59Oct 30, 2026Updated last week
- Store and read traces in Protobuf☆20May 17, 2026Updated 5 months ago
- A tool evaluates security configurations of a given PE based on SDL without source code☆15Jul 6, 2014Updated 12 years ago
- An automation tool to generate, obfuscate, compile and run symbolic execution on c source files☆14Feb 17, 2021Updated 5 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Capstone Engine bindings on PHP 7.0+☆11Sep 22, 2022Updated 4 years ago
- pass game protect☆11Apr 26, 2014Updated 12 years ago
- eyuyan image rebuild tools source code☆13Sep 1, 2016Updated 10 years ago
- ☆20Sep 16, 2026Updated last month
- Kernel Context [template c++] Library - K C L. Your stl for work in linux/windows kernel !!!☆11Jul 24, 2018Updated 8 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆38Feb 6, 2021Updated 5 years ago
- rebuild ollydbg☆21Feb 15, 2017Updated 9 years ago
- NTrace -- a function boundary tracing tool for Windows user and kernel mode☆22Nov 1, 2013Updated 13 years ago
- hypervisor in windows device driver by intel vt☆14Aug 25, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Home for the WALi weighted automaton library and OpenNWA nested-word automaton library☆17Nov 28, 2018Updated 7 years ago
- another socks5 server , support linux, BSD , use epoll and kqueue technology☆13Jan 16, 2018Updated 8 years ago
- Automatically exported from code.google.com/p/windbgshark☆12Nov 3, 2015Updated 11 years ago
- Encrypting VHD parser driver for Hyper-V☆10Apr 22, 2016Updated 10 years ago
- ☆20Jul 15, 2026Updated 3 months ago
- A parser and AST for Lustre☆12Jul 6, 2026Updated 4 months ago
- kernel space code☆11Jun 8, 2019Updated 7 years ago