Query module DuplicateSectionName

id
cbl/duplicate-section-name
name
Duplicate section name
description
Sections with duplicate names in the same program will either give a compilation error or undefined behavior at runtime.
kind
problem
problem.severity
error
precision
high
tags
correctness

Imports