☆11Mar 19, 2022Updated 4 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:
- 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☆29Jun 20, 2022Updated 3 years ago
- 🔫长亭安全评估工具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
- Basic Gradle configuration and example drivers to get started with WALA☆29Dec 2, 2024Updated last year
- TaskMet Task-driven Metric Learning for Model Learning☆20Feb 9, 2024Updated 2 years ago
- ☆10Sep 16, 2021Updated 4 years ago
- JAVA指针分析☆13Jul 23, 2019Updated 6 years ago
- An LLVM IR Editor plugin for Eclipse☆53Jan 22, 2014Updated 12 years ago
- A collection of my own homework codes, mainly from School of Artificial Intelligence, NJU.☆12May 25, 2021Updated 4 years ago
- easy_Pwn☆19Apr 19, 2019Updated 6 years ago
- Code for ICML 2023 paper named "Averaged Method of Multipliers for Bi-Level Optimization without Lower-Level Strong Convexity"☆14Jan 14, 2025Updated last year
- Local Generative Surrogate Optimisation algorithm☆12Oct 21, 2020Updated 5 years ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆38Nov 13, 2025Updated 4 months ago
- 王树森《深度强化学习》学习笔记☆11Oct 11, 2022Updated 3 years ago
- POC for XStream RCE☆13Dec 23, 2013Updated 12 years ago
- Code for paper: End-to-end Stochastic Optimization with Energy-based Model☆16Feb 14, 2023Updated 3 years ago
- Uplift Modeling for Multiple Treatments☆16Sep 3, 2021Updated 4 years ago
- ☆11Aug 13, 2019Updated 6 years ago
- Causal Inference☆11May 25, 2020Updated 5 years ago
- A lisp(sbcl) implementation of the algorithms described in 『The Art of Multiprocessor Programming』☆17Sep 22, 2012Updated 13 years ago
- CS 380D Distributed Systems at UT Austin with Vijay Chidambaram☆12Oct 19, 2023Updated 2 years ago
- https://hackmd.io/s/r1SgsdF3X☆10Dec 21, 2018Updated 7 years ago
- NJU-DisSys-2020☆12Dec 29, 2020Updated 5 years ago
- Verify CPU circuits in Logisim or Verilog against MARS simulation☆10Dec 31, 2020Updated 5 years ago
- 集成学 习思维导图☆20Apr 6, 2023Updated 2 years ago
- 基于Java ASM技术和GadgetInspector的原理，尝试实现一个自动Java代码审计工具。目前做到了可控参数分析和数据流跟踪分析☆39Oct 26, 2021Updated 4 years ago
- Concise tutorials for distributed training using PyTorch☆10Apr 18, 2023Updated 2 years ago
- A points-to and alias analysis benchmark suite☆41Sep 24, 2018Updated 7 years ago
- ☆12Aug 5, 2021Updated 4 years ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 4 years ago
- This is the repository for the CMU course 67-300: Search Engines☆11Nov 8, 2023Updated 2 years ago
- SecuritySummit-安全峰会PPT收集整理☆29Feb 24, 2023Updated 3 years ago
- It is a Python+Perl script to exploit ASP.net Padding Oracle vulnerability.☆18Aug 2, 2016Updated 9 years ago
- This is an implementation for our paper "Addressing Confounding Feature Issue for Causal Recommendation" based on PyTorch.☆22Jun 15, 2023Updated 2 years ago
- A great tutorial that gives you a sufficient understanding of the recommendation system☆10Mar 21, 2020Updated 5 years ago
- Code for the paper "Predict-then-optimize or predict-and-optimize? An empirical evaluation of cost-sensitive learning strategies".☆20Feb 7, 2024Updated 2 years ago
- UCSD CSE231 Advanced Compiler - LLVM project☆12Mar 28, 2017Updated 8 years ago
- 南京大学机器学习课程oj☆25Jun 14, 2019Updated 6 years ago