k6ymaker / NJU-static-program-analysis-node

Related projects: ⓘ

• soot-oss / TaintAnalysis
  Taint analysis implementation based on Heros and Soot
  ☆39Updated 4 months ago
• RangerNJU / Software-Testing-Intro
  Software testing introduction. An introductory booklet written for friends who are interested in software quality assurance. 软件测试简介。为对软件质…
  ☆27Updated 3 years ago
• rainoftime / program-analysis-note
  ☆26Updated this week
• Anemone95 / taint-benchmark
  A benchmark to evaluate taint analysis
  ☆30Updated 2 years ago
• Leo0426 / WALA-improve
  Study WALA and static code analysis . This project introduces the required knowledge and study roadmap.
  ☆20Updated 3 years ago
• silverbullettt / zipper
  Precision-guided context sensitivity for pointer analysis
  ☆58Updated last year
• Konano / ReqsMiner
  ☆12Updated 2 months ago
• secure-software-engineering / secucheck
  Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…
  ☆16Updated 6 months ago
• hldfight / Tai-e-Assignment
  Tai-e学习记录
  ☆10Updated 5 months ago
• enferas / TestabilityTarpits
  Testability Tarpits: the Impact of Code Patterns on the Security Testing of Web Applications (NDSS 2022)
  ☆22Updated 7 months ago
• yetingli / ReDoSHunter
  ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection
  ☆74Updated last year
• cokeBeer / goot
  a dataflow analysis framework implemented in Go, like soot
  ☆27Updated last year
• LFYSec / ToyCompiler
  A c0 -> LLVM IR compiler, with some optimization.
  ☆12Updated 4 years ago
• XiaoXiaoGuaiXiaShi / Container-security-papers
  近年来容器安全相关论文收集整理
  ☆15Updated last year
• HXSecurity / DongTai-engine
  This repository has been merged into https://github.com/HXSecurity/DongTai. DongTai-engine used to analyze the method data collected by …
  ☆19Updated 2 years ago
• iflody / codeql-workshop
  ☆12Updated 3 years ago
• SpringJasmine / Jasmine
  ☆20Updated 2 years ago
• secure-software-engineering / SootFX
  A Static Code Feature Extraction Tool for Java and Android
  ☆18Updated last year
• secure-software-engineering / PointerBench
  A points-to and alias analysis benchmark suite
  ☆35Updated 5 years ago
• UUUUnotfound / Navex_fixed
  ☆28Updated this week
• VictorJiangXin / JAVA-Pointer-Analyse
  JAVA指针分析
  ☆13Updated 5 years ago
• lcatro / cve_diff_checker
  快速对自己项目中引入的第三方开源库进行1day patch检索,patch数据每天晚上11点更新
  ☆20Updated 2 years ago
• seclab-fudan / RecurScan
  ☆20Updated 7 months ago
• Lucifaer / head_first_javarasp
  一些Java RASP demo
  ☆11Updated 4 years ago
• Marcono1234 / codeql-java-queries
  Personal CodeQL queries
  ☆58Updated this week
• SCUBSRGroup / BinaryDatabase
  Collate and collect binary related materials, including papers, tools, etc. Now,there are the following categories: 1、Fuzzing
  ☆56Updated 5 years ago
• wimkeir / graft
  A static analysis tool for Java programs, based on the theory of code property graphs.
  ☆16Updated last year
• forever404 / pwn
  easy_Pwn
  ☆16Updated 5 years ago
• LuckyC4t / gosec-m
  gosec动态规则修改版
  ☆12Updated 3 years ago
• OSUSecLab / TaintMini
  Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis
  ☆72Updated 6 months ago