The notes about programming language theory
☆27May 7, 2023Updated 2 years ago
Alternatives and similar repositories for PLT-notes
Users that are interested in PLT-notes are comparing it to the libraries listed below
Sorting:
- Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)☆13Oct 3, 2024Updated last year
- Bytecode based Fuzzer for the PHP language☆12Jul 22, 2020Updated 5 years ago
- ☆22Mar 20, 2023Updated 2 years ago
- [USENIX Security '25] My ZIP isn’t your ZIP: Identifying and Exploiting Semantic Gaps Between ZIP Parsers☆38Aug 22, 2025Updated 6 months ago
- A JADX plugin for interactive code analysis using Large Language Models (LLMs). Provides dynamic code analysis, security assessment, malw…☆28Dec 14, 2024Updated last year
- A collection of PLT researching☆29Feb 21, 2025Updated last year
- tool of llm-based indirect-call analyzer☆31Feb 18, 2025Updated last year
- A teaching compiler for MiniJava.☆74Jan 17, 2025Updated last year
- MiniTracker: Large-Scale Sensitive Information Tracking in Mini Apps.☆31Dec 2, 2024Updated last year
- The Decompilation Wiki: info on all things decompilation☆238Updated this week
- Static program analysis for TIP☆311May 5, 2025Updated 9 months ago
- Powered by Cocos Code IDE☆18Sep 10, 2014Updated 11 years ago
- Overcooked! 2 TAS Development Framework☆10Aug 18, 2023Updated 2 years ago
- A Low Level IL emulator for Binary Ninja☆41Feb 5, 2019Updated 7 years ago
- A framework to detect attacks and trace stolen assets across Ethereum (FC 2021).☆32Jul 17, 2025Updated 7 months ago
- SIGPLAN website☆13Feb 23, 2026Updated last week
- LLVM Essentials 中文版☆12Feb 18, 2025Updated last year
- cocoscreator画板，支持设置背景，画笔颜色粗细，橡皮擦等☆12Jun 14, 2020Updated 5 years ago
- choose demo☆21Nov 6, 2025Updated 3 months ago
- ☆10Sep 24, 2019Updated 6 years ago
- Polygon convex partitioning and triangulation.☆13Mar 2, 2022Updated 4 years ago
- [Cocos Creator 编辑器扩展] 用于快速预览骨骼动画。提供独立窗口，也可以附着在编辑器中；可以在编辑器内直接选中资源来预览，也支持打开外部的资源...☆10Apr 8, 2022Updated 3 years ago
- Android IO redirection implementation, using seccomp user notify mechanism / 使用 seccomp unotify 的 Android 文件重定向实现☆71Oct 22, 2025Updated 4 months ago
- 科沃兹H5游戏，微信端横版烧脑游戏，使用Cocos Creator制作。☆11Nov 17, 2016Updated 9 years ago
- lua convert to javascript for cocos2d-js☆10Jun 21, 2018Updated 7 years ago
- ☆11Jan 18, 2024Updated 2 years ago
- 现代编程思想公开课课后练习☆10Jul 4, 2024Updated last year
- Building a toy OS in Rust.☆13Sep 14, 2016Updated 9 years ago
- 安卓逆向相关的一些二进制工具 / Some bin utils for android reverse engineer☆13Apr 28, 2020Updated 5 years ago
- read swfs in cocos2dx☆16May 23, 2013Updated 12 years ago
- Visualize NFA and DFA constructed from regular exrepssion☆18Feb 10, 2017Updated 9 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆12Jun 12, 2018Updated 7 years ago
- ☆36Sep 2, 2014Updated 11 years ago
- go编译器编译过程,主要学习go语法分析,AST,SSA分析。以便更好的理解Go☆12Feb 5, 2022Updated 4 years ago
- A tool for extracting, modifying, and crafting ASDM binary packages (CVE-2022-20829)☆13Aug 15, 2022Updated 3 years ago
- ☆15Jun 10, 2022Updated 3 years ago
- A toy http server written in C using libdill coroutines. Will probably get you owned if you run in prod.☆11May 16, 2017Updated 8 years ago
- Generate a special sort of multidimensional perlin noise suitable for blending textures together☆12May 12, 2018Updated 7 years ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago