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…☆675Updated this 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
- reverse engineering branch predictors☆18Feb 28, 2016Updated 10 years ago
- print information from LLVM dataflow analyses☆13Jan 22, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A tool for checking tool output inspired by LLVM's FileCheck☆13Aug 29, 2025Updated 8 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
- R package providing Asio C++ library header files☆13Apr 24, 2026Updated 3 weeks 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
- 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.
- A Mobicore Trustlet/Driver Binary Loader for Ghidra☆13Jul 10, 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
- 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
- Automatically exported from code.google.com/p/hummingbird-hibl☆12Jun 3, 2018Updated 7 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 13 years ago
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 2019Updated 6 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- llvm opt fuzzer and bounded exhaustive test generator☆47Oct 22, 2022Updated 3 years ago
- Write ups of solution for CTF challenges I solved☆25Jul 20, 2021Updated 4 years ago
- A version-agnostic ghidra plugin for de-compiling Qualcomm Hexagon QDSP6☆34Mar 18, 2026Updated 2 months 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
- 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
- Triton based R2 plugin for concolic execution and total control☆35Nov 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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Utility for dumping all the information Capstone has on given instructions.☆21Oct 1, 2021Updated 4 years ago
- Reconstructed exynos5410 firmware☆16Jan 7, 2022Updated 4 years ago
- ☆60Feb 24, 2026Updated 2 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
- 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