YASA-UAST is an intermediate representation structure for multi-language program analysis. The UAST-Parser parses code from different programming languages into a unified abstract syntax format.
☆84May 21, 2026Updated 2 weeks ago
Alternatives and similar repositories for YASA-UAST
Users that are interested in YASA-UAST are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- YASA is an open-source static program analysis project. Its core innovation lies in a unified intermediate representation called UAST, d…☆286May 7, 2026Updated last month
- xAST评价体系，让安全工具不再“黑盒”. The xAST evaluation benchmark makes security tools no longer a "black box".☆477May 21, 2026Updated 2 weeks ago
- generate facts from bytecode (source is https://github.com/plast-lab/doop-mirror/tree/master/generators)☆23Nov 24, 2024Updated last year
- 高版本Fastjson在Java原生反序列化中的利用演示☆26Jan 12, 2025Updated last year
- ☆210Oct 27, 2025Updated 7 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 基于Pocsuite3、goby编写的漏洞poc&exp存档☆12Nov 19, 2023Updated 2 years ago
- 📚【更新中】AI-Driven Enterprise Security: Architecture, Methodology, and Practice：AI驱动的企业安全建设实战，覆盖安全架构设计、方法论框架与工程实践，系统化提出 AISecOps 方法论框架，将 AI…☆95Jan 31, 2026Updated 4 months ago
- neo4j plugin of ByteCodeDL for the IntelliJ Platform. ByteCodeDL-Neo4j-IDEA-Plugin☆16Dec 28, 2023Updated 2 years ago
- Bundle of security analysis scripts for keras tensorflow models☆16Apr 15, 2024Updated 2 years ago
- ☆14Jun 10, 2025Updated 11 months ago
- ☆733Feb 13, 2026Updated 3 months ago
- 基于msf的后渗透协作平台 -- 前端部分☆20Apr 3, 2024Updated 2 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- 第八届 “强网杯” 全国网络安全挑战赛☆24Nov 11, 2024Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆29Feb 2, 2024Updated 2 years ago
- 《深入JDBC安全：特殊URL构造与不出网反序列化利用技术揭秘》对应研究总结项目 "Deep Dive into JDBC Security: Special URL Construction and Non-Networked Deserialization Explo…☆591Feb 7, 2026Updated 4 months ago
- VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.☆12Sep 14, 2017Updated 8 years ago
- Static analysis tool to detect missing and incorrect error checks in C and C++ codebases without using a priori knowledge.☆19Updated this week
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- ☆11Apr 21, 2026Updated last month
- 利用代理驱动绕过JDBC Attack检测☆145Jun 15, 2025Updated 11 months ago
- Applies ROME and MEMIT on Mamba-S4 models☆15Apr 5, 2024Updated 2 years ago
- 一个java代码审计辅助工具☆29Nov 2, 2022Updated 3 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.
- Basic Unicode support for Lean 4☆16Updated this week
- The (very) small kernel of the LaTTe proof assistant☆12May 29, 2026Updated last week
- ☆22Jul 25, 2024Updated last year
- Security Vulnerability Repair via Concolic Execution and Code Mutations☆21Sep 12, 2024Updated last year
- 方便自己搭建codeql环境和数据库的工具。☆65Mar 25, 2026Updated 2 months ago
- ☆12Jun 14, 2020Updated 5 years ago
- 😴 关于不让我弟一直玩游戏，定时 要求他休息才写的小玩意。☆10Sep 4, 2021Updated 4 years ago
- Artifact accompanying our ICSE '22 paper "Practical Automated Detection of Malicious npm Packages"☆47Jan 25, 2022Updated 4 years ago
- ☆13Jul 8, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Mihomo任意文件写，可通过写SSH密钥、cron任务等实现RCE☆13May 21, 2025Updated last year
- JeecgBoot综合漏洞利用工具版本更新☆18Feb 18, 2025Updated last year
- Lean 4 bindings to libcurl☆14Feb 3, 2026Updated 4 months ago
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated last year
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆15Jul 24, 2025Updated 10 months ago
- Lean lens implementation with custom notation.☆17Jun 8, 2025Updated last year
- ☆15Apr 1, 2026Updated 2 months ago