Tai-e assignments for static program analysis
☆12Jun 27, 2022Updated 3 years ago
Alternatives and similar repositories for Tai-e-assignments
Users that are interested in Tai-e-assignments are comparing it to the libraries listed below
Sorting:
- Tai-e assignments for static program analysis☆32Aug 5, 2022Updated 3 years ago
- It is a RESTful API fuzzer.☆12Jun 20, 2024Updated last year
- Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.☆14Jul 11, 2014Updated 11 years ago
- UCore Operating System labs☆12May 21, 2018Updated 7 years ago
- Binary Ninja plugin for forward/backward slicing☆18Nov 25, 2020Updated 5 years ago
- JS逆向还原混淆☆15Aug 25, 2022Updated 3 years ago
- This repository contains the artifact for the SOSP'23 paper: Sishuai Gong, Dinglan Peng, Deniz Altınbüken, Pedro Fonseca, Petros Maniati…☆15Oct 24, 2023Updated 2 years ago
- ☆17Dec 12, 2021Updated 4 years ago
- ☆17Sep 1, 2023Updated 2 years ago
- 🐍 Deep Learning Type Inference of Python Function Signatures using their Natural Language Context☆17May 3, 2024Updated last year
- ☆15Apr 28, 2023Updated 2 years ago
- A tensorflow implementation of "Deep Convolutional Generative Adversarial Networks"☆15Oct 16, 2017Updated 8 years ago
- A CUDA kernel for NHWC GroupNorm for PyTorch☆23Nov 15, 2024Updated last year
- Code for "An AST Structure Enhanced Decoder for Code Generation"☆15Oct 14, 2021Updated 4 years ago
- A semantic-based tool to detect credential leakage in mini-apps.☆18Sep 8, 2024Updated last year
- A curated list of Security Big4 papers for Privacy, Mobile Security and Access Control.☆15Oct 8, 2024Updated last year
- SHERLOC: Secure and Holistic Control-Flow Violation Detection on Embedded Systems☆17Feb 21, 2024Updated 2 years ago
- classification and solutions for PKU-CSSummerCamp-OnlineJudge☆22Jul 1, 2023Updated 2 years ago
- CD4Py: Code De-Duplication for Python☆23Dec 13, 2020Updated 5 years ago
- Retypd plugin for Ghidra reverse engineering framework from NSA☆27Jul 6, 2023Updated 2 years ago
- A curated list of sanitizers to detect bugs☆28Feb 2, 2026Updated last month
- Witcher is the first framework for using AFL to fuzz web applications.☆104Nov 28, 2023Updated 2 years ago
- ☆28Apr 18, 2024Updated last year
- ☆23Dec 3, 2020Updated 5 years ago
- ☆22Nov 12, 2020Updated 5 years ago
- 面向软件安全的污点数据检测系统☆24Jul 26, 2016Updated 9 years ago
- The intuitive UI for IntelliMerge, where the developers can merge code and resolve conflicts.☆25Mar 28, 2024Updated last year
- Tai-e assignments for static program analysis☆1,219Aug 28, 2025Updated 6 months ago
- Dtaint: taint analysis based on DFSan and llvm instrumentation☆28Dec 28, 2021Updated 4 years ago
- 适用于中山大学（SYSU）课程/实验报告的一个简单的 LaTeX 小模板☆40Sep 26, 2024Updated last year
- Testability Tarpits: the Impact of Code Patterns on the Security Testing of Web Applications (NDSS 2022)☆27Feb 14, 2024Updated 2 years ago
- Run android with S2E☆31Dec 11, 2014Updated 11 years ago
- The source code of [S&P'25] Detecting Taint-Style Vulnerabilities in Microservice-Structured Web Applications.☆64Nov 20, 2025Updated 3 months ago
- Automatically generate environment configurations as Dockerfiles☆27Dec 7, 2022Updated 3 years ago
- A redistributable subset of the ETH Py150 corpus [https://www.sri.inf.ethz.ch/py150], introduced in the ICML 2020 paper 'Learning and Eva…☆32Aug 11, 2020Updated 5 years ago
- Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)☆39May 6, 2024Updated last year
- reimplementing scalog from scratch☆31Oct 11, 2020Updated 5 years ago
- Python library for CPGQL server☆41Jun 4, 2024Updated last year
- Use Machine learning to build scorecard model☆32Sep 1, 2018Updated 7 years ago