Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity
☆11Jul 2, 2023Updated 2 years ago
Alternatives and similar repositories for scaler
Users that are interested in scaler are comparing it to the libraries listed below
Sorting:
- Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.☆16Feb 26, 2026Updated last week
- 适用于中山大学（SYSU）课程/实验报告的一个简单的 LaTeX 小模板☆40Sep 26, 2024Updated last year
- Precision-guided context sensitivity for pointer analysis☆61Jul 2, 2023Updated 2 years ago
- ☆34Apr 17, 2022Updated 3 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆33Apr 6, 2022Updated 3 years ago
- ☆11May 3, 2022Updated 3 years ago
- Linux kernel source tree☆10Oct 11, 2017Updated 8 years ago
- Pseudo-Intel-CET functionality plugin based on QEMU 8.2.2 plugin system, with minor modifications to QEMU TCG body code to adapt to Glibc…☆14Jun 5, 2024Updated last year
- The artifact for NDSS '25 paper "ASGARD: Protecting On-Device Deep Neural Networks with Virtualization-Based Trusted Execution Environmen…☆15Oct 16, 2025Updated 4 months ago
- Demos of mutation testing and fuzz testing prepared for the Software Testing Course of NJU Software Institute.☆12Dec 14, 2023Updated 2 years ago
- [Ongoing Project] Codebase for network quantization study.☆12May 20, 2020Updated 5 years ago
- (All in One) Pty & Terminal package for Go with an encrypted remote shell as example.☆15Apr 23, 2024Updated last year
- Dev resources of Harmony☆15Mar 4, 2024Updated 2 years ago
- ☆10Dec 26, 2023Updated 2 years ago
- Fuzzing Secure Monitor Implementations☆19Aug 3, 2024Updated last year
- jar or dex tools☆10Mar 24, 2016Updated 9 years ago
- Integration fork of QEMU focusing on XNU platforms (arm, aarch64, etc)☆12Dec 12, 2022Updated 3 years ago
- A linter for Soufflé Datalog☆17Apr 1, 2024Updated last year
- Fork of QEMU with Virtual Machine Introspection patches☆14Sep 13, 2023Updated 2 years ago
- A PDF that shows its own MD5☆11Jan 2, 2023Updated 3 years ago
- wannabe (up-to-date) 64bit port of lguest☆14May 11, 2011Updated 14 years ago
- Microbenchmarks for x86_64 kernel entry methods☆20Feb 21, 2022Updated 4 years ago
- ☆11Mar 19, 2022Updated 3 years ago
- Some anti-sandbox codes, copy directly to strengthen your own ShellCode☆12Dec 26, 2022Updated 3 years ago
- 最新漏洞收集、复现、漏洞环境☆10Mar 21, 2019Updated 6 years ago
- ☆12Apr 1, 2025Updated 11 months ago
- Centos6/7一键清理内核☆10Mar 10, 2020Updated 5 years ago
- Shadow Attack, LiRA, Quantile Regression and RMIA implementations in PyTorch (Online version)☆14Nov 8, 2024Updated last year
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆13Mar 30, 2024Updated last year
- The ICS^2 Matrix is a threat taxonomy for Programmable Logic Controllers and Industrial Control Systems☆13Sep 10, 2024Updated last year
- A simple tutorial about how to use the CIL compiler frontend☆12Feb 10, 2025Updated last year
- Excel tools，对excel封装让excel导出更简单！ (项目测试范例请参考，test包下的 ExcelTest测试用例)☆13Aug 23, 2017Updated 8 years ago
- 软件工程与计 算II☆11Dec 29, 2020Updated 5 years ago
- A simple Mali 6xx/7xx register interface model that doesn't do any rendering.☆13Jan 29, 2016Updated 10 years ago
- ACI-GetStarted☆11Jun 4, 2025Updated 9 months ago
- ☆20Feb 28, 2026Updated last week
- ☆10Jul 9, 2020Updated 5 years ago
- Mutation-guided mutation-based fuzz testing☆51Jul 13, 2024Updated last year
- A general way to Recover Safe linking protected value/pointer☆15Oct 23, 2022Updated 3 years ago