☆20Jan 30, 2026Updated last month
Alternatives and similar repositories for idioms
Users that are interested in idioms are comparing it to the libraries listed below
Sorting:
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 2 years ago
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago
- ☆11Mar 22, 2022Updated 3 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆34Jan 27, 2025Updated last year
- ☆21Sep 10, 2024Updated last year
- E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis (DAC2025)☆28Jun 23, 2025Updated 8 months ago
- BaseComp: A Comparative Analysis for Integrity Protection in Cellular Baseband Software☆18Oct 10, 2023Updated 2 years ago
- ☆57May 7, 2025Updated 9 months ago
- ☆64Dec 17, 2025Updated 2 months ago
- Utility library for analysis of Control Flow Graphs, home to the Basque CFGED algorithm.☆33Jan 16, 2026Updated last month
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆59May 20, 2025Updated 9 months ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆31Feb 26, 2021Updated 5 years ago
- ☆75Jan 14, 2024Updated 2 years ago
- Artifacts for our USENIX Security '24 paper: "Code is not Natural Language: Unlock the Power of Semantics-Oriented Graph Representation f…☆82Dec 10, 2024Updated last year
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆39Updated this week
- Using xml to define pytorch neural networks☆15Jan 24, 2019Updated 7 years ago
- Red Hat JBoss Data Grid 7 OpenShift container images☆10Jan 26, 2026Updated last month
- Implementation of "Beyond Classification: Inferring Function Names in Stripped Binaries via Domain Adapted LLMs" (NDSS'25)☆46Jun 5, 2025Updated 9 months ago
- Official code of Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning☆43Dec 17, 2023Updated 2 years ago
- Statistics from our binary transformation framework☆11Jan 16, 2025Updated last year
- An OpenAI-powered triage bot for a slack support channel designed to tag oncalls, prioritize issues, suggest solutions, and streamline co…☆12Jun 11, 2025Updated 8 months ago
- The dataset was used as a support to attack obfuscations. It is the largest obfuscated dataset, with realistic and various binaries and f…☆19Jan 15, 2026Updated last month
- A Simple Drools DSL Example☆13Jun 17, 2022Updated 3 years ago
- ☆63May 4, 2024Updated last year
- Neural Variable Renaming for Decompiled Binaries☆44May 4, 2020Updated 5 years ago
- A model-based API Fuzzer for SMT Solvers.☆15Oct 14, 2025Updated 4 months ago
- ☆11Jan 27, 2026Updated last month
- Static analysis toolkit for security analysis in Aleo programs☆10Mar 29, 2024Updated last year
- ☆12Sep 21, 2024Updated last year
- A tool for extracting, modifying, and crafting ASDM binary packages (CVE-2022-20829)☆13Aug 15, 2022Updated 3 years ago
- The DREAM decompiler☆48Apr 27, 2022Updated 3 years ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- ☆13May 5, 2018Updated 7 years ago
- Code for paper "Prompt Engineering a Prompt Engineer" (https://arxiv.org/abs/2311.05661)☆10Aug 1, 2024Updated last year
- Generate CPG for multiple languages for code and threat analysis☆11Sep 22, 2023Updated 2 years ago
- ☆12Apr 22, 2023Updated 2 years ago
- ☆19Aug 23, 2025Updated 6 months ago
- Huawei E3372h source code from http://consumer.huawei.com/en/support/downloads/detail/index.htm?id=56443☆11Nov 3, 2015Updated 10 years ago
- ☆12Apr 1, 2025Updated 11 months ago