Static Analysis for Amy: Introduction to AST-based Analysis

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (29)

Multithreading: Code Generation and Type Checking Log in to Mediaspace to watch this video

Covers multithreading, code generation, and type checking in compiler implementation.

Software Quality: Managing Defects and Testing Strategies Log in to Mediaspace to watch this video

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

Testing Strategies: Code Coverage and Quality Log in to Mediaspace to watch this video

Covers testing strategies, emphasizing code coverage and quality in software development through various testing methodologies and practical examples.

Concept Selection and Tradespace Exploration Log in to Mediaspace to watch this video

Explores concept selection, Pugh Matrix method, preliminary design reviews, system integration, and verification in systems engineering.

Project Management: Portfolio Management Log in to Mediaspace to watch this video

Focuses on project planning, execution, and key user involvement for effective project management.

Smart Contract Implementation: Coin Log in to Mediaspace to watch this video

Covers the implementation of a smart contract for a simple coin and discusses financial blockchain applications.

Query Optimization: Distributed Execution and Testing Log in to Mediaspace to watch this video

Explores query optimization, distributed execution, and testing in a SmartDataLake project.

GoogleTest, Pytest, Git Submodule/Subtree, Python os.path Log in to Mediaspace to watch this video

Covers Google Test, Pytest, Git submodule/subtree, and Python file manipulation.

Property-Based Testing: QuickChick Log in to Mediaspace to watch this video

Explores property-based testing using QuickChick, focusing on software correctness, specifications, and dynamic information flow control.

Page 2 of 2