Static taint analysis for HarmonyOS/ArkTS with declarative assets, LLM-assisted API modeling, OCLFS, and evidence-driven postsolve.
security typescript static-analysis program-analysis taint-analysis security-tools sast harmonyos openharmony llm arkts arkanalyzer
-
Updated
May 28, 2026 - TypeScript