Tai-e assignments for static program analysis
☆32Aug 5, 2022Updated 3 years ago
Alternatives and similar repositories for Tai-e-assignments-tips
Users that are interested in Tai-e-assignments-tips are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 带你畅游《软件分析》☆277Aug 1, 2022Updated 3 years ago
- Tai-e assignments for static program analysis☆12Jun 27, 2022Updated 3 years ago
- 逆向调试利器：Frida☆61Dec 31, 2025Updated 2 months ago
- SwiftUI一点通☆44Nov 20, 2022Updated 3 years ago
- ☆11Aug 7, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆12Jan 30, 2024Updated 2 years ago
- iOSDemos☆12Dec 27, 2024Updated last year
- Symbolic execution of LLVM IR☆14Jan 3, 2024Updated 2 years ago
- Binary Only Thread Sanitizer☆18Aug 10, 2024Updated last year
- SecVulEval is a dataset of C/C++ vulnerabilities.☆18Dec 20, 2025Updated 3 months ago
- Immix GC for LLVM based languages☆15Apr 2, 2025Updated 11 months ago
- LN-fuzz: State Sequence Network Protocol Fuzzer☆11Jun 16, 2021Updated 4 years ago
- TFA project for indirect call analysis☆12Mar 13, 2025Updated last year
- some notes for how to build projects into a single LLVM bitcode file.☆18Jan 16, 2019Updated 7 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Getting started with static program analysis. 静态程序分析入门教程。☆1,766Mar 20, 2024Updated 2 years ago
- Anderson points-to analysis implementation based on LLVM☆12Jan 3, 2021Updated 5 years ago
- SymRustC is a hybrid fuzzer for Rust combining concolic execution using SymCC and fuzzing using LibAFL.☆11Jun 28, 2023Updated 2 years ago
- Source code of the paper "FirmRCA: Towards Post-Fuzzing Analysis on ARM Embedded Firmware with Efficient Event-based Fault Localization"☆13Jan 6, 2026Updated 2 months ago
- A rust version of the Caffe library.☆19Jun 16, 2021Updated 4 years ago
- This tool is a Program Dependence Graph generator for a given input file in the programming language Java that can be outputed as a dot f…☆23Dec 29, 2019Updated 6 years ago
- E-Graph library☆22Apr 4, 2024Updated last year
- The notes about programming language theory☆27May 7, 2023Updated 2 years ago
- A CUDA kernel for NHWC GroupNorm for PyTorch☆23Nov 15, 2024Updated last year
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- A graph coloring register allocator for LLVM.☆11Jan 23, 2017Updated 9 years ago
- [CVPR 2026] "LaS-Comp: Zero-shot 3D Completion with Latent–Spatial Consistency"☆37Mar 21, 2026Updated last week
- ☆46Mar 2, 2026Updated 3 weeks ago
- monkey app - 在Mac状态栏显示蓝队吗喽们的下班倒计时☆15Aug 7, 2024Updated last year
- SHERLOC: Secure and Holistic Control-Flow Violation Detection on Embedded Systems☆17Feb 21, 2024Updated 2 years ago
- NJU-DisSys-2020☆12Dec 29, 2020Updated 5 years ago
- ☆15Aug 6, 2021Updated 4 years ago
- WALA 学习笔记☆14Aug 8, 2023Updated 2 years ago
- Dynamic Control Flow Recovery☆25Apr 15, 2018Updated 7 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 收集整理漏洞EXp/POC,大部分漏洞来源网络，目前收集整理了600多个poc/exp，长期更新。☆10Jul 29, 2024Updated last year
- Run android with S2E☆31Dec 11, 2014Updated 11 years ago
- MarsCTF的前端界面 https://github.com/b1ackc4t/MarsCTF☆14Aug 9, 2022Updated 3 years ago
- Source code for EMSE 2023 paper "Zero-Shot Code Representation Learning via Prompt Tuning"☆13Feb 15, 2023Updated 3 years ago
- NCTF 2023 challenges and writeups☆15Dec 30, 2023Updated 2 years ago
- ☆25Mar 1, 2025Updated last year
- Official WACV 2025 code for Point-GN: A non-parametric, training-free method for 3D point cloud classification using Gaussian Positional …☆15Jul 22, 2025Updated 8 months ago