Quote: use annotations for static analysis of properties such as not-null or unique-reference

Quotation Skeleton

Splint (previously known as LCLint) is a lightweight … [It uses] annotations added to libraries and programs that … consistent with the properties implied by annotations. … The annotation /*@notnull@*/, for example, can be used … the value passed for this parameter is not … be NULL. … we use the only annotation on a pointer …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: flavor analysis and typestates for supplementary type checking (68 items)