|
Sparse is a computer software tool designed to find possible coding faults in the Linux kernel. Unlike other such tools, this static analysis tool was initially designed to only flag constructs that were likely to be of interest to kernel developers, such as the mixing of pointers to user and kernel address spaces. Sparse checks for known problems and allows the developer to include annotations in the code that convey information about data types, such as the address space that pointers point to and the locks that a function acquires or releases. Linus Torvalds started writing Sparse in 2003. Josh Triplett was its maintainer from 2006, a role taken over by Christopher Li in 2009. Sparse is released under the MIT License. ==Annotations== Some of the checks performed by Sparse require annotating the source code using the __attribute__ GCC extension, or the Sparse-specific __context__ specifier.〔(【引用サイトリンク】 title = Attribute Syntax — Using the GNU Compiler Collection (GCC) )〕 Sparse defines the following list of attributes: * address_space(''num'') * bitwise * force * context(''expression'',''in_context'',''out_context'') When an API is defined with a macro, the specifier __attribute__((context(''...''))) can be replaced by __context__(''...''). 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Sparse」の詳細全文を読む スポンサード リンク
|