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.
☆85May 21, 2026Updated last month
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".☆481May 21, 2026Updated last month
- generate facts from bytecode (source is https://github.com/plast-lab/doop-mirror/tree/master/generators)☆23Nov 24, 2024Updated last year
- FIRE: Combining Multi-Stage Filtering with Taint Analysis for Scalable Recurring Vulnerability Detection.☆16Sep 27, 2024Updated last year
- ☆210Oct 27, 2025Updated 8 months ago
- Linux 持久化工具：自动检测可持久化方式，目前支持ssh及crab持久化，无需依赖开箱即用☆25Oct 29, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 📚【更新中】AI-Driven Enterprise Security: Architecture, Methodology, and Practice：AI驱动的企业安全建设实战，覆盖安全架构设计、方法论框架与工程实践，系统化提出 AISecOps 方法论框架，将 AI…☆96Jan 31, 2026Updated 5 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
- 之前方便自己研究RASP原理和绕过时顺手写的，用于快速启动和重置RASP环境☆72Oct 13, 2024Updated last year
- 基于msf的后渗透协作平台 -- 前端部分☆20Apr 3, 2024Updated 2 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- study_summary☆10Aug 8, 2022Updated 3 years ago
- 第八届 “强网杯” 全国网络安全挑战赛☆24Nov 11, 2024Updated last year
- 《深入JDBC安全：特殊URL构造与不出网反序列化利用技术揭秘》对应研究总结项目 "Deep Dive into JDBC Security: Special URL Construction and Non-Networked Deserialization Explo…☆590Feb 7, 2026Updated 4 months 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.
- 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.☆19Jun 3, 2026Updated 3 weeks ago
- The next-generation AI Agent framework driven by Intent Engineering. Move beyond turn-based Function Calling to embrace code-level intent…☆91Jan 11, 2026Updated 5 months ago
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- ☆11Apr 21, 2026Updated 2 months ago
- 一个java代码审计辅助工具☆29Nov 2, 2022Updated 3 years ago
- An implementation of the ASPIC+ framework for structured argumentation.☆13Updated this week
- 机器学习、信息安全、《Web安全之机器学习入门》实现代码、深度学习算法实现☆29Sep 22, 2021Updated 4 years ago
- ☆22Jul 25, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 方便自己搭建codeql环境和数据库的工具。☆64Mar 25, 2026Updated 3 months ago
- ☆12Jun 14, 2020Updated 6 years ago
- 😴 关于不让我弟一直玩游戏，定时要求他休息才写的小玩意。☆10Sep 4, 2021Updated 4 years ago
- ☆16Jun 22, 2024Updated 2 years ago
- Artifact accompanying our ICSE '22 paper "Practical Automated Detection of Malicious npm Packages"☆47Jan 25, 2022Updated 4 years ago
- 目标是成为当下最完善的API挖掘工具，实现自动提取响应敏感信息、URI信息，并且对URI进行自动|手动递归检查☆263Aug 16, 2025Updated 10 months ago
- Mihomo任意文件写，可通过写SSH密钥、cron任务等实现RCE☆13May 21, 2025Updated last year
- JeecgBoot综合漏洞利用工具版本更新☆17Feb 18, 2025Updated last year
- Lean 4 bindings to libcurl☆14Feb 3, 2026Updated 4 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A date and time library for Lean 4☆15Apr 12, 2025Updated last year
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated last year
- Lean lens implementation with custom notation.☆17Jun 8, 2025Updated last year
- 《深入理解Semgrep》Finding vulnerabilities with Semgrep.☆60Jul 20, 2023Updated 2 years ago
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- ☆15Apr 1, 2026Updated 2 months ago
- Static Analyser for C☆171Jun 17, 2026Updated last week