Gabor Horvath

Software Engineer, C++ Static Analysis Team

Gabor finished a program analysis Ph.D. in 2020. He is a contributor to research projects related to static analysis since 2012. He is a clang contributor, participated in Google Summer of Code twice as a student and many times as a mentor, interned for Apple, Microsoft and Google. He taught C++ and compiler construction to undergrads at Eotvos Lorand University. Currently, he is working at Microsoft's C++ Static Analysis team to improve MSVC's static analysis capabilities.

Post by this author

New Enumeration Checks in Visual Studio 2022 version 17.2 Preview 3

April 12th, 2022
New Enumeration Checks in Visual Studio 2022

Improved Null Pointer Dereference Detection in Visual Studio 2022 version 17.0 Preview 4

October 8th, 2021
Improved Null Pointer Dereference Detection in Visual Studio 2022

Static Analysis Fixes in Visual Studio 2019 version 16.11

September 13th, 2021
List of Code Analysis Fixes in Visual Studio 2019 16.11

Ignoring Automatic Initialization for Code Analysis

May 6th, 2021
Reading uninitialized memory is one of the major sources of security vulnerabilities in C and C++ programs. Microsoft developed many tools to find such errors including compiler warnings, static analysis checks, and more recently: code instrumentation.  For a more detailed overview of uninitialized memory related vulnerabilities and ...