Artifact e395a67be50b8398a737d20fcb2f149ce01f66cba60f0a0f11511a48e7f72495:

• File src/forum.c — part of check-in [2da41072ff] at 2025-03-07 15:56:57 on branch enhanced-defenses — Enhance codecheck1.c to detect cases where style_header() is called with arguments that are not easily proven to be HTML-free. Fix multiple calls to style_header() to prove they are always HTML-free. (user: drh size: 66730)

A hex dump of this file is not available. Please download the raw binary file and generate a hex dump yourself.