TracerX Symbolic Virtual Machine
☆32Mar 25, 2026Updated this week
Alternatives and similar repositories for TracerX
Users that are interested in TracerX are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TRACER Symbolic Execution Tool☆28Jun 16, 2020Updated 5 years ago
- ☆20Jun 23, 2021Updated 4 years ago
- KLEE / CSE Project☆48Apr 3, 2020Updated 5 years ago
- S2E plugins library☆17Jan 7, 2020Updated 6 years ago
- A memory engine that scans, debugs and disassembles an applications memory space.☆14Oct 29, 2017Updated 8 years ago
- 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.
- Static Slicer for LLVM☆67Jan 9, 2016Updated 10 years ago
- An LLVM-based formal verification frontend for C programs.☆26Oct 29, 2021Updated 4 years ago
- ☆14Jun 30, 2015Updated 10 years ago
- Lists work items being queued currently.☆15Jun 7, 2015Updated 10 years ago
- Demos presented on Hackerfest 2015☆14Nov 9, 2015Updated 10 years ago
- User-mode kernel callback framework☆10Nov 16, 2013Updated 12 years ago
- wow64 syscall filter☆13Nov 12, 2014Updated 11 years ago
- PE rebuilder, based on yoda's realigndll☆12Oct 1, 2011Updated 14 years ago
- ☆17Mar 3, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- enhanced spy++☆10Feb 7, 2014Updated 12 years ago
- A C/C++ code obfuscator based on llvm/clang technology☆16Sep 19, 2014Updated 11 years ago
- Encrypting VHD parser driver for Hyper-V☆10Apr 22, 2016Updated 9 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Feb 19, 2019Updated 7 years ago
- Fix SMBIOS inject issue☆13Jan 19, 2018Updated 8 years ago
- profiling tool for analysising the games, get all the characteristic by hook d3d☆18Oct 10, 2014Updated 11 years ago
- An av windows engine with file guard and compress file enumator☆12Aug 25, 2018Updated 7 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
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Feb 22, 2019Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Cross-platform C++ library for PE file format manipulation☆15Feb 17, 2017Updated 9 years ago
- Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.☆21Feb 9, 2023Updated 3 years ago
- Reversed C++ source code from the CAPCOM.SYS driver☆15Sep 28, 2016Updated 9 years ago
- IDA2PAT_Reloaded for windows and mac osx☆13Sep 28, 2017Updated 8 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Jan 25, 2018Updated 8 years ago
- Handy WMI query tool.☆12Jun 20, 2016Updated 9 years ago
- Automatically exported from code.google.com/p/wskudp☆13Jun 29, 2017Updated 8 years ago
- A powerful library for inline-hook,lock,compress etc,and it is useful for anti-virus software.☆17Oct 1, 2020Updated 5 years ago
- NTP Scanner and 'monlist' checker☆13Sep 1, 2015Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆17Oct 24, 2016Updated 9 years ago
- jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…☆27Nov 14, 2025Updated 4 months ago
- Guest to host VM escape exploit for Parallels Desktop☆27Nov 14, 2014Updated 11 years ago
- CoREBench: Errors in Find, Grep, Make☆13Dec 10, 2015Updated 10 years ago
- metasploit loader with antivirus bypass module☆18Jun 26, 2016Updated 9 years ago
- PE32 binary + W32 payload☆11Jul 23, 2017Updated 8 years ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆26Feb 19, 2020Updated 6 years ago