Software security - Memory safety

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (30)

Page 2 of 3

Programming Bugs: Understanding, Fixing, and Preventing

Explores programming challenges, debugging techniques, software testing, and security practices in software development.

Functions in C: Key Concepts and Examples

Explains the essential concepts of functions in C programming, including definitions, prototypes, and argument passing techniques.

An Introduction to Iris: Higher-Order Concurrent Separation Logic

Introduces Iris, a logical framework for reasoning about safety and correctness of concurrent higher-order imperative programs, emphasizing its unique characteristics and applications.

Pointers in C: Understanding Their Utility and Applications

Covers the definition and applications of pointers in C programming, emphasizing their role in memory management and generic programming.

Pointers and Functions: Understanding Type Reading

Covers type reading in C, focusing on pointers, functions, and the use of typedefs for clarity.

Variables and Types: Introduction to C Programming

Introduces the fundamentals of variables and types in C programming, covering declaration, initialization, and the differences from Java.

Meta-metaprogramming: Advanced Tools for Software Engineering

Explores 'meta-metaprogramming' for simplifying advanced programming tools and addressing software engineering challenges.

Prefix, Infix, Postfix and Code Generation

Explores prefix, infix, and postfix notations in expressions and their role in code generation.

Solving Type Constraints

Explains the process of solving type constraints using the unification algorithm and generalization for flexible type inference.

Foundations of Software: Modeling Programming Languages

Covers the mathematical study of program behaviors, parsing, domain-specific languages, and powerful tools for language design.