Lectures related to Symbolic execution

Explores static analysis techniques like AST-based analysis and taint analysis applied to the Amy language.

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

Introduces AST-based analysis and its benefits over testing, covering its applications, rule implementations, and limitations.

Covers software security testing approaches and coverage metrics.