Alternatives and similar repositories for groupmeeting

Users that are interested in groupmeeting are comparing it to the libraries listed below

• kisslune / POCR

  View on GitHub
  ☆16Jun 21, 2024Updated last year
• SVF-tools / SVF-Python

  View on GitHub
  Using SVF in Python Projects
  ☆14Feb 6, 2026Updated last week
• microsoft / NeuralInvariantRanker

  View on GitHub
  Ranking LLM-Generated Loop Invariants for Program Verification.
  ☆12Aug 20, 2024Updated last year
• qingkaishi / context-sensitive-reachability

  View on GitHub
  Indexing reachability for context-sensitive data flow analysis.
  ☆12Jul 10, 2022Updated 3 years ago
• cuplv / thresher

  View on GitHub
  Static heap reachability analysis for Java bytecode and Android memory leak finder.
  ☆32Oct 25, 2014Updated 11 years ago
• Ucombinator / jaam

  View on GitHub
  JVM Abstracting Abstract Machine
  ☆25Jan 29, 2019Updated 7 years ago
• SVF-tools / SVF-example

  View on GitHub
  An external project example using SVF as a library
  ☆24Dec 17, 2025Updated last month
• whichbug / SVF-UAF

  View on GitHub
  A use-after-free checker based on SVF.
  ☆20Nov 29, 2017Updated 8 years ago
• grievejia / tpa

  View on GitHub
  Pointer Analysis with Tunable Precision
  ☆27Mar 23, 2016Updated 9 years ago
• SVF-tools / Teaching-Software-Verification

  View on GitHub
  Teaching and Learning Software Verification via SVF
  ☆34Dec 17, 2025Updated last month
• SVF-tools / Software-Security-Analysis

  View on GitHub
  Static Analysis Course
  ☆87Dec 17, 2025Updated last month
• SVF-tools / Test-Suite

  View on GitHub
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆84Feb 6, 2026Updated last week
• seclab-ucr / GPT-Expr

  View on GitHub
  Assisting Static Analysis with Large Language Models: A ChatGPT Experiment
  ☆37Aug 17, 2023Updated 2 years ago
• seclab-ucr / SUTURE

  View on GitHub
  Precise and high-order static points-to/taint analysis based on LLVM IR.
  ☆89Sep 18, 2025Updated 4 months ago
• jtcriswell / llvm-dsa

  View on GitHub
  LLVM trunk with poolalloc trunk modified to compile only DSA
  ☆12Jul 9, 2015Updated 10 years ago
• ChunghaSung / intAbs

  View on GitHub
  Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".
  ☆11May 20, 2019Updated 6 years ago
• v1k1ngfr / exploits-rconfig

  View on GitHub
  Exploit codes for rconfig <= 3.9.4
  ☆12Mar 17, 2020Updated 5 years ago
• skadro-official / kdmapper

  View on GitHub
  driver manual mapper
  ☆12Feb 22, 2020Updated 5 years ago
• ssbse2021 / SPECTRE

  View on GitHub
  ☆10Mar 16, 2023Updated 2 years ago
• Jezurko / potato

  View on GitHub
  Experimental MLIR based points-to analysis tool
  ☆17Jan 21, 2026Updated 3 weeks ago
• cuplv / dai

  View on GitHub
  DAI: Demanded Abstract Interpretation
  ☆16Sep 23, 2024Updated last year
• FaspDevTeam / OpenCAEPoro

  View on GitHub
  Open source simulator for porous media flow
  ☆14Oct 15, 2022Updated 3 years ago
• happyincent / Functional-Programming-in-C

  View on GitHub
  https://hackmd.io/s/r1SgsdF3X
  ☆10Dec 21, 2018Updated 7 years ago
• runarorama / scala-bound

  View on GitHub
  A library for developing languages with scoped binders (like forall or lambda).
  ☆28Aug 21, 2018Updated 7 years ago
• k6ymaker / NJU-static-program-analysis-node

  View on GitHub
  ☆11Mar 19, 2022Updated 3 years ago
• duydoanx / gl553vd-opencore-macos-big-sur

  View on GitHub
  OpenCore for GL553VD.
  ☆10Aug 28, 2021Updated 4 years ago
• Darenfy / AppDroid_Sec

  View on GitHub
  Something To Do Android Application Security Research
  ☆10May 14, 2021Updated 4 years ago
• fengcc / ProgramSlicing

  View on GitHub
  Simply C program slicing tool in C
  ☆10Jun 19, 2015Updated 10 years ago
• arguslab / Argus-SAF-playground

  View on GitHub
  Learning playground for Argus-SAF
  ☆10Dec 27, 2018Updated 7 years ago
• rbonifacio / svfa-scala

  View on GitHub
  An implementation of sparse-value flow analysis on top of soot (using Scala)
  ☆10Dec 12, 2024Updated last year
• trailofbits / divergent-representations

  View on GitHub
  CodeQL and Binary Ninja scripts to accompany the blog post
  ☆11Feb 3, 2023Updated 3 years ago
• Michael-F-Bryan / github-template

  View on GitHub
  A template project for use with cargo-generate
  ☆13Nov 7, 2023Updated 2 years ago
• DownWithUp / CVE-2018-15499

  View on GitHub
  PoC code for CVE-2018-15499 (exploit race condition for BSoD)
  ☆11Aug 23, 2018Updated 7 years ago
• sashs / tools

  View on GitHub
  Some tools
  ☆10Dec 5, 2017Updated 8 years ago
• PatWie / polyglot_ls

  View on GitHub
  An LLM-based LS implementation that makes use of tree-sitter context to perform code actions
  ☆16Sep 6, 2024Updated last year
• truonganhhoang / int3507-2017

  View on GitHub
  Các vấn đề hiện đại CNTT
  ☆11Dec 4, 2017Updated 8 years ago
• x-vespiary / writeup

  View on GitHub
  CTF writeups by ./Vespiary
  ☆16Nov 12, 2023Updated 2 years ago
• SVL-simulator / simulator

  View on GitHub
  The repo works as a archive for the SVL simulator without Git LFS initialized.
  ☆12Jan 25, 2022Updated 4 years ago
• PurduePL / purduepl.github.io

  View on GitHub
  A blog of Programming Languages Group @Purdue
  ☆11Updated this week