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…☆678Jun 21, 2026Updated last week
- 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
- 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.
- Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis☆13Nov 14, 2014Updated 11 years ago
- print information from LLVM dataflow analyses☆13Jan 22, 2020Updated 6 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆13Aug 29, 2025Updated 10 months ago
- I-cache line packing and branch misprediction measuring tool☆18Dec 1, 2016Updated 9 years ago
- ☆13Sep 30, 2020Updated 5 years ago
- R package providing Asio C++ library header files☆13Apr 24, 2026Updated 2 months ago
- The LTTng CI infrastructure configuration☆12Updated this 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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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
- Rigorous Floating-Point Mixed-Precision Tuner☆17May 21, 2020Updated 6 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
- Design space for LLVM/Clang work☆45Jun 14, 2012Updated 14 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆47Oct 22, 2022Updated 3 years ago
- This project helps you to record your voice using iPhone.☆29Nov 19, 2012Updated 13 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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
- Efficient Multi-threaded Binary Code Control Flow Profiling Pintool☆23Jul 30, 2016Updated 9 years ago
- TypeSan checks casts in C++ code - code released for CCS 2016☆36May 5, 2021Updated 5 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
- 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
- Starter kit for Stunt.☆18Apr 26, 2014Updated 12 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.
- ☆60Feb 24, 2026Updated 4 months ago
- Tools for analysing python code☆19Mar 22, 2017Updated 9 years ago
- Matrix Methods In Data Analysis, Signal Processing, And Machine Learning☆10Sep 2, 2018Updated 7 years ago
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆670Apr 15, 2026Updated 2 months ago
- ASIO Cooperative Task for await-based coroutine☆16Sep 8, 2018Updated 7 years ago
- PyCon 2015 - Wiki & Tasks☆26Jun 3, 2015Updated 11 years ago
- Presentation materials for the 2016 Berkeley C++ Summit☆14Oct 20, 2016Updated 9 years ago