Analyzing Code with Infer#

Update: 2021-02-11

Description

Want to detect reliability and security bugs before they ship? Matthew Jin and Xiaoyu Liu show Infer#, a static analysis tool you can use to validate the correctness of source code without needing to execute it.

Learn more about Infer# here.

Comments

In Channel

Solution Filters in Visual Studio

2021-10-0519:52

Versioning ASP.NET Core Services

2021-09-1623:26

Web Live Preview

2021-09-0924:03

Building Power Apps with Web APIs

2021-08-0521:12

An Overview of the Power Platform

2021-07-2922:03

Async Debugging Part 3

2021-06-2517:03

Async Debugging Part 2

2021-06-1721:02

Why is Async Code Hard to Debug?

2021-06-1023:05

Performance Profiling | .NET Perf Counters Tool

2021-06-0318:47

Getting Started with PyTorch in VS Code

2021-05-2718:01

Project Reunion

2021-05-1318:34

EF Core

2021-05-0631:28

What's New with GitHub Actions Tooling?

2021-04-2915:14

Getting Started with Jupyter Notebooks in VS Code

2021-04-2215:56

Choices in Desktop Development

2021-03-2519:51

What's On Your Developer Radar?

2021-03-1821:19

New Experience for Sending Feedback

2021-03-0426:39

.NET Conf: Focus on Windows

2021-02-1816:20

Analyzing Code with Infer#

2021-02-1114:04

Sharing Knowledge Online

2021-02-0416:16

00:00

Analyzing Code with Infer#

Robert Green, Leslie Richardson [MSFT]

#box-pro-ellipsis-176249693701283{-webkit-line-clamp:2;}Analyzing Code with Infer#

Analyzing Code with Infer#

Robert Green, Leslie Richardson [MSFT]

Analyzing Code with Infer#