Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Lecture

Octagon Abstract Interpreter: Implementation for C Programs

Description

This lecture covers the implementation of an Octagon Abstract Interpreter for C programs. It explains the background of abstract interpretation and octagons, the octagon domain, octagonal constraints, DBM matrix representation, closures, and different types of closures like shortest path, strong, and tight closures. The lecture also discusses the running time of closures, backward abstract interpretation, evaluating expressions in the abstract domain, handling pointers, the FrontC parser, and concludes with the current progress and future work of the project.

This video is available exclusively on Mediaspace for a restricted audience. Please log in to MediaSpace to access it if you have the necessary permissions.

Watch on Mediaspace

Official source

Related concepts (32)

Pointer (computer programming)

In computer science, a pointer is an object in many programming languages that stores a memory address. This can be that of another value located in computer memory, or in some cases, that of memory-mapped computer hardware. A pointer references a location in memory, and obtaining the value stored at that location is known as dereferencing the pointer. As an analogy, a page number in a book's index could be considered a pointer to the corresponding page; dereferencing such a pointer would be done by flipping to the page with the given page number and reading the text found on that page.

Function pointer

A function pointer, also called a subroutine pointer or procedure pointer, is a pointer referencing executable code, rather than data. Dereferencing the function pointer yields the referenced function, which can be invoked and passed arguments just as in a normal function call. Such an invocation is also known as an "indirect" call, because the function is being invoked indirectly through a variable instead of directly through a fixed identifier or address. Function pointers allow different code to be executed at runtime.

Smart pointer

In computer science, a smart pointer is an abstract data type that simulates a pointer while providing added features, such as automatic memory management or bounds checking. Such features are intended to reduce bugs caused by the misuse of pointers, while retaining efficiency. Smart pointers typically keep track of the memory they point to, and may also be used to manage other resources, such as network connections and file handles.

Memory

Memory is the faculty of the mind by which data or information is encoded, stored, and retrieved when needed. It is the retention of information over time for the purpose of influencing future action. If past events could not be remembered, it would be impossible for language, relationships, or personal identity to develop. Memory loss is usually described as forgetfulness or amnesia. Memory is often understood as an informational processing system with explicit and implicit functioning that is made up of a sensory processor, short-term (or working) memory, and long-term memory.

Episodic memory

Episodic memory is the memory of everyday events (such as times, location geography, associated emotions, and other contextual information) that can be explicitly stated or conjured. It is the collection of past personal experiences that occurred at particular times and places; for example, the party on one's 7th birthday. Along with semantic memory, it comprises the category of explicit memory, one of the two major divisions of long-term memory (the other being implicit memory).

Related lectures (33)

Pointers: Basics and Applications

Covers the basics of pointers in C, including memory management, structures, functions, and arrays.

C Programming Concepts: Debugging and Memory Management

Covers essential C programming concepts, including memory management, debugging techniques, and practical applications in programming projects.

Pointers: Declaration and Operators

Covers the declaration and basic operators of pointers in C++ and highlights potential confusion between & and * notations.

Requirements Definition Log in to Mediaspace to watch this video

Explores the fundamentals of requirements definition in systems engineering, emphasizing the importance of clear and concise requirements for successful system design.

Pointers and Arrays: Arithmetic, Buffer Overflow Log in to Mediaspace to watch this video