cmput416 / outline
Outline for the CMPUT 416 course at the University of Alberta
☆11Updated last year
Related projects ⓘ
Alternatives and complementary repositories for outline
- Lectures for the CMPUT 416 course at the University of Alberta☆19Updated 11 months ago
- A high-performance, parallel, compilation-based symbolic execution engine☆123Updated this week
- Public-facing course info for program analysis materials.☆37Updated this week
- A points-to and alias analysis benchmark suite☆36Updated 6 years ago
- ☆13Updated this week
- A framework for testing compilers' type checkers☆50Updated 3 months ago
- ☆55Updated 8 months ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆123Updated 3 months ago
- Static program analysis for TIP☆282Updated last year
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆37Updated last year
- ☆27Updated 2 years ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated last year
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆29Updated last year
- Symbolic Program Slicing with LLVM☆76Updated 4 years ago
- Teaching and Learning Software Verification via SVF☆32Updated last month
- ☆12Updated 4 years ago
- A Pointer Analysis Framework for Rust☆42Updated last month
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆115Updated 2 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆104Updated last week
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆162Updated 5 months ago
- Mutation-guided mutation-based fuzz testing☆41Updated 4 months ago
- Static checker for Java☆84Updated last year
- ☆17Updated 2 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆138Updated 4 months ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆79Updated last month
- Learning to Solve SMT Formulas Fast☆85Updated 5 months ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆41Updated 3 years ago
- ☆62Updated 5 years ago
- A dynamic control flow graph (CFG) reconstruction plugin for valgrind.☆111Updated 6 months ago