Software Analysis and Verification Group
☆15Nov 11, 2025Updated 3 months ago
Alternatives and similar repositories for groupmeeting
Users that are interested in groupmeeting are comparing it to the libraries listed below
Sorting:
- ☆16Jun 21, 2024Updated last year
- Using SVF in Python Projects☆15Updated this week
- Ranking LLM-Generated Loop Invariants for Program Verification.☆12Aug 20, 2024Updated last year
- JVM Abstracting Abstract Machine☆25Jan 29, 2019Updated 7 years ago
- An external project example using SVF as a library☆24Dec 17, 2025Updated 2 months ago
- A use-after-free checker based on SVF.☆20Nov 29, 2017Updated 8 years ago
- Pointer Analysis with Tunable Precision☆28Mar 23, 2016Updated 9 years ago
- Static Analysis Course☆87Updated this week
- PTABen: Micro-benchmark Suite for Pointer Analysis☆84Updated this week
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆37Aug 17, 2023Updated 2 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆90Sep 18, 2025Updated 5 months ago
- LLVM trunk with poolalloc trunk modified to compile only DSA☆12Jul 9, 2015Updated 10 years ago
- Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".☆11May 20, 2019Updated 6 years ago
- ☆10Mar 16, 2023Updated 2 years ago
- driver manual mapper☆12Feb 22, 2020Updated 6 years ago
- Exploit codes for rconfig <= 3.9.4☆11Mar 17, 2020Updated 5 years ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- Some tools☆10Dec 5, 2017Updated 8 years ago
- Learning playground for Argus-SAF☆10Dec 27, 2018Updated 7 years ago
- Learn Winapi in this Repo with examples, to understand its abstraction in reverse engineering for Windows.☆11Aug 8, 2022Updated 3 years ago
- ☆11Mar 19, 2022Updated 3 years ago
- An implementation of sparse-value flow analysis on top of soot (using Scala)☆10Dec 12, 2024Updated last year
- Deadline countdowns for academic conferences relevant to the SSE chair.☆12Feb 10, 2026Updated 3 weeks ago
- An LLM-based LS implementation that makes use of tree-sitter context to perform code actions☆16Sep 6, 2024Updated last year
- ☆11Jan 8, 2022Updated 4 years ago
- https://hackmd.io/s/r1SgsdF3X☆10Dec 21, 2018Updated 7 years ago
- Something To Do Android Application Security Research☆10May 14, 2021Updated 4 years ago
- Linux kernel module that provides remote backdoor using netfilters , file and pid hiding.☆11Apr 1, 2017Updated 8 years ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- So you want to fix a raw .net file manually ? I got it!, Let's fix RVA and Sizes, Relocations, EP, IAT, Metadata Dir, Directory, BSJB, In…☆10Aug 8, 2022Updated 3 years ago
- A reading group for system verification papers☆10Sep 28, 2023Updated 2 years ago
- Sending whispers across the interstellar space!☆11Aug 11, 2019Updated 6 years ago
- A library for genericly composing/lifting operations in a stack of monadic contexts☆16Jan 25, 2015Updated 11 years ago
- A blog of Programming Languages Group @Purdue☆11Feb 17, 2026Updated 2 weeks ago
- A template project for use with cargo-generate☆13Nov 7, 2023Updated 2 years ago
- Các vấn đề hiện đại CNTT☆11Dec 4, 2017Updated 8 years ago
- Program Slicing. Experimental library.☆13Feb 2, 2022Updated 4 years ago
- This is an implementation of the Language Server Protocol for Jimple. It enables your IDE to provide code exploring features while workin…☆12Dec 15, 2023Updated 2 years ago
- ☆12Apr 7, 2022Updated 3 years ago