University of Maryland

CMSC 631 — Program Analysis and Understanding

57 documents • ranked by quality and engagement.

No description provided

New Directions in Analysis

CMSC 631 · University of Maryland

PALE (Pointer Assertion Logic Engine)

CMSC 631 · University of Maryland

Error Checkers Metal

CMSC 631 · University of Maryland

Object Encapsulation via Ownership Types

CMSC 631 · University of Maryland

Course Lectures

CMSC 631 · University of Maryland

Finding Dynamic Programming Errors via Static Analyzer

CMSC 631 · University of Maryland

Basics of Program Analysis

CMSC 631 · University of Maryland

Report on Dataflow Analysis Composition

CMSC 631 · University of Maryland

Applications of Type-Based Analysis

CMSC 631 · University of Maryland

Analysis of Roles

CMSC 631 · University of Maryland

Calculus Lambda

CMSC 631 · University of Maryland

Analysis of Data Flow

CMSC 631 · University of Maryland

Fifth Homework

CMSC 631 · University of Maryland

Locksmith Static Race Detection in C

CMSC 631 · University of Maryland

Practice for Midterm Exam

CMSC 631 · University of Maryland

Process Calculus Part 1

CMSC 631 · University of Maryland

Definitions Reaching

CMSC 631 · University of Maryland

Garbage Collection Overview

CMSC 631 · University of Maryland

Improving Software Quality with Lightweight Specs

CMSC 631 · University of Maryland

Type Systems Overview

CMSC 631 · University of Maryland

Types in Programming

CMSC 631 · University of Maryland

Subtyping, Inference, and Type Qualifiers

CMSC 631 · University of Maryland

Data Flow Analysis Tools

CMSC 631 · University of Maryland

Subtyping Concepts

CMSC 631 · University of Maryland