国科大编译作业二：LLVM Pass处理函数调用
☆18Nov 11, 2021Updated 4 years ago
Alternatives and similar repositories for llvm-pass
Users that are interested in llvm-pass are comparing it to the libraries listed below
Sorting:
- 国科大编译作业：基于Clang的C语言解释执行器☆43Dec 12, 2021Updated 4 years ago
- 国科大编译作业三：Point to 分析☆19Dec 12, 2021Updated 4 years ago
- ☆17Jan 17, 2024Updated 2 years ago
- A small header C library to print stack trace on execution if an exception occurs (such as segmentation fault).☆23Jun 10, 2017Updated 8 years ago
- Learning and Teaching Software Analysis and Verification via SVF☆26Jul 24, 2025Updated 7 months ago
- Duet: static analysis for unbounded concurrency☆30Feb 6, 2026Updated 3 weeks ago
- ☆37Jun 23, 2025Updated 8 months ago
- vscode-drawio增强版，提供代码跳转功能☆10Feb 20, 2025Updated last year
- Intelligent Self-driving System empowering Physical Agents (ISSPA)☆13Dec 23, 2024Updated last year
- This script is for photographers to do timeslice with one click.☆13Aug 21, 2022Updated 3 years ago
- Witcher 3 Gwent cards checklist☆16Nov 5, 2025Updated 3 months ago
- Solver for Constrained Horn Clauses☆50Feb 19, 2026Updated last week
- Get random bytes from the TPM (tool + BCrypt RNG provider)☆17Nov 3, 2020Updated 5 years ago
- ☆14Jun 17, 2024Updated last year
- AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries☆12Dec 28, 2018Updated 7 years ago
- ☆10Nov 9, 2023Updated 2 years ago
- DUQU MALWARE SOURCE + BINARY + More coming☆12Feb 6, 2023Updated 3 years ago
- Ghidra变强术，一个Ghidra脚本库，二进制安全，PWN☆12Jan 21, 2024Updated 2 years ago
- A greybox fuzzer for continuous integration☆10Dec 15, 2023Updated 2 years ago
- VCD Parser for Node.js☆11Jan 7, 2023Updated 3 years ago
- Server-side (Node.js-compatible) version of Han.js.☆11Mar 16, 2016Updated 9 years ago
- 基于SpringBoot的在线算法判题系统（Online judgement） JavaScript判题☆13Oct 22, 2019Updated 6 years ago
- A comprehensive and architecture-agnostic performance analysis tool.☆11Updated this week
- Value set analysis(VSA) for revealing the possible values (strings) of the keys from mobile app☆43May 19, 2020Updated 5 years ago
- Windows builds for atuin.☆12Oct 25, 2024Updated last year
- ☆11Feb 19, 2023Updated 3 years ago
- ☆10Jul 21, 2022Updated 3 years ago
- ☆13Feb 14, 2026Updated 2 weeks ago
- RISC-V Formal in Chisel☆12Apr 9, 2024Updated last year
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆11Feb 27, 2020Updated 6 years ago
- For V8CTF M122☆14Aug 25, 2024Updated last year
- ☆14Sep 3, 2024Updated last year
- A debugger to detect and diagnose numerical errors in floating point programs☆12Jun 19, 2022Updated 3 years ago
- An automated ROP generation work☆12Mar 5, 2025Updated 11 months ago
- gorm接入达梦(dameng)数据库。dm8。☆12Jun 25, 2023Updated 2 years ago
- ☆14May 7, 2025Updated 9 months ago
- Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.☆18Feb 3, 2026Updated 3 weeks ago
- SoC for CQU Dual Issue Machine☆12Sep 20, 2022Updated 3 years ago
- fzf layer for spacemacs☆10Mar 17, 2018Updated 7 years ago