tracer-x / TracerXView external linksLinks
TracerX Symbolic Virtual Machine
☆32Sep 24, 2025Updated 4 months ago
Alternatives and similar repositories for TracerX
Users that are interested in TracerX are comparing it to the libraries listed below
Sorting:
- TRACER Symbolic Execution Tool☆28Jun 16, 2020Updated 5 years ago
- ☆20Jun 23, 2021Updated 4 years ago
- Lists work items being queued currently.☆14Jun 7, 2015Updated 10 years ago
- KLEE / CSE Project☆48Apr 3, 2020Updated 5 years ago
- A memory engine that scans, debugs and disassembles an applications memory space.☆14Oct 29, 2017Updated 8 years ago
- S2E plugins library☆17Jan 7, 2020Updated 6 years ago
- enhanced spy++☆10Feb 7, 2014Updated 12 years ago
- PE rebuilder, based on yoda's realigndll☆12Oct 1, 2011Updated 14 years ago
- User-mode kernel callback framework☆10Nov 16, 2013Updated 12 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…☆21Mar 21, 2021Updated 4 years ago
- An LLVM-based formal verification frontend for C programs.☆26Oct 29, 2021Updated 4 years ago
- Demos presented on Hackerfest 2015☆14Nov 9, 2015Updated 10 years ago
- IDA2PAT_Reloaded for windows and mac osx☆13Sep 28, 2017Updated 8 years ago
- Fix SMBIOS inject issue☆13Jan 19, 2018Updated 8 years ago
- ☆14Jun 30, 2015Updated 10 years ago
- Services and Drivers control application☆19Jul 24, 2017Updated 8 years ago
- wow64 syscall filter☆13Nov 12, 2014Updated 11 years ago
- Handy WMI query tool.☆12Jun 20, 2016Updated 9 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
- Cross-platform C++ library for PE file format manipulation☆15Feb 17, 2017Updated 8 years ago
- NTP Scanner and 'monlist' checker☆13Sep 1, 2015Updated 10 years ago
- An av windows engine with file guard and compress file enumator☆12Aug 25, 2018Updated 7 years ago
- Automatically exported from code.google.com/p/wskudp☆13Jun 29, 2017Updated 8 years ago
- profiling tool for analysising the games, get all the characteristic by hook d3d☆18Oct 10, 2014Updated 11 years ago
- ☆17Mar 3, 2016Updated 9 years ago
- Reversed C++ source code from the CAPCOM.SYS driver☆15Sep 28, 2016Updated 9 years ago
- OPENCV实现自动扫雷☆14Feb 21, 2014Updated 11 years ago
- Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.☆21Feb 9, 2023Updated 3 years ago
- Guest to host VM escape exploit for Parallels Desktop☆27Nov 14, 2014Updated 11 years ago
- In memory fuzzing for embedded devices☆19Jun 20, 2012Updated 13 years ago
- ☆17Oct 24, 2016Updated 9 years ago
- metasploit loader with antivirus bypass module☆18Jun 26, 2016Updated 9 years ago
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Feb 22, 2019Updated 6 years ago
- A C/C++ code obfuscator based on llvm/clang technology☆16Sep 19, 2014Updated 11 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆37Feb 6, 2021Updated 5 years ago
- UI application that can compare PE images in memory or in raw PE file☆19Feb 17, 2014Updated 11 years ago
- Open Source Libraries Collection☆24Jan 1, 2016Updated 10 years ago
- A driverless driver that is supposed to be manually mapped, usually by using TDL exploit. The driver shows how to read/write to any proce…☆22Oct 27, 2017Updated 8 years ago
- PE32 binary + W32 payload☆11Jul 23, 2017Updated 8 years ago