usethesource / clair

C Language Analysis in Rascal
BSD 2-Clause "Simplified" License
25 stars 12 forks source link

m3.declarations is incomplete #54

Closed jurgenvinju closed 1 year ago

jurgenvinju commented 1 year ago

Let's just add a case for every Declaration, extracting the right information from every DeclSpecific and Declarator beneath it. The current queries that produce m3.declarations are imprecise. Before it had false positives and now it has false negatives.

jurgenvinju commented 1 year ago

this was solved