yuleisui / groupmeetingView external linksLinks
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☆15Feb 6, 2026Updated last week
- Ranking LLM-Generated Loop Invariants for Program Verification.☆12Aug 20, 2024Updated last year
- Static heap reachability analysis for Java bytecode and Android memory leak finder.☆32Oct 25, 2014Updated 11 years ago
- JVM Abstracting Abstract Machine☆25Jan 29, 2019Updated 7 years ago
- An external project example using SVF as a library☆24Dec 17, 2025Updated last month
- A use-after-free checker based on SVF.☆20Nov 29, 2017Updated 8 years ago
- Pointer Analysis with Tunable Precision☆27Mar 23, 2016Updated 9 years ago
- Teaching and Learning Software Verification via SVF☆34Dec 17, 2025Updated last month
- Static Analysis Course☆87Dec 17, 2025Updated last month
- A Micro-benchmarking Framework for Python Type Inference Tools☆38Nov 13, 2025Updated 3 months ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆84Feb 6, 2026Updated last 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.☆89Sep 18, 2025Updated 4 months ago
- Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".☆11May 20, 2019Updated 6 years ago
- driver manual mapper☆12Feb 22, 2020Updated 5 years ago
- Simply C program slicing tool in C☆10Jun 19, 2015Updated 10 years ago
- ☆11Aug 21, 2023Updated 2 years ago
- A blog of Programming Languages Group @Purdue☆11Updated this week
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- CTF writeups by ./Vespiary☆16Nov 12, 2023Updated 2 years ago
- ☆11Jan 8, 2022Updated 4 years ago
- An implementation of sparse-value flow analysis on top of soot (using Scala)☆10Dec 12, 2024Updated last year
- 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 template project for use with cargo-generate☆13Nov 7, 2023Updated 2 years ago
- Something To Do Android Application Security Research☆10May 14, 2021Updated 4 years ago
- Deadline countdowns for academic conferences relevant to the SSE chair.☆12Updated this week
- ☆11Mar 19, 2022Updated 3 years ago
- OpenCore for GL553VD.☆10Aug 28, 2021Updated 4 years ago
- A library for developing languages with scoped binders (like forall or lambda).☆28Aug 21, 2018Updated 7 years ago
- Các vấn đề hiện đại CNTT☆11Dec 4, 2017Updated 8 years ago
- Experimental MLIR based points-to analysis tool☆17Jan 21, 2026Updated 3 weeks ago
- https://hackmd.io/s/r1SgsdF3X☆10Dec 21, 2018Updated 7 years ago
- An LLM-based LS implementation that makes use of tree-sitter context to perform code actions☆16Sep 6, 2024Updated last year
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- Some tools☆10Dec 5, 2017Updated 8 years ago
- A library for genericly composing/lifting operations in a stack of monadic contexts☆16Jan 25, 2015Updated 11 years ago
- Learn Winapi in this Repo with examples, to understand its abstraction in reverse engineering for Windows.☆11Aug 8, 2022Updated 3 years ago
- The repo works as a archive for the SVL simulator without Git LFS initialized.☆12Jan 25, 2022Updated 4 years ago