☆11Mar 19, 2022Updated 3 years ago
Alternatives and similar repositories for NJU-static-program-analysis-node
Users that are interested in NJU-static-program-analysis-node are comparing it to the libraries listed below
Sorting:
- 🔫长亭安全评估工具XRay的PoC功能模块复现Demo☆14Jan 17, 2020Updated 6 years ago
- A Static Code Feature Extraction Tool for Java and Android☆21Jun 7, 2023Updated 2 years ago
- dongtai web is the front-end project of "huoxian DongTaiIast" and is responsible for page display☆18Nov 3, 2023Updated 2 years ago
- A benchmark to evaluate taint analysis☆27Jun 20, 2022Updated 3 years ago
- Basic Gradle configuration and example drivers to get started with WALA☆29Dec 2, 2024Updated last year
- CTF中Pwn的快速利用模板（包含awd pwn）☆28Oct 15, 2021Updated 4 years ago
- Serialize/deserialize Range in HTML.☆15Jan 30, 2026Updated 3 weeks ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆38Nov 13, 2025Updated 3 months ago
- 基于Java ASM技术和GadgetInspector的原理，尝试实现一个自动Java代码审计工具。目前做到了可控参数分析和数据流跟踪分析☆39Oct 26, 2021Updated 4 years ago
- This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket☆12Jun 29, 2022Updated 3 years ago
- A collection of my own homework codes, mainly from School of Artificial Intelligence, NJU.☆12May 25, 2021Updated 4 years ago
- CS 380D Distributed Systems at UT Austin with Vijay Chidambaram☆12Oct 19, 2023Updated 2 years ago
- 之前的个人wiki。现在用 Blog 的形式来写了。这个wiki就放在这里吧。希望里面的内容能帮助到别人。☆10Apr 2, 2020Updated 5 years ago
- Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".☆11May 20, 2019Updated 6 years ago
- An LLVM IR Editor plugin for Eclipse☆53Jan 22, 2014Updated 12 years ago
- YaraSploit is a collection of Yara rules generated from Metasploit framework shellcodes.☆45Nov 7, 2023Updated 2 years ago
- Security tool to encode/decode Golang web-frameworks' client-side session cookie which use `gorilla/securecookie` or `gorilla/sessions`, …☆36Oct 7, 2019Updated 6 years ago
- This script searches NVD's website for new CVES, alerting you by email or telegram. You can configure a list of products that interest yo…☆11Mar 21, 2021Updated 4 years ago
- An implementation of sparse-value flow analysis on top of soot (using Scala)☆10Dec 12, 2024Updated last year
- The solutions to the assignments of the cs193p course, covering SwiftUI.☆12Mar 6, 2024Updated last year
- ☆11Mar 30, 2019Updated 6 years ago
- A nice asynchronous anime downloader and task automater for kickassanime.☆10Jul 16, 2022Updated 3 years ago
- C++03 compile-time ray tracer☆10Feb 22, 2018Updated 8 years ago
- Run program in a sandbox-like environment☆10Jan 1, 2015Updated 11 years ago
- ☆11Jan 24, 2023Updated 3 years ago
- Simply C program slicing tool in C☆10Jun 19, 2015Updated 10 years ago
- Various CTF challenge solutions☆12Apr 20, 2021Updated 4 years ago
- jar or dex tools☆10Mar 24, 2016Updated 9 years ago
- ☆20Jan 12, 2022Updated 4 years ago
- ☆12Mar 31, 2021Updated 4 years ago
- Verify CPU circuits in Logisim or Verilog against MARS simulation☆10Dec 31, 2020Updated 5 years ago
- 王树森《深度强化学习》学习笔记☆10Oct 11, 2022Updated 3 years ago
- A linter for Soufflé Datalog☆16Apr 1, 2024Updated last year
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- cybersecurity toolbox☆10Dec 7, 2022Updated 3 years ago
- Hide the memory of the process in the Linux kernel.☆10Dec 8, 2020Updated 5 years ago
- ☆14Jan 18, 2020Updated 6 years ago
- A blog of Programming Languages Group @Purdue☆11Feb 17, 2026Updated last week
- A rewrite of the popular altDNS subdomain tool by @infosec-au☆12Feb 28, 2019Updated 7 years ago