sola-st / wasm-type-predictionView external linksLinks
☆11Mar 22, 2022Updated 3 years ago
Alternatives and similar repositories for wasm-type-prediction
Users that are interested in wasm-type-prediction are comparing it to the libraries listed below
Sorting:
- ☆20Jan 30, 2026Updated 2 weeks ago
- Official implementation of AsmDepictor, "A Transformer-based Function Symbol Name Inference Model from an Assembly Language for Binary Re…☆29Apr 30, 2024Updated last year
- Collects all WebAssembly modules from a given website☆27Aug 13, 2020Updated 5 years ago
- CONCOCTION is an automated machine learning-based vulnerability detection framework that combines static source code information and dyna…☆28Aug 18, 2024Updated last year
- ☆10Sep 28, 2020Updated 5 years ago
- ☆10Sep 24, 2019Updated 6 years ago
- 北京 青年大学习 使用Github Actions自动完成☆10Nov 5, 2022Updated 3 years ago
- A toy WebAssembly(wasm) interpreter written in Swift☆16Jan 25, 2025Updated last year
- Generate CPG for multiple languages for code and threat analysis☆11Sep 22, 2023Updated 2 years ago
- A model-based API Fuzzer for SMT Solvers.☆14Oct 14, 2025Updated 4 months ago
- The dataset in the paper "Detecting '0-Day' Vulnerability: An Empirical Study of Secret Security Patch in OSS", which appears in the 2019…☆13Aug 9, 2023Updated 2 years ago
- A tool for extracting, modifying, and crafting ASDM binary packages (CVE-2022-20829)☆13Aug 15, 2022Updated 3 years ago
- ☆12Apr 1, 2025Updated 10 months ago
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 2 years ago
- ☆12Jan 13, 2025Updated last year
- ☆11Aug 19, 2016Updated 9 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
- ☆13May 5, 2018Updated 7 years ago
- Implementation of NRMS "Neural News Recommendation with Multi-Head Self-Attention" (EMNLP2019), in Pytorch☆10Jan 20, 2021Updated 5 years ago
- LLM-based approach to find regression bugs. It checks the behavioral changes introduced by a pull request against its title, description,…☆14Jan 12, 2026Updated last month
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago
- Abstraction layer for Xilinx FPGAs☆15Aug 9, 2019Updated 6 years ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- Misuse cases of Cryptography in real world software products☆12Nov 4, 2018Updated 7 years ago
- ☆11Nov 27, 2024Updated last year
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago
- Static analysis toolkit for security analysis in Aleo programs☆10Mar 29, 2024Updated last year
- ☆12Apr 22, 2023Updated 2 years ago
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- FirmSec Dataset☆46Oct 15, 2025Updated 4 months ago
- ☆10Oct 30, 2016Updated 9 years ago
- TFA project for indirect call analysis☆10Mar 13, 2025Updated 11 months ago
- ☆10Aug 18, 2025Updated 5 months ago
- Modified drivers to reliably perform fragmentation and aggregation vulnerability tests☆12Jan 7, 2023Updated 3 years ago
- ☆12Jan 8, 2016Updated 10 years ago
- FunProbe: Probing Functions from Binary Code through Probabilistic Analysis (ESEC/FSE '23)☆17Jun 21, 2025Updated 7 months ago
- A frozen version of angr for the SAILR paper☆16Sep 4, 2024Updated last year
- ☆11Mar 8, 2021Updated 4 years ago
- ☆12Jun 27, 2025Updated 7 months ago