PLCT实验室2020年开放日活动的演讲资料
☆13Dec 29, 2020Updated 5 years ago
Alternatives and similar repositories for PLCT-OpenDay-2020
Users that are interested in PLCT-OpenDay-2020 are comparing it to the libraries listed below
Sorting:
- 开源开发工具大会2020的幻灯片☆46Dec 11, 2020Updated 5 years ago
- Comprehensive Performance Isolation through Bias Resource Management for Public Clouds☆19Jul 29, 2020Updated 5 years ago
- A collection of POP exploits.☆30Feb 22, 2021Updated 5 years ago
- Assembly language (汇编语言程序设计 第三版 王爽)☆12Aug 17, 2022Updated 3 years ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Feb 24, 2026Updated last week
- choose demo☆21Nov 6, 2025Updated 3 months ago
- Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".☆11May 20, 2019Updated 6 years ago
- Incremental Timing-Driven Placement, problem C of ICCAD contest 2015☆15Sep 28, 2017Updated 8 years ago
- ☆16Aug 2, 2023Updated 2 years ago
- This repo contains the source code for https://pest.rs☆13Feb 1, 2026Updated last month
- 基于Xposed Hook敏感API☆14Mar 11, 2022Updated 3 years ago
- 【Android】获取Android页面所有控件的点击事件☆11Jul 24, 2019Updated 6 years ago
- ObjectPropertyDelegate for Kotlin class properties & functions.☆10Apr 6, 2020Updated 5 years ago
- ☆11Mar 19, 2022Updated 3 years ago
- baichuan SDK 5.4.x逆向☆10Sep 27, 2020Updated 5 years ago
- An implementation of sparse-value flow analysis on top of soot (using Scala)☆10Dec 12, 2024Updated last year
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- Exploration of the Piece Table data structure in Haskell☆10Mar 17, 2017Updated 8 years ago
- ☆10Dec 31, 2018Updated 7 years ago
- kernel module for modifying device information...☆22Sep 24, 2025Updated 5 months ago
- https://hackmd.io/s/r1SgsdF3X☆10Dec 21, 2018Updated 7 years ago
- A blog of Programming Languages Group @Purdue☆11Feb 17, 2026Updated 2 weeks ago
- Ranking LLM-Generated Loop Invariants for Program Verification.☆12Aug 20, 2024Updated last year
- รวม Domain ของบริการอีแอบ☆11Dec 16, 2025Updated 2 months ago
- A Linux rootkit☆10Nov 1, 2018Updated 7 years ago
- My own tools for developing kernel modules☆15Sep 23, 2025Updated 5 months ago
- iOS/macOS app that displays the Identifier for Advertisers (IDFA)☆12Nov 6, 2019Updated 6 years ago
- ☆13Feb 13, 2026Updated 2 weeks ago
- ☆12Aug 16, 2022Updated 3 years ago
- VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.☆12Sep 14, 2017Updated 8 years ago
- ☆11Oct 22, 2019Updated 6 years ago
- 史宁宁（知乎ID:小乖他爹（已经改为：编译船夫），CSDN ID：snsn1984）的演讲交流PPT及相关资料。☆46Jan 15, 2024Updated 2 years ago
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Mar 10, 2018Updated 7 years ago
- Cmake 官方教程 -> 在线阅读☆11Mar 9, 2018Updated 7 years ago
- The Dragon Virtual Machine.☆10Jan 31, 2018Updated 8 years ago
- ☆10Aug 16, 2012Updated 13 years ago
- Technology file parser in Rust☆13Apr 6, 2021Updated 4 years ago
- CMU 15-745 Spring 2014☆10Mar 7, 2014Updated 11 years ago
- type-system, revised unification algorithm and runtime time representations☆14Dec 12, 2019Updated 6 years ago