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…☆689Sep 13, 2026Updated last week
- Popular hash table implementation benchmarks☆28Jul 12, 2017Updated 9 years ago
- GUI for running the SPIN model checker☆20Nov 22, 2022Updated 3 years ago
- Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis☆13Nov 14, 2014Updated 11 years ago
- reverse engineering branch predictors☆18Feb 28, 2016Updated 10 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- print information from LLVM dataflow analyses☆13Jan 22, 2020Updated 6 years ago
- ☆13Sep 30, 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
- Rigorous Floating-Point Mixed-Precision Tuner☆18May 21, 2020Updated 6 years ago
- Rewriting functions in compiled binaries using McSema☆94Aug 6, 2019Updated 7 years ago
- new generation testing framework for C and C++☆36Oct 26, 2022Updated 3 years ago
- Replicate last Cygwin repository compatible with Windows XP☆12Dec 16, 2016Updated 9 years ago
- Modify ELF executables☆16Mar 5, 2019Updated 7 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.
- Write ups of solution for CTF challenges I solved☆25Jul 20, 2021Updated 5 years ago
- Tools for analysing python code☆19Mar 22, 2017Updated 9 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆47Oct 22, 2022Updated 3 years ago
- Efficient Multi-threaded Binary Code Control Flow Profiling Pintool☆23Jul 30, 2016Updated 10 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆33Jul 6, 2019Updated 7 years ago
- Reference material for libbeauty☆25Aug 6, 2022Updated 4 years ago
- Open source fpga project leveraging vtr CAD flow.☆26Mar 4, 2023Updated 3 years ago
- TypeSan checks casts in C++ code - code released for CCS 2016☆36May 5, 2021Updated 5 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆33Apr 19, 2018Updated 8 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.
- Test case minimizer for afl-fuzz☆29Jul 19, 2017Updated 9 years ago
- Clang UPC Front-End☆17Jan 24, 2022Updated 4 years ago
- ☆60Feb 24, 2026Updated 6 months ago
- ASIO Cooperative Task for await-based coroutine☆17Sep 8, 2018Updated 8 years ago
- Matrix Methods In Data Analysis, Signal Processing, And Machine Learning☆10Sep 2, 2018Updated 8 years ago
- Presentation materials for the 2016 Berkeley C++ Summit☆14Oct 20, 2016Updated 9 years ago
- Tool for detecting error handling bugs☆23Sep 11, 2016Updated 10 years ago
- HTTP Keyserver Protocol (HKP) handlers☆12Apr 25, 2018Updated 8 years ago
- Tools built using Dyninst or Dyninst component libraries.☆28Mar 18, 2026Updated 6 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Nov 26, 2018Updated 7 years ago
- Data and scripts for the paper "Polymorphic Type Inference for Machine Code"☆13Apr 12, 2016Updated 10 years ago
- A C library for tracking metrics☆17Jul 28, 2022Updated 4 years ago
- github.com/cznic/ccgo has moved to modernc.org/ccgo☆38Nov 22, 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…☆674Updated this week
- lang Thue + Regex☆15Apr 20, 2022Updated 4 years ago
- C library to compute the Hamming weight of arrays☆51Dec 9, 2018Updated 7 years ago