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.
☆81Apr 27, 2026Updated this week
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:
- xAST评价体系,让安全工具不再“黑盒”. The xAST evaluation benchmark makes security tools no longer a "black box".☆473Apr 14, 2026Updated 2 weeks ago
- WxappRevealer 是一款跨平台、独立可执行的命令行工具,专注于对 WeChat 小程序(`.wxapkg`)的智能反编译与敏感信息检索☆28Dec 12, 2025Updated 4 months ago
- 高版本Fastjson在Java原生反序列化中的利用演示☆26Jan 12, 2025Updated last year
- ☆208Oct 27, 2025Updated 6 months ago
- Linux 持久化工具:自动检测可持久化方式,目前支持ssh及crab持久化,无需依赖开箱即用☆25Oct 29, 2024Updated last year
- 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.
- 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
- ☆13Jun 10, 2025Updated 10 months ago
- ☆16Jun 28, 2023Updated 2 years ago
- 基于msf的后渗透协作平台 -- 前端部分☆20Apr 3, 2024Updated 2 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- 第八届 “强网杯” 全国网络安全挑战赛☆25Nov 11, 2024Updated last year
- ☆29Feb 2, 2024Updated 2 years ago
- 阿波罗钓鱼演练平台(ApolloFish)的网页钓鱼模板、邮箱钓鱼模板共享仓库。☆23Jan 20, 2026Updated 3 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 《深入JDBC安全:特殊URL构造与不出网反序列化利用技术揭秘》对应研究总结项目 "Deep Dive into JDBC Security: Special URL Construction and Non-Networked Deserialization Explo…☆578Feb 7, 2026Updated 2 months ago
- VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.☆12Sep 14, 2017Updated 8 years ago
- 机器学习、信息安全、《Web安全之机器学习入门》实现代码、深度学习算法实现☆29Sep 22, 2021Updated 4 years ago
- Static analysis tool to detect missing and incorrect error checks in C and C++ codebases without using a priori knowledge.☆19Feb 11, 2026Updated 2 months ago
- B站直播间弹幕姬,go语言实现,支持短时大量弹幕,礼物,进场处理显示☆13Jun 7, 2021Updated 4 years ago
- The next-generation AI Agent framework driven by Intent Engineering. Move beyond turn-based Function Calling to embrace code-level intent…☆82Jan 11, 2026Updated 3 months ago
- ☆17Jul 25, 2024Updated last year
- ☆11Apr 21, 2026Updated last week
- 利用代理驱动绕过JDBC Attack检测☆144Jun 15, 2025Updated 10 months 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.
- Applies ROME and MEMIT on Mamba-S4 models☆14Apr 5, 2024Updated 2 years ago
- Basic Unicode support for Lean 4☆16Updated this week
- An implementation of the ASPIC+ framework for structured argumentation.☆12Updated this week
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆16Apr 22, 2026Updated last week
- The (very) small kernel of the LaTTe proof assistant☆12Mar 13, 2025Updated last year
- ☆21Jul 25, 2024Updated last year
- Security Vulnerability Repair via Concolic Execution and Code Mutations☆19Sep 12, 2024Updated last year
- 方便自己搭建codeql环境和数据库的工具。☆64Mar 25, 2026Updated last month
- ☆12Jun 14, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆16Jun 22, 2024Updated last year
- ☆13Jul 8, 2024Updated last year
- A date and time library for Lean 4☆14Apr 12, 2025Updated last year
- JeecgBoot综合漏洞利用工具版本更新☆18Feb 18, 2025Updated last year
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆15Jul 24, 2025Updated 9 months ago
- 《深入理解Semgrep》Finding vulnerabilities with Semgrep.☆60Jul 20, 2023Updated 2 years ago
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago