JacyCui / cpp-static-analyzer

Related projects ⓘ

Alternatives and complementary repositories for cpp-static-analyzer

• Vulnerability-Detection / z3-study
  z3 solver 学习
  ☆45Updated last year
• ChinaNuke / ast-interpreter
  国科大编译作业：基于Clang的C语言解释执行器
  ☆39Updated 2 years ago
• RicoloveFeng / SPA-Freestyle-Guidance
  带你畅游《软件分析》
  ☆274Updated 2 years ago
• ycdxsb / ast-interpreter
  AST interpreter with clang 5.0.0 and llvm 5.0.0
  ☆14Updated 4 years ago
• wcphkust / tutorialpass
  LLVM pass
  ☆21Updated 4 years ago
• ChinaNuke / Point-to-Analysis
  国科大编译作业三：Point to 分析
  ☆16Updated 2 years ago
• seclab-ucr / SUTURE
  Precise and high-order static points-to/taint analysis based on LLVM IR.
  ☆71Updated 2 years ago
• ChinaNuke / llvm-pass
  国科大编译作业二：LLVM Pass处理函数调用
  ☆17Updated 3 years ago
• m4p1e / PLT-notes
  The notes about programming language theory
  ☆23Updated last year
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台
  ☆200Updated 2 years ago
• UofT-EcoSystem / CSCD70
  CSCD70 Compiler Optimization
  ☆245Updated last year
• RangerNJU / Software-Testing-Intro
  Software testing introduction. An introductory booklet written for friends who are interested in software quality assurance. 软件测试简介。为对软件质…
  ☆28Updated 3 years ago
• awen-li / PolyCruise
  A Cross-Language Dynamic Information Flow Analysis.
  ☆24Updated last year
• QilinPTA / Qilin
  Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
  ☆123Updated 3 months ago
• mit-ll / Cross-Language-Attacks
  ☆27Updated 2 years ago
• Enna1 / remniw
  Yet Another Toy Compiler from REMNIW(a toy language) to X64 and RISC-V assembly
  ☆34Updated 10 months ago
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆96Updated last year
• SVF-tools / Software-Security-Analysis
  Software Security Analysis Course
  ☆34Updated last month
• ise-uiuc / KernelGPT
  KernelGPT: Enhanced Kernel Fuzzing via Large Language Models
  ☆64Updated 2 months ago
• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 4 years ago
• alexjung / Writing-an-LLVM-Pass-using-the-new-PassManager
  This is a tutorial on how to write an LLVM Pass using the (kind-of) new PassManager. It is compiled from different sources referenced in …
  ☆51Updated 5 years ago
• zer0pwned / RISCVDockerEnv
  Docker image for RISC-V 32/64 development environment, along with Qemu
  ☆23Updated 2 years ago
• Enna1 / LLVM-Study-Notes
  Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0
  ☆138Updated 10 months ago
• umnsec / mlta
  TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets
  ☆85Updated 7 months ago
• Yunlongs / Goshawk
  Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management fu…
  ☆79Updated 11 months ago
• KRoverSystems / KRover
  A Symbolic Execution Engine for Dynamic Kernel Analysis
  ☆26Updated 5 months ago
• silverbullettt / zipper
  Precision-guided context sensitivity for pointer analysis
  ☆57Updated last year
• HUSTSeclab / KernelTestingPapers
  Papers related with kernel papers
  ☆13Updated last year
• bluesadi / Tai-e-solutions
  My solutions to NJU Static Program Analysis assignments: https://tai-e.pascal-lab.net/en/intro/overview.html
  ☆46Updated 2 years ago