Learning and Teaching Software Analysis and Verification via SVF
☆26Jul 24, 2025Updated 7 months ago
Alternatives and similar repositories for SVF-Teaching
Users that are interested in SVF-Teaching are comparing it to the libraries listed below
Sorting:
- Teaching and Learning Software Analysis via SVF☆210Updated this week
- 国科大编译作业二：LLVM Pass处理函数调用☆18Nov 11, 2021Updated 4 years ago
- Static Value-Flow Analysis Framework for Source Code☆1,652Feb 26, 2026Updated last week
- A curated list of software engineering research, data set, tool.☆32Dec 16, 2022Updated 3 years ago
- Static Analysis Course☆87Updated this week
- ☆35Jun 5, 2023Updated 2 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆101Oct 2, 2020Updated 5 years ago
- Witcher 3 Gwent cards checklist☆16Nov 5, 2025Updated 4 months ago
- Error-free transformations are used to get results with extra accuracy.☆15Jan 20, 2025Updated last year
- ☆17Mar 3, 2026Updated last week
- This script is for photographers to do timeslice with one click.☆13Aug 21, 2022Updated 3 years ago
- ☆11Nov 13, 2020Updated 5 years ago
- We set out to reduce jitter/latency on our Forex Trading applications to the max, the focus was on the operating system level as well as …☆10Dec 31, 2020Updated 5 years ago
- Simple music player for iOS using industry standard development practises☆10Jul 18, 2025Updated 7 months ago
- Source Code Search☆11Nov 16, 2023Updated 2 years ago
- ☆14Jun 17, 2024Updated last year
- 写的快糙猛的课程作业（躺☆11May 2, 2020Updated 5 years ago
- ☆16Aug 19, 2024Updated last year
- Get random bytes from the TPM (tool + BCrypt RNG provider)☆17Nov 3, 2020Updated 5 years ago
- Talk to a USB serial device without OS drivers!☆11Sep 7, 2022Updated 3 years ago
- Some anti-sandbox codes, copy directly to strengthen your own ShellCode☆12Dec 26, 2022Updated 3 years ago
- A unikernel builder based on MUSL + LKL, designed to run any vanilla application inside an SGX enclave☆10Sep 13, 2016Updated 9 years ago
- A comprehensive and architecture-agnostic performance analysis tool.☆11Feb 26, 2026Updated last week
- (All in One) Pty & Terminal package for Go with an encrypted remote shell as example.☆15Apr 23, 2024Updated last year
- AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries☆12Dec 28, 2018Updated 7 years ago
- !exploitable Crash Analyzer - MSEC Debugger Extensions☆11Feb 16, 2021Updated 5 years ago
- An implementation of memcpy for amd64 with clang/gcc☆15Feb 7, 2022Updated 4 years ago
- ☆10Jul 9, 2020Updated 5 years ago
- some algorithm books in Chinese☆12Sep 29, 2018Updated 7 years ago
- NeonGoby alias analysis checker☆14Jul 2, 2013Updated 12 years ago
- A Light CodeCounter with Qt C++☆10Jul 24, 2024Updated last year
- ☆11Mar 19, 2022Updated 3 years ago
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆97Aug 16, 2023Updated 2 years ago
- Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity☆11Jul 2, 2023Updated 2 years ago
- ☆11Feb 19, 2023Updated 3 years ago
- U2F/FIDO-based key derivation and encapsulation -- C implementation and command-line tool☆10Dec 16, 2025Updated 2 months ago
- Writing a x86 operating system from scratch☆11Apr 7, 2022Updated 3 years ago
- A hybrid analysis framework to aid in uncovering deserialization vulnerabilities☆15Oct 13, 2024Updated last year
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆11Feb 27, 2020Updated 6 years ago