squaresLab / idiomsView external linksLinks
☆20Jan 30, 2026Updated 2 weeks ago
Alternatives and similar repositories for idioms
Users that are interested in idioms are comparing it to the libraries listed below
Sorting:
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago
- Datalog engine based on DuckDB☆10Mar 8, 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)☆27Jun 23, 2025Updated 7 months ago
- BaseComp: A Comparative Analysis for Integrity Protection in Cellular Baseband Software☆19Oct 10, 2023Updated 2 years ago
- ☆57May 7, 2025Updated 9 months ago
- ☆64Dec 17, 2025Updated last month
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆59May 20, 2025Updated 8 months ago
- Utility library for analysis of Control Flow Graphs, home to the Basque CFGED algorithm.☆33Jan 16, 2026Updated 3 weeks ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆31Feb 26, 2021Updated 4 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…☆83Dec 10, 2024Updated last year
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆38Jan 26, 2026Updated 2 weeks ago
- Implementation of "Beyond Classification: Inferring Function Names in Stripped Binaries via Domain Adapted LLMs" (NDSS'25)☆45Jun 5, 2025Updated 8 months ago
- 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 2 weeks ago
- Official code of Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning☆43Dec 17, 2023Updated 2 years ago
- A Simple Drools DSL Example☆13Jun 17, 2022Updated 3 years 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 3 weeks ago
- ☆62May 4, 2024Updated last year
- Neural Variable Renaming for Decompiled Binaries☆44May 4, 2020Updated 5 years ago
- Decompilation of DS Protect☆22Jan 23, 2026Updated 3 weeks ago
- ☆13May 5, 2018Updated 7 years ago
- Generate CPG for multiple languages for code and threat analysis☆11Sep 22, 2023Updated 2 years ago
- ☆12Apr 1, 2025Updated 10 months ago
- Large-scale sparse matrix factorization for Rust☆11Jan 15, 2026Updated 3 weeks ago
- SMCHR - Satisfiability Modulo Constraint Handling Rules☆12Jul 19, 2018Updated 7 years ago
- The DREAM decompiler☆48Apr 27, 2022Updated 3 years ago
- This repository implements a scaled-down LLaMA 2-like model on an ARM Cortex-M3 soft core, with a custom systolic array RTL module for ef…☆11Jun 25, 2025Updated 7 months ago
- Static analysis toolkit for security analysis in Aleo programs☆10Mar 29, 2024Updated last year
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 5 months ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago
- Huawei E3372h source code from http://consumer.huawei.com/en/support/downloads/detail/index.htm?id=56443☆11Nov 3, 2015Updated 10 years ago
- Alleycat plugin by devttys0, ported to IDA 8☆11Jan 15, 2025Updated last year
- A relational logic programming language embedded in Rust.☆12Aug 15, 2025Updated 5 months ago
- ☆11Nov 27, 2024Updated last year
- Code for paper "Prompt Engineering a Prompt Engineer" (https://arxiv.org/abs/2311.05661)☆10Aug 1, 2024Updated last year