OpenRewrite recipes for data flow analysis.
☆15Updated this week
Alternatives and similar repositories for rewrite-analysis
Users that are interested in rewrite-analysis are comparing it to the libraries listed below
Sorting:
- OpenRewrite recipes for identifying and fixing static analysis issues.☆53Updated this week
- OpenRewrite recipes using generative AI.☆18Updated this week
- OpenRewrite recipes for managing Java dependencies.☆18Updated this week
- Simple template for using Remill on Windows/Linux/macos.☆29Jan 7, 2026Updated last month
- Standalone API for Binary Ninja's LLIL☆21Aug 6, 2024Updated last year
- A Hybrid Alias Analysis☆19Aug 10, 2023Updated 2 years ago
- A forkable starter for building your own recipes and deploying them on the Moderne SaaS☆59Updated this week
- Here is a desktop pet featuring the character Usagi from Chiikawa. The image was sourced from the internet and modified to remove any whi…☆13Nov 1, 2023Updated 2 years ago
- library learning w egraphs☆26May 31, 2023Updated 2 years ago
- Codes for MICCAI 2023 paper: 3D Dental Mesh Segmentation Using Semantics-Based Feature Learning with Graph-Transformer☆34Jul 9, 2024Updated last year
- Pandemic binary program analysis framework in OCaml (abandoned)☆71May 28, 2019Updated 6 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆44Apr 2, 2020Updated 5 years ago
- Fork of https://github.com/fwcd/kotlin-language-server and https://github.com/fwcd/kotlin-debug-adapter with Bazel support☆13Nov 26, 2025Updated 3 months ago
- Sample code for blog posts☆15Oct 26, 2012Updated 13 years ago
- Python Framework that standardize JSON Logs and make it easy to use.☆12Oct 25, 2022Updated 3 years ago
- VSCode extension for Kotlin Language Server/Kotlin Debug Adapter with Bazel support☆14Nov 6, 2025Updated 3 months ago
- ☆18Sep 5, 2024Updated last year
- A React Component can play guacamole session☆12Jan 29, 2024Updated 2 years ago
- Bazel rules for https://www.cypress.io☆12Feb 18, 2026Updated last week
- Embedded Universal DSL: a good DSL for us, by us☆67Updated this week
- ☆20Feb 22, 2021Updated 5 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 11 months ago
- NOTE: moved to microdnf; previously: minimal implementation of yum -y install in C using libhif☆12Dec 13, 2016Updated 9 years ago
- Zed Groovy support.☆14Sep 16, 2025Updated 5 months ago
- Clockwork: A Modular Arithmetic library for C++☆12Nov 18, 2025Updated 3 months ago
- Kieler Analyzer for Executables and Libraries - an interactive disassembler☆11May 24, 2018Updated 7 years ago
- OpenRewrite recipes to continuously modernize Jenkins plugins.☆13Updated this week
- Connecting bv_decide to SMTLIB.☆13Jan 5, 2026Updated last month
- Dynamic README in neofetch style☆49Updated this week
- RcppDeepState, a simple way to fuzz test code in Rcpp packages☆10Oct 24, 2022Updated 3 years ago
- 🦀 📚 🧑🎓 Aprendendo Rust | Learning Rust - Personal Studies about Rust Language☆10Aug 10, 2023Updated 2 years ago
- An AWS credential process that uses AzureAD☆16Jan 17, 2025Updated last year
- MCSema Build Windows download☆11Jul 6, 2020Updated 5 years ago
- Simple C# GUI for BoomPow (banano miner).☆10Sep 14, 2021Updated 4 years ago
- Example of using Copybara to open-source a library from a nx monorepo☆10Oct 3, 2020Updated 5 years ago
- ☆17Feb 10, 2026Updated 2 weeks ago
- It's exactly like those graduation gift balloons, except this is a Clang Tool that detects library-level API and ABI compatibility breaki…☆14Apr 8, 2025Updated 10 months ago
- Implementation of Butler-Portugal algorithm for tensor canonicalization in Rust☆18Feb 12, 2026Updated 2 weeks ago
- ☆16Feb 1, 2026Updated last month