Static program analysis

Related lectures (30)

Page 3 of 3

Covers software security testing approaches and coverage metrics.

Explores Dynamically Scheduled HLS and imperative language compilation for dataflow machines.

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

Covers the analysis of static (rigid) structures, including equilibrium and free-body diagrams.

Explores the formal analysis of a classic waffle iron design evolution.

Covers Belief Propagation, a key method for both analysis and algorithm.

Covers Sparsest Subgraph and Densest Subgraph, focusing on correlation clustering and approximation algorithms.

Covers the analysis of distributed quantum computation and EPR pairs.

Introduces Stainless, a verifier for Scala, emphasizing bug prevention and library access.

Explores the impact of new technologies on recruitment, emphasizing the importance of fair and accurate tools.