sajedjalil / C-Path-FinderView external linksLinks
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:
- The Core Algorithm of SmartCommit.☆27Dec 20, 2021Updated 4 years ago
- Automatic Generation of Text Descriptive Comments for Code Blocks☆31Nov 19, 2018Updated 7 years ago
- 动态二进制插桩框架DynamoRIO通过将程序代码进行反复插桩(Instrumentation)执行构建了源程序代码与操纵代码之间的桥梁,使DynamoRIO的客户端编写者能够在更高的层面上驾驭原有的程序代码.虽然程序的载体还是被编译成原生的汇编指令集执行,但是不管是原生代…☆35Apr 6, 2022Updated 3 years ago
- ☆10Sep 10, 2025Updated 5 months ago
- Signedness-Agnostic Strided-Interval☆38Jun 21, 2019Updated 6 years ago
- T2EX (T-Kernel 2.0 Extension)☆11Jan 21, 2025Updated last year
- CCG is a random C Code Generator☆44Sep 11, 2022Updated 3 years ago
- ☆44Aug 8, 2022Updated 3 years ago
- QNAP NAS firmware encryption/decryption tool☆11Sep 5, 2020Updated 5 years ago
- A set of macros and functions to make defining a C module easier☆11Sep 9, 2019Updated 6 years ago
- Hide the memory of the process in the Linux kernel.☆10Dec 8, 2020Updated 5 years ago
- Occlum's fork of Intel SGX SDK for Linux☆13Jul 31, 2024Updated last year
- Security Notes☆11Oct 10, 2018Updated 7 years ago
- TokyoWesterns CTF 4th 2018 shrine☆12Aug 23, 2019Updated 6 years ago
- tradestation, easylanguage, multicharts☆10Apr 14, 2022Updated 3 years ago
- Excel tools，对excel封装让excel导出更简单！ (项目测试范例请参考，test包下的 ExcelTest测试用例)☆13Aug 23, 2017Updated 8 years ago
- Kit for building u-boot, coreboot, shofel2, imx_usb_loader & linux kernel using Docker Toolchain☆13Jun 3, 2018Updated 7 years ago
- FEMM & Matlab Simulation & TI C2000 DSP code for control of switched reluctance machine in Motor and Generator Mode☆12Sep 28, 2018Updated 7 years ago
- GEMM☆10Aug 26, 2023Updated 2 years ago
- 股票交易提醒，当股价到达设定值时通过微信告诉用户☆11Oct 16, 2020Updated 5 years ago
- This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Pro…☆12Jul 8, 2022Updated 3 years ago
- ☆11Nov 24, 2020Updated 5 years ago
- RTL implementation of a ray-tracing GPU☆15Dec 18, 2012Updated 13 years ago
- Control your terminal windows in iTerm with Ruby -- great for automation scripting!☆26Oct 1, 2014Updated 11 years ago
- The virtual console embedded in rCore kernel.☆11May 6, 2025Updated 9 months ago
- x64dbg plugin to log executions☆16Aug 28, 2023Updated 2 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 collection of print 'n play board games to make☆10Dec 6, 2022Updated 3 years ago
- A single-header C command line parsing library☆15Jun 13, 2018Updated 7 years ago
- Manycore platform Simulation tool for NoC-based platform at a Cycle-accurate level☆11Feb 22, 2018Updated 7 years ago
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆12Aug 17, 2017Updated 8 years ago
- OpenAstroTech FirmWare Graphical User Interface☆12Oct 26, 2025Updated 3 months ago
- An patch porting qwingraph (wingraph written in qt4) to qt5.☆10Aug 21, 2019Updated 6 years ago
- ☆11Jan 6, 2020Updated 6 years ago
- 作为博客☆11Apr 30, 2020Updated 5 years ago
- hardware tools for the BayTrail (BYT) platform and other platforms☆11Sep 10, 2023Updated 2 years ago
- ☆45Mar 2, 2021Updated 4 years ago
- ☆47Nov 15, 2021Updated 4 years ago