Implementation of the NDSS'24 paper "SigmaDiff: Semantics-Aware Deep Graph Matching for Pseudocode Diffing"
☆22Sep 7, 2023Updated 2 years ago
Alternatives and similar repositories for SigmaDiff
Users that are interested in SigmaDiff are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- patch presence test via symbolic signatures, ICSE'24☆12Mar 29, 2024Updated 2 years ago
- Official code of Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning☆46Dec 17, 2023Updated 2 years 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
- Implementation of CCS'2022 paper "SymLM: Predicting Function Names in Stripped Binaries via Context-Sensitive Execution-Aware Code Embedd…☆63Jul 6, 2025Updated last year
- The scalable bug search for binaries☆71Dec 17, 2016Updated 9 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.
- A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…☆57Apr 24, 2026Updated 4 months ago
- This is the project of LearnAFL.☆28Aug 27, 2020Updated 6 years ago
- Static analysis tool to detect missing and incorrect error checks in C and C++ codebases without using a priori knowledge.☆20Aug 12, 2026Updated 2 weeks ago
- ☆64May 7, 2025Updated last year
- This repository provides the code and guidance for reproducing the results in our ESEC/FSE 2023 submission "Pre-training Code Representat…☆27Jan 24, 2024Updated 2 years ago
- implementation of ideas from 'Neutaint: Efficient Dynamic Taint Analysis with Neural Networks'☆14Sep 17, 2019Updated 6 years ago
- A Static Differential Analysis Tool of Network Protocol Parsers☆30Feb 21, 2024Updated 2 years ago
- ☆43Jun 14, 2022Updated 4 years ago
- A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.☆11Jul 25, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆78Jan 14, 2024Updated 2 years ago
- Binary Code Summarization: Benchmarking ChatGPT/GPT-4 and Other Large Language Models☆20Dec 18, 2023Updated 2 years ago
- LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…☆16May 17, 2023Updated 3 years ago
- Official code for kTrans: Knowledge-Aware Transformer for Binary Code Embedding☆30Dec 17, 2023Updated 2 years ago
- ☆28Aug 7, 2025Updated last year
- Code for the NDSS'23 paper "DARWIN: Survival of the Fittest Fuzzing Mutators"☆33Feb 28, 2023Updated 3 years ago
- DeepDi: A Fast and Accurate Disassembler for Binary Code AI☆107May 1, 2026Updated 3 months ago
- DrayTek Vigor165 stuff☆13Oct 30, 2020Updated 5 years ago
- Attention-based multimodal fusion for sentiment analysis☆13Aug 14, 2018Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆45Apr 12, 2022Updated 4 years ago
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆45Dec 3, 2025Updated 8 months ago
- Agentic skills for vulnerability detection.☆24Jul 17, 2026Updated last month
- ☆28Aug 22, 2024Updated 2 years ago
- The paper "Deep Graph Level Anomaly Detection with Contrastive Learning" has been accepted by Scientific Reports Journal.☆11Feb 10, 2023Updated 3 years ago
- Signedness-Agnostic Strided-Interval☆38Jun 21, 2019Updated 7 years ago
- ☆39Sep 27, 2022Updated 3 years ago
- ☆22Jun 7, 2025Updated last year
- Static analysis for llvm☆20Mar 31, 2015Updated 11 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Code for ICSE'24 Paper☆14Apr 21, 2024Updated 2 years ago
- A differentiable, self-modifying esolang where gradient descent is an instruction and programs rewrite their own parameters, designed by …☆38Updated this week
- ☆10Jul 19, 2023Updated 3 years ago
- Plugin demonstrating how to link with Qt. CURRENTLY OUTDATED, UPDATE SOON☆27Jun 29, 2023Updated 3 years ago
- IDA plugin to make classes automatically☆22Oct 31, 2024Updated last year
- A data race detector for C+Pthreads programs☆13Nov 8, 2022Updated 3 years ago
- ☆12Aug 9, 2020Updated 6 years ago