Software Security: Security Testing - Sanitizers

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (27)

Page 2 of 3

Explores programming language security, covering type safety, memory safety, threat safety, Rust's ownership model, sandboxing, and compartmentalization.

Testing and Debugging

Explores the history of computing, automated testing, TDD, test coverage, bug reports, and debugging.

Software Engineering Fundamentals

Introduces the fundamentals of software engineering, covering instruction processing, algorithms, programming languages, abstractions, testing, security, and open source.

HexHive: Research and Impact

Explores the HexHive project's research questions, bug pruning techniques, and industry collaborations, showcasing its impactful alumni.

Programming Bugs: Understanding, Fixing, and Preventing

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

Security Testing and Spoofing

Covers security testing techniques, spoofing vulnerabilities, encryption bans, and network security properties.

Automated Testing: Strategies and Best Practices

Explores automated testing strategies, including code coverage and various testing techniques, to ensure reliable software development.

Correctness of Compilers: Part 1

Explores compiler correctness, examples of verified compilers, formal verification, and the challenges of certifying compilers.

Dynamic Memory Allocation: Understanding Pointers in C

Provides an overview of dynamic memory allocation in C programming, focusing on pointers and memory management techniques.

Adversarial Thinking: Reasoning as an Adversary

Explores the importance of understanding attacks and the reasoning behind adversarial thinking in developing security mechanisms.