Learning and Teaching Software Analysis and Verification via SVF
☆25Jul 24, 2025Updated last year
Alternatives and similar repositories for SVF-Teaching
Users that are interested in SVF-Teaching are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Experimental dynamic binary instrumentation☆14Feb 28, 2020Updated 6 years ago
- Teaching and Learning Software Analysis via SVF☆218Updated this week
- Teaching and Learning Software Verification via SVF☆36Updated this week
- AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries☆12Dec 28, 2018Updated 7 years ago
- Static Value-Flow Analysis Framework for Source Code☆1,718Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An analyzer of JNI code that matches native code information with Java code☆25Nov 12, 2021Updated 5 years ago
- Thesis project on the development of a framework for Value-Set Analysis☆11Jul 28, 2021Updated 5 years ago
- Instrument LLVM InstCombine pass to record every new instruction and every RAUW replacement☆12Updated this week
- Eclipse plug-in to evaluate software internal quality of Java projects.☆11Apr 19, 2020Updated 6 years ago
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Mar 10, 2018Updated 8 years ago
- Static Analysis Course☆102Updated this week
- Static analysis tool to slice python programs☆38Dec 1, 2016Updated 9 years ago
- A DFA/NFA library that is fast and easy to use☆10Sep 29, 2014Updated 12 years ago
- A curated list of software engineering research, data set, tool.☆32Dec 16, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 滴水逆向课件☆21Jun 10, 2021Updated 5 years ago
- Tai-e assignments for static program analysis☆32Aug 5, 2022Updated 4 years ago
- 国科大编译作业二：LLVM Pass处理函数调用☆18Nov 11, 2021Updated 5 years ago
- A customized version of Ella used in the paper `An Empirical Study of Android Test Generation Tools in Industrial Cases`.☆10Aug 19, 2020Updated 6 years ago
- List of awesome reverse engineering resources☆11Oct 9, 2019Updated 7 years ago
- ☆17Jul 20, 2018Updated 8 years ago
- ☆16Mar 17, 2026Updated 7 months ago
- ☆10May 23, 2023Updated 3 years ago
- Main distribution of Petablox☆35Dec 10, 2017Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- UNMAINTAINED: I am now developing and using https://github.com/GhidraJupyter/ghidra-jupyter-kotlin instead, PRs still welcome☆16May 6, 2020Updated 6 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆101Mar 26, 2026Updated 7 months ago
- ☆12Jan 10, 2024Updated 2 years ago
- A continuously updated collection of papers on agentic SE☆640Jul 17, 2026Updated 3 months ago
- Enables the extraction of Java AST nodes with plain JDT☆18Nov 10, 2017Updated 9 years ago
- Error-free transformations are used to get results with extra accuracy.☆15May 27, 2026Updated 5 months ago
- A debugger to detect and diagnose numerical errors in floating point programs☆13Jun 19, 2022Updated 4 years ago
- ☆19Sep 18, 2021Updated 5 years ago
- Using SVF in Python Projects☆21Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Jan 15, 2020Updated 6 years ago
- A blog for LLVM(v11.0.0) beginner, step by step, with detailed documents and comments. Record the way I learn LLVM.☆13Jun 17, 2022Updated 4 years ago
- Code similarity checker using clang.(AST approach)☆17Feb 17, 2017Updated 9 years ago
- Gwent Card Game from The Witcher 3 in React TS☆11Apr 13, 2022Updated 4 years ago
- 📡 Ease file sharing during pentest/CTF 🎸☆10May 18, 2026Updated 5 months ago
- Unix tools for astrophotography☆11Apr 26, 2026Updated 6 months ago
- Kaggle Titanic Top 3% Solution (301/11487)☆15Aug 10, 2019Updated 7 years ago
Are these results useful?