An automatic test case generator for C source code using Memorized Symbolic Execution
☆12May 4, 2023Updated 2 years ago
Alternatives and similar repositories for C-Path-Finder
Users that are interested in C-Path-Finder are comparing it to the libraries listed below
Sorting:
- Veristand C/C++ Model Code Generator☆12Apr 6, 2017Updated 8 years ago
- 动态二进制插桩框架DynamoRIO通过将程序代码进行反复插桩(Instrumentation)执行构建了源程序代码与操纵代码之间的桥梁,使DynamoRIO的客户端编写者能够在更高的层面上驾驭原有的程序代码.虽然程序的载体还是被编译成原生的汇编指令集执行,但是不管是原生代…☆35Apr 6, 2022Updated 3 years ago
- --DEPRECATED--. Use other top level repository under IntellectualHeaven.☆42Jan 30, 2015Updated 11 years ago
- ☆10Sep 10, 2025Updated 6 months ago
- Signedness-Agnostic Strided-Interval☆38Jun 21, 2019Updated 6 years ago
- CCG is a random C Code Generator☆44Sep 11, 2022Updated 3 years ago
- 基于论文《Do Industries Explain Momentum》对行业动量策略在A股市场的有效性进行探究☆11Jul 19, 2019Updated 6 years ago
- ☆44Aug 8, 2022Updated 3 years ago
- x64dbg plugin to log executions☆16Aug 28, 2023Updated 2 years ago
- Simulate System76 EC with area8051 emulator☆12Mar 2, 2024Updated 2 years ago
- Hide the memory of the process in the Linux kernel.☆10Dec 8, 2020Updated 5 years ago
- Security Notes☆11Oct 10, 2018Updated 7 years ago
- ☆11Jan 6, 2020Updated 6 years ago
- A collection of print 'n play board games to make☆10Dec 6, 2022Updated 3 years ago
- Manycore platform Simulation tool for NoC-based platform at a Cycle-accurate level☆11Feb 22, 2018Updated 8 years ago
- Single Header scripting language made from scratch!☆11Nov 13, 2020Updated 5 years ago
- Register-based VM as C library☆10Feb 13, 2016Updated 10 years ago
- Single file C header for UTF-x-to-y conversions + helpers☆13Jun 11, 2023Updated 2 years ago
- A set of macros and functions to make defining a C module easier☆11Sep 9, 2019Updated 6 years ago
- ☆11Nov 24, 2020Updated 5 years ago
- Coreboot payload for PC Engines APU2 that sort boot order and save it to flash.☆15May 30, 2025Updated 9 months ago
- 股票交易提醒，当股价到达设定值时 通过微信告诉用户☆11Oct 16, 2020Updated 5 years ago
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆12Aug 17, 2017Updated 8 years ago
- tradestation, easylanguage, multicharts☆10Apr 14, 2022Updated 3 years ago
- An patch porting qwingraph (wingraph written in qt4) to qt5.☆10Aug 21, 2019Updated 6 years ago
- TokyoWesterns CTF 4th 2018 shrine☆12Aug 23, 2019Updated 6 years ago
- VS extension that adds some handy features to the DGML editor☆20Sep 27, 2025Updated 5 months ago
- A collection of shell scripts to run bhyve VMs on my FreeBSD 12.x desktop machine☆15Sep 14, 2019Updated 6 years ago
- Control your terminal windows in iTerm with Ruby -- great for automation scripting!☆26Oct 1, 2014Updated 11 years ago
- ☆47Nov 15, 2021Updated 4 years ago
- AMI BMC image generator and decomposer☆14Aug 4, 2016Updated 9 years ago
- Simple demo of accessing System Management BIOS in UEFI environment.☆14Oct 13, 2020Updated 5 years ago
- Default Linux/Android defconfig and fex files for OLinuXino Boards☆11Jun 16, 2017Updated 8 years ago
- Generates Sourcetrail-databases from C# code☆14Jan 30, 2022Updated 4 years ago
- Panopticon is a complete in-DRAM RowHammer mitigation. This code simulates an implementation of Panopticon in DDR5.☆14Jun 2, 2023Updated 2 years ago
- ☆10Aug 16, 2012Updated 13 years ago
- IP2Location IP Geolocation HTTP Module is an IIS managed module, which enables you to determine info by IP address such as your visitor’s…☆14Dec 31, 2025Updated 2 months ago
- NFV Demo on Red Hat Openstack using the Opensource Networking Appliance VyOS☆16Feb 5, 2019Updated 7 years ago
- ☆12Jun 5, 2024Updated last year