Splint win32 binaries
☆68Dec 7, 2022Updated 3 years ago
Alternatives and similar repositories for splint_win32
Users that are interested in splint_win32 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- wx-config for Windows☆10Mar 21, 2023Updated 3 years ago
- Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis☆13Nov 14, 2014Updated 11 years ago
- 控制组生存指南☆10Jun 28, 2019Updated 7 years ago
- Web based code browser using clang to provide basic code analysis.☆47Jul 20, 2017Updated 9 years ago
- Plugin for IDA Pro to convert assembler to LLVM IR☆20Nov 15, 2016Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Universal Trace Debugger Engine. Currently, only support windbg on Windows, but the long term goal is to also support GDB or LLDB☆13Dec 30, 2013Updated 12 years ago
- Simple preemptive, realtime, multitask kernel made just for fun.☆11Jul 2, 2020Updated 6 years ago
- Obsolete CAN modules. For ISO 15765-2 development see https://github.com/hartkopp/can-isotp.git☆44Sep 10, 2020Updated 5 years ago
- Simple MIPS32 Emulator (primarily used to run SmallerC compiled for MIPS)☆18Oct 31, 2015Updated 10 years ago
- Test Project for STM32 embedded programming☆17Jan 13, 2019Updated 7 years ago
- A blanked execution framework based on the Unicorn engine☆19Jan 29, 2017Updated 9 years ago
- PWC Artifacts☆11Mar 24, 2015Updated 11 years ago
- Targeted patcher for CGC binaries. CGrex was used only during the CGC qualifier event, and is OBSOLETE. For the CFE, we used patcherex (g…☆15Sep 2, 2016Updated 9 years ago
- Premake Cookbook☆15Mar 26, 2015Updated 11 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An open source applicaton for CAN bus analysis, testing and data acquisition☆11Feb 12, 2017Updated 9 years ago
- Assume you have a large book collection in some folder/folders, and you would like to create a database of your books, so that you can kn…☆10Jan 7, 2014Updated 12 years ago
- Source Navigator NG is based upon RedHat's Source Navigator. Source Navigator is a source code analysis tool. With it, you can edit your …☆12Feb 6, 2013Updated 13 years ago
- Xanadu - An IDE of SDCC☆14Mar 21, 2017Updated 9 years ago
- micro SOMEIP☆13Jul 12, 2023Updated 3 years ago
- Tandy Color Computer CocoFLASH☆15May 21, 2019Updated 7 years ago
- Analysing GCC generated Map files for measuring code footprint☆45Feb 16, 2026Updated 5 months ago
- Fork of: https://sourceforge.net/p/wxsvg/git/☆12Apr 4, 2023Updated 3 years ago
- IDAPython script in order to auto-rename subs☆21May 17, 2017Updated 9 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.
- KWP2000 library for Java☆25Mar 1, 2016Updated 10 years ago
- AST - Extractor for LLVM☆18Feb 23, 2021Updated 5 years ago
- IDApro idc and idapython script collection☆28Aug 22, 2023Updated 2 years ago
- Linux kernels (CGC DECREE and vanilla) with S2E extensions☆24Jul 6, 2024Updated 2 years ago
- A Delphi clone of the classic game: 2048☆12Oct 13, 2018Updated 7 years ago
- Circuits and programmable Logic for use with Tandy computers.☆14May 18, 2021Updated 5 years ago
- Efficient Multi-threaded Binary Code Control Flow Profiling Pintool☆23Jul 30, 2016Updated 10 years ago
- Fork of the kernel backports repository☆12Aug 5, 2025Updated last year
- lwip-tap is an application of "lwIP - A Lightweight TCP/IP Stack"☆60Feb 16, 2013Updated 13 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A Qt5 binding for Ruby language. Using clang/llvm JIT engine. (stalled)☆12May 2, 2017Updated 9 years ago
- Newlib built with Clang for custom OS☆10Apr 30, 2018Updated 8 years ago
- Scalable, high performance and low overhead logging library for C++ and C applications☆18Aug 21, 2024Updated last year
- MCSema Build Windows download☆11Jul 6, 2020Updated 6 years ago
- A Ruby application built around the OpenPort J2534 CANBUS library☆13Oct 19, 2012Updated 13 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆45Apr 2, 2020Updated 6 years ago
- The 18F testing cookbook contains recipes and best practices for automated and manual testing in lots of different environments, language…☆16Apr 18, 2017Updated 9 years ago