openharmony / ark_js_runtimeView external linksLinks
方舟JS运行时（ARK JavaScript Runtime）是OpenHarmony上JS应用使用的运行时。包含JS对象的分配器以及垃圾回收器（GC）、符合ECMAScript规范的标准库、用于运行ARK前端组件生成的方舟字节码（ARK Bytecode，abc）的解释器、用于存储隐藏类的内联缓存、方舟JS运行时对外的函数接口（AFFI）等模块。
☆16Oct 28, 2024Updated last year
Alternatives and similar repositories for ark_js_runtime
Users that are interested in ark_js_runtime are comparing it to the libraries listed below
Sorting:
- ☆12Jan 24, 2022Updated 4 years ago
- A model-based API Fuzzer for SMT Solvers.☆14Oct 14, 2025Updated 3 months ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago
- Generate CPG for multiple languages for code and threat analysis☆11Sep 22, 2023Updated 2 years ago
- ☆12Apr 1, 2025Updated 10 months ago
- ☆12Jan 13, 2025Updated last year
- ☆11Nov 27, 2024Updated last year
- ☆20Jan 30, 2026Updated 2 weeks ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- Huawei E3372h source code from http://consumer.huawei.com/en/support/downloads/detail/index.htm?id=56443☆11Nov 3, 2015Updated 10 years ago
- Static analysis toolkit for security analysis in Aleo programs☆10Mar 29, 2024Updated last year
- ☆13May 5, 2018Updated 7 years ago
- ☆11Mar 22, 2022Updated 3 years ago
- ☆12Jan 8, 2016Updated 10 years ago
- Modified drivers to reliably perform fragmentation and aggregation vulnerability tests☆12Jan 7, 2023Updated 3 years ago
- ☆10Oct 30, 2016Updated 9 years ago
- ☆11Mar 8, 2021Updated 4 years ago
- ☆10Aug 18, 2025Updated 5 months ago
- ☆15Nov 20, 2017Updated 8 years ago
- ☆14Nov 9, 2022Updated 3 years ago
- ☆18Apr 18, 2024Updated last year
- Spen's Official OpenOCD Mirror (no pull requests)☆12Jan 27, 2020Updated 6 years ago
- Fuzz testing for Dafny☆13Jul 7, 2022Updated 3 years ago
- Project Repo for the Simulator Independent Coverage Research☆21Feb 28, 2023Updated 2 years ago
- Public BanditFuzz Repo☆12Jan 12, 2021Updated 5 years ago
- Android driver for the Trusted Execution Environment <t-base☆12Sep 29, 2015Updated 10 years ago
- ☆15Sep 1, 2022Updated 3 years ago
- The Michelson Symbolic vErifier☆13Feb 3, 2023Updated 3 years ago
- Hydradancer firmware supporting the Facedancer backend for the Hydradancer dongle and HydraUSB3☆23Dec 10, 2025Updated 2 months ago
- Home for issues on Binary Ninja Cloud☆16May 13, 2020Updated 5 years ago
- VeriFastに関する文書の日本語訳置き場☆15Oct 15, 2018Updated 7 years ago
- P4 formalization using Ott and HOL4☆15Jan 17, 2026Updated 3 weeks ago
- Join the REVEN community. Ask questions, talk about reverse engineering, discuss REVEN, and show off your work!☆13Nov 30, 2021Updated 4 years ago
- Assume-Guarantee REasoning Environment☆19Dec 3, 2025Updated 2 months ago
- Some programs from Rustan Leino's "Program Proofs", in Why3.☆16Mar 13, 2023Updated 2 years ago
- ☆15Jul 25, 2019Updated 6 years ago
- A tool for synthesizing code-reuse attacks (aka ROP) from a reference program, powered by logical modeling of Ghidra's `p-code` IL.☆23Dec 25, 2025Updated last month
- An IDE for Symboleo, a formal contract specification language.☆18Oct 10, 2024Updated last year
- E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis (DAC2025)☆27Jun 23, 2025Updated 7 months ago