search

evincarofautumn / Ward

A static analysis tool for C.
Other
26 stars 2 forks source link

Make annotations mandatory in some cases #6

Closed evincarofautumn closed 6 years ago

evincarofautumn commented 7 years ago

E.g., in Mono, runtime entry- and exit-points should require annotations. (“things like icalls, the runtime API and when calling user supplied callbacks” — Kumpera)