Software Security: Security Testing - Sanitizers

Related lectures (27)

Page 1 of 3

Explores advanced software testing techniques, including property-based testing, to ensure code correctness and improve software quality.

Explores fuzzing, bug oracles, code reviews, and automated testing techniques, emphasizing the importance of sanitization in detecting faults.

Covers software security testing approaches and coverage metrics.

Explores advanced software testing techniques, including property-based testing and various forms of fuzzing, to effectively test complex systems.

Explores managing defects, testing strategies, and challenges in software quality, with real-world examples and case studies.

Explores the Spec# programming system, focusing on a verifying compiler for C# 2.0.

Covers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.

Explores various software security vulnerabilities and the challenges of testing large codebases.

Explores dynamic memory allocation in C, covering malloc, calloc, and realloc functions, emphasizing proper memory management and dynamic arrays.

Explores software quality, defect management, testing importance, and real-world examples of bug impacts.