语言设计教程（献给想学语言设计的朋友）
☆61Mar 27, 2025Updated 11 months ago
Alternatives and similar repositories for magpie-language-design
Users that are interested in magpie-language-design are comparing it to the libraries listed below
Sorting:
- DeJITLeak: Eliminating JIT-Induced Timing Side-Channel Leaks☆15Sep 15, 2022Updated 3 years ago
- An lightweight and easy to use toolbox for hackers☆12Nov 17, 2022Updated 3 years ago
- 基于AST的JSONP劫持漏洞自动化挖掘☆94Sep 7, 2020Updated 5 years ago
- 带你畅游《软件分析》☆277Aug 1, 2022Updated 3 years ago
- Minimal, dependency free implementation of the ctor crate☆17Aug 1, 2024Updated last year
- Pointer analysis prototype (currently including anderson, steensgard).☆16Dec 20, 2021Updated 4 years ago
- 《自己动手写AI编译器》☆33Oct 19, 2024Updated last year
- TSAR (Traits Static AnalyzeR)☆15May 3, 2024Updated last year
- Go相关的安全研究☆234Nov 6, 2023Updated 2 years ago
- A testcase generation tool for Persistent Memory Programs.☆15Jul 19, 2021Updated 4 years ago
- Implementing the Precise Runahead (HPCA'20) in gem5☆14Oct 5, 2023Updated 2 years ago
- An implementation of the persistent skiplist based on Intel Optane Persistent Memory. It is with Intel's pmemkv as an storage engine☆13Apr 9, 2021Updated 4 years ago
- ☆16Oct 2, 2019Updated 6 years ago
- 参考taviso的代码逆向一下mpengine.dll☆20Jun 30, 2022Updated 3 years ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆18Jan 30, 2025Updated last year
- Android Security Bug Queries for CheckMarx☆20Sep 13, 2022Updated 3 years ago
- Java 设计模式梳理☆36Jun 20, 2022Updated 3 years ago
- Use java instrument API without JAR file☆47Jun 19, 2022Updated 3 years ago
- Auto-generated CodeQL rules for matching CVE vulnerabilities and variants.☆185Sep 19, 2024Updated last year
- Vindicator is a lightweight Golang library that is designed to hold and check any blocking function. e.g. subprocess, network connection.…☆19Sep 24, 2022Updated 3 years ago
- analysis java dependence and store in neo4j☆18Oct 22, 2018Updated 7 years ago
- Easily typeset kanbun-kundoku (漢文訓読) with (Lua)LaTeX☆19Mar 17, 2025Updated 11 months ago
- ☆42Apr 15, 2023Updated 2 years ago
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆19Jun 25, 2022Updated 3 years ago
- A easy general acc.☆18Mar 22, 2021Updated 4 years ago
- LLVM DSA fork for SeaHorn☆21Aug 17, 2019Updated 6 years ago
- PyTorch compilation tutorial covering TorchScript, torch.fx, and Slapo☆17Mar 13, 2023Updated 2 years ago
- A set of tools for understanding F2FS usage of ZNS devices, which allow for identifying the on-device locations of files and inodes, mapp…☆20Jan 19, 2025Updated last year
- Tai-e assignments for static program analysis☆1,222Aug 28, 2025Updated 6 months ago
- 集成电路设计大赛ARM杯作品，获得2021年ARM企业杯☆16Sep 26, 2021Updated 4 years ago
- Race detector for NVIDIA GPUs, published in SOSP 2021.☆17Feb 22, 2025Updated last year
- solution to buggyLoader of 0CTF/TCTF 2021 Finals☆20Sep 27, 2021Updated 4 years ago
- A SigFlip implement in golang☆51Jan 5, 2022Updated 4 years ago
- Prototype of a command line argument parser with several opposite design goals from clap.☆45Nov 25, 2025Updated 3 months ago
- This is the fork of CVA6 intended for PULP development.☆22Feb 24, 2026Updated last week
- oh my soot !☆93Aug 10, 2022Updated 3 years ago
- ☆28Feb 6, 2024Updated 2 years ago
- Rust语言安全相关分析☆23Jan 20, 2022Updated 4 years ago
- 静态分析及代码审计自动化相关资料收集☆298Jul 29, 2022Updated 3 years ago