cmput416 / lectures
Lectures for the CMPUT 416 course at the University of Alberta
☆19Updated 11 months ago
Related projects ⓘ
Alternatives and complementary repositories for lectures
- Outline for the CMPUT 416 course at the University of Alberta☆11Updated last year
- COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University☆29Updated last year
- ☆62Updated 5 years ago
- Static program analysis for TIP☆282Updated last year
- A library for building abstract interpretation-based analyses☆233Updated last month
- A compiler from TIP to llvm bitcode☆65Updated 2 months ago
- Source code understanding via Machine Learning techniques☆134Updated last year
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆190Updated 4 months ago
- A framework for testing compilers' type checkers☆50Updated 3 months ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation☆277Updated 7 months ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago
- Program Analisys and Transformation survey and links (particular focus on SSA)☆154Updated 3 years ago
- Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program☆26Updated 6 years ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆313Updated this week
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆214Updated 5 years ago
- Collection of Verification Tasks (MOVED, please follow the link)☆184Updated 3 years ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆72Updated last week
- ☆60Updated 7 years ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Updated 6 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆104Updated last week
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆224Updated 2 years ago
- PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs☆132Updated 4 years ago
- ☆20Updated last year
- ☆25Updated 3 years ago
- Program dependence graph in LLVM☆34Updated 4 months ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆41Updated 3 years ago
- A dynamic control flow graph (CFG) reconstruction plugin for valgrind.☆111Updated 6 months ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆88Updated 5 months ago
- Domain-Specific Fuzzing with Waypoints☆237Updated last year
- ANTLR SMT-LIB v2 Grammar☆21Updated 2 years ago