When using Pulumi with C# to define infrastructure, a developer experienced runtime errors due to missing required properties that the compiler and IDE failed to detect. The issue arose because the property initializers used in Pulumi's generated .NET API did not enforce the inclusion of necessary parameters, leading to potential runtime exceptions. To address this, PulumiCSharpAnalyzer, a Roslyn-based code analyzer, was developed to provide compile-time checks for missing properties in Pulumi projects, integrating with IDEs and build pipelines to report errors. However, the analyzer has limitations, as it may produce false-positive warnings when property setters are used instead of initializers. Despite these limitations, it enhances static code analysis and helps developers identify issues earlier in their development process.