Group :: Desenvolvimento/C
RPM: sparse
Principal Changelog Spec Patches Sources Download Gear Bugs e FR Repocop
A versão atual: 0.6.4-alt2
Data da compilação: 3 maio 2023, 17:40 ( 47.2 weeks ago )
Tamanho:: 364.35 Kb
Home page: http://sparse.wiki.kernel.org/
Licença: MIT
Sumário: A semantic parser for C
Descrição:
Lista dos contribuidores Lista dos rpms provida por esta srpm:
ACL:
Data da compilação: 3 maio 2023, 17:40 ( 47.2 weeks ago )
Tamanho:: 364.35 Kb
Home page: http://sparse.wiki.kernel.org/
Licença: MIT
Sumário: A semantic parser for C
Descrição:
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.
Mantenedor currente: 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.
Lista dos contribuidores Lista dos rpms provida por esta srpm:
- sparse
- sparse-debuginfo