Group :: Development/C
RPM: sparse
Main Changelog Spec Patches Sources Download Gear Bugs and FR Repocop
Current version: 0.6.4-alt2
Build date: 3 may 2023, 17:40 ( 47.1 weeks ago )
Size: 364.35 Kb
Home page: http://sparse.wiki.kernel.org/
License: MIT
Summary: A semantic parser for C
Description:
List of contributors List of rpms provided by this srpm:
ACL:
Build date: 3 may 2023, 17:40 ( 47.1 weeks ago )
Size: 364.35 Kb
Home page: http://sparse.wiki.kernel.org/
License: MIT
Summary: A semantic parser for C
Description:
Sparse, the semantic parser, provides a compiler frontend capable of parsing
most of ANSI C as well as many GCC extensions, and a collection of sample
compiler backends, including a static analyzer also called "sparse". Sparse
provides a set of annotations designed to convey semantic information about
types, such as what address space pointers point to, or what locks a function
acquires or releases.
Sparse is primarily used in the development and debugging of the Linux kernel.
Current maintainer: Vitaly Chikunov most of ANSI C as well as many GCC extensions, and a collection of sample
compiler backends, including a static analyzer also called "sparse". Sparse
provides a set of annotations designed to convey semantic information about
types, such as what address space pointers point to, or what locks a function
acquires or releases.
Sparse is primarily used in the development and debugging of the Linux kernel.
List of contributors List of rpms provided by this srpm:
- sparse
- sparse-debuginfo