The latest development version of rose. It may not pass all regression tests.
☆106Apr 24, 2019Updated 7 years ago
Alternatives and similar repositories for rose-develop
Users that are interested in rose-develop are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ROSE is an open-source compiler framework engineered by LLNL supporting program analysis and transformation at both the source and binary…☆676May 31, 2026Updated 2 weeks ago
- GUI for running the SPIN model checker☆20Nov 22, 2022Updated 3 years ago
- Popular hash table implementation benchmarks☆28Jul 12, 2017Updated 8 years ago
- Experimental ruby-based Fortran REPL☆14Dec 2, 2015Updated 10 years ago
- Reference material for libbeauty☆25Aug 6, 2022Updated 3 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.
- Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis☆13Nov 14, 2014Updated 11 years ago
- Hardware-Assisted Process Tracer for Fuzzing on ARM64 Linux☆26Sep 16, 2022Updated 3 years ago
- reverse engineering branch predictors☆18Feb 28, 2016Updated 10 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆13Aug 29, 2025Updated 9 months ago
- Collection of generative art made by me.☆10Jul 8, 2018Updated 7 years ago
- r3 virtual machine, succesor of :r4☆17Dec 31, 2020Updated 5 years ago
- ☆21May 8, 2015Updated 11 years ago
- I-cache line packing and branch misprediction measuring tool☆18Dec 1, 2016Updated 9 years ago
- ☆13Sep 30, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- R package providing Asio C++ library header files☆13Apr 24, 2026Updated last month
- The LTTng CI infrastructure configuration☆12Jun 1, 2026Updated last week
- Static analysis of Go code through golang.org/x/tools/go/analysis☆22Apr 24, 2019Updated 7 years ago
- Rewriting functions in compiled binaries using McSema☆94Aug 6, 2019Updated 6 years ago
- new generation testing framework for C and C++☆36Oct 26, 2022Updated 3 years ago
- Not Another Range Library☆39Mar 9, 2014Updated 12 years ago
- A sparse and compressed bitmap library.☆13Aug 28, 2014Updated 11 years ago
- The Go programming language, modified to emit warnings☆21Aug 13, 2020Updated 5 years ago
- Replicate last Cygwin repository compatible with Windows XP☆12Dec 16, 2016Updated 9 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Design space for LLVM/Clang work☆45Jun 14, 2012Updated 14 years ago
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 2019Updated 6 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆47Oct 22, 2022Updated 3 years ago
- Modify ELF executables☆16Mar 5, 2019Updated 7 years ago
- Write ups of solution for CTF challenges I solved☆25Jul 20, 2021Updated 4 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆32Apr 19, 2018Updated 8 years ago
- Test case minimizer for afl-fuzz☆28Jul 19, 2017Updated 8 years ago
- Triton based R2 plugin for concolic execution and total control☆36Nov 26, 2018Updated 7 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆33Jul 6, 2019Updated 6 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.
- Utility for dumping all the information Capstone has on given instructions.☆21Oct 1, 2021Updated 4 years ago
- Open source fpga project leveraging vtr CAD flow.☆26Mar 4, 2023Updated 3 years ago
- ☆60Feb 24, 2026Updated 3 months ago
- Matrix Methods In Data Analysis, Signal Processing, And Machine Learning☆10Sep 2, 2018Updated 7 years ago
- Search any text-based document☆23Aug 16, 2020Updated 5 years ago
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆668Apr 15, 2026Updated last month
- Tool for launching a Linux process from a snapshot☆448Sep 22, 2015Updated 10 years ago