debian/0000755000000000000000000000000012156721323007170 5ustar debian/compat0000644000000000000000000000000212156706132010367 0ustar 9 debian/patches/0000755000000000000000000000000012156720673010626 5ustar debian/patches/shut-down-upstream-version-detection.patch0000644000000000000000000000126612156706132021073 0ustar From: Uwe Kleine-König Subject: shut down upstream version detection Upstream's Makefile autocreates version.h which makes dpkg-buildpackage unhappy because of "unexpected upstream changes". Moreover change the version to 0.4.5-rc1 because upstream still specifies 0.4.4 there. --- Makefile | 2 +- version.h | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) --- a/Makefile +++ b/Makefile @@ -1,4 +1,4 @@ -VERSION=0.4.4 +VERSION=0.4.5-rc1 # Generating file version.h if current version has changed SPARSE_VERSION:=$(shell git describe 2>/dev/null || echo '$(VERSION)') --- /dev/null +++ b/version.h @@ -0,0 +1 @@ +#define SPARSE_VERSION "0.4.5-rc1" debian/patches/series0000644000000000000000000000012512156717027012040 0ustar shut-down-upstream-version-detection.patch ld-as-needed.patch pass-down-cflags.patch debian/patches/ld-as-needed.patch0000644000000000000000000000507012156716100014061 0ustar From: Uwe Kleine-König Subject: Use ld --as-needed to drop superfluous dependencies This fixes: dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/sparse/usr/bin/test-inspect was not linked against libgio-2.0.so.0 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/sparse/usr/bin/test-inspect was not linked against libgdk_pixbuf-2.0.so.0 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/sparse/usr/bin/test-inspect was not linked against libpango-1.0.so.0 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/sparse/usr/bin/test-inspect was not linked against libcairo.so.2 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/sparse/usr/bin/test-inspect was not linked against libfontconfig.so.1 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/sparse/usr/bin/test-inspect was not linked against libatk-1.0.so.0 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/sparse/usr/bin/test-inspect was not linked against libpangocairo-1.0.so.0 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/sparse/usr/bin/test-inspect was not linked against libfreetype.so.6 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/sparse/usr/bin/test-inspect was not linked against libgdk-x11-2.0.so.0 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/sparse/usr/bin/test-inspect was not linked against libpangoft2-1.0.so.0 (it uses none of the library's symbols) --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) --- a/Makefile +++ b/Makefile @@ -14,7 +14,7 @@ CC = gcc CFLAGS = -O2 -finline-functions -fno-strict-aliasing -g CFLAGS += -Wall -Wwrite-strings -LDFLAGS += -g +LDFLAGS += -g -Wl,--as-needed LD = gcc AR = ar @@ -84,7 +84,7 @@ else LLVM_PROGS := sparse-llvm $(LLVM_PROGS): LD := g++ -LDFLAGS += $(shell llvm-config --ldflags) +LDFLAGS += -Wl,--no-as-needed $(shell llvm-config --ldflags) -Wl,--as-needed LLVM_CFLAGS := $(shell llvm-config --cflags | sed -e "s/-DNDEBUG//g") LLVM_LIBS := $(shell llvm-config --libs) PROGRAMS += $(LLVM_PROGS) debian/patches/pass-down-cflags.patch0000644000000000000000000000064312156720673015022 0ustar From: Loïc Minier Subject: Pass down CPPFLAGS and CFLAGS from rules as to use dpkg-buildflags, hardening flags in particular --- a/Makefile +++ b/Makefile @@ -12,7 +12,8 @@ CC = gcc -CFLAGS = -O2 -finline-functions -fno-strict-aliasing -g +CFLAGS += $(CPPFLAGS) +CFLAGS += -O2 -finline-functions -fno-strict-aliasing -g CFLAGS += -Wall -Wwrite-strings LDFLAGS += -g -Wl,--as-needed LD = gcc debian/rules0000755000000000000000000000015412156706132010251 0ustar #!/usr/bin/make -f %: dh $@ override_dh_auto_install: $(MAKE) install PREFIX=/usr DESTDIR=debian/sparse debian/source/0000755000000000000000000000000012156706132010471 5ustar debian/source/format0000644000000000000000000000001412156706132011677 0ustar 3.0 (quilt) debian/sparse.docs0000644000000000000000000000000412156706132011332 0ustar FAQ debian/copyright0000644000000000000000000002723612156707467011152 0ustar Debianizer ========== This package was debianized by Loic Minier on Thu, 9 Nov 2006 13:33:33 +0100. Upstream site ============= This package was downloaded from: Copyrights ========== (C) Copyright Linus Torvalds 2003-2005 Copyright 2003 Jeff Garzik Copyright (C) 2003 Transmeta Corp. Copyright (C) 2004-2005 Christopher Li Copyright (C) 2005 Luc Van Oostenryck Copyright (C) 2007 Rob Taylor Copyright © International Business Machines Corp., 2006 Licensing ========= This package is targeted at the Debian "non-free" section because of the "Jurisdiction, Venue and Governing Law" clause (11). The "Mutual Termination for Patent Action" clause (10) is less problematic, especially in the light of the "Grant of Patent License" clause (2). The following is from the "LICENSE" file: The 'sparse' C parser front-end library is copyrighted by Transmeta Corp and other authors and licensed under the "Open Software License v1.1" as obtained from www.opensource.org (and included here-in for easy reference) (that license itself is copyrighted by Larry Rosen). Note that the "Original Work" that this license covers is only the front-end library itself, ie the code required to parse the source file and annotate the resulting parse tree with the semantic meaning (aka "types") of the sources. Thus just the act of linking this library into another program (aka "back-end") does NOT in itself make that back-end be considered a derivative work of this Original Work. However, any modifications, callbacks or other functionality that is added and run either directly or indirectly by the front-end are to be considered derived works of this library, and as such fall under the requirements of this license. Linus Torvalds Santa Clara, CA April 15th, 2003 [ This copy of the license is the flat-text version of original, available in its full glory at http://www.opensource.org/licenses/osl.php please refer to there for the authorative and slightly more pretty-printed version ] ------ The Open Software License v. 1.1 This Open Software License (the "License") applies to any original work of authorship (the "Original Work") whose owner (the "Licensor") has placed the following notice immediately following the copyright notice for the Original Work: Licensed under the Open Software License version 1.1 1) Grant of Copyright License. Licensor hereby grants You a world-wide, royalty-free, non-exclusive, perpetual, non-sublicenseable license to do the following: a) to reproduce the Original Work in copies; b) to prepare derivative works ("Derivative Works") based upon the Original Work; c) to distribute copies of the Original Work and Derivative Works to the public, with the proviso that copies of Original Work or Derivative Works that You distribute shall be licensed under the Open Software License; d) to perform the Original Work publicly; and e) to display the Original Work publicly. 2) Grant of Patent License. Licensor hereby grants You a world-wide, royalty-free, non-exclusive, perpetual, non-sublicenseable license, under patent claims owned or controlled by the Licensor that are embodied in the Original Work as furnished by the Licensor ("Licensed Claims") to make, use, sell and offer for sale the Original Work. Licensor hereby grants You a world-wide, royalty-free, non-exclusive, perpetual, non-sublicenseable license under the Licensed Claims to make, use, sell and offer for sale Derivative Works. 3) Grant of Source Code License. The term "Source Code" means the preferred form of the Original Work for making modifications to it and all available documentation describing how to modify the Original Work. Licensor hereby agrees to provide a machine-readable copy of the Source Code of the Original Work along with each copy of the Original Work that Licensor distributes. Licensor reserves the right to satisfy this obligation by placing a machine-readable copy of the Source Code in an information repository reasonably calculated to permit inexpensive and convenient access by You for as long as Licensor continues to distribute the Original Work, and by publishing the address of that information repository in a notice immediately following the copyright notice that applies to the Original Work. 4) Exclusions From License Grant. Nothing in this License shall be deemed to grant any rights to trademarks, copyrights, patents, trade secrets or any other intellectual property of Licensor except as expressly stated herein. No patent license is granted to make, use, sell or offer to sell embodiments of any patent claims other than the Licensed Claims defined in Section 2. No right is granted to the trademarks of Licensor even if such marks are included in the Original Work. Nothing in this License shall be interpreted to prohibit Licensor from licensing under different terms from this License any Original Work that Licensor otherwise would have a right to license. 5) External Deployment. The term "External Deployment" means the use or distribution of the Original Work or Derivative Works in any way such that the Original Work or Derivative Works may be used by anyone other than You, whether the Original Work or Derivative Works are distributed to those persons or made available as an application intended for use over a computer network. As an express condition for the grants of license hereunder, You agree that any External Deployment by You of a Derivative Work shall be deemed a distribution and shall be licensed to all under the terms of this License, as prescribed in section 1(c) herein. 6) Attribution Rights. You must retain, in the Source Code of any Derivative Works that You create, all copyright, patent or trademark notices from the Source Code of the Original Work, as well as any notices of licensing and any descriptive text identified therein as an "Attribution Notice." You must cause the Source Code for any Derivative Works that You create to carry a prominent Attribution Notice reasonably calculated to inform recipients that You have modified the Original Work. 7) Warranty and Disclaimer of Warranty. Licensor warrants that the copyright in and to the Original Work is owned by the Licensor or that the Original Work is distributed by Licensor under a valid current license from the copyright owner. Except as expressly stated in the immediately proceeding sentence, the Original Work is provided under this License on an "AS IS" BASIS and WITHOUT WARRANTY, either express or implied, including, without limitation, the warranties of NON-INFRINGEMENT, MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. THE ENTIRE RISK AS TO THE QUALITY OF THE ORIGINAL WORK IS WITH YOU. This DISCLAIMER OF WARRANTY constitutes an essential part of this License. No license to Original Work is granted hereunder except under this disclaimer. 8) Limitation of Liability. Under no circumstances and under no legal theory, whether in tort (including negligence), contract, or otherwise, shall the Licensor be liable to any person for any direct, indirect, special, incidental, or consequential damages of any character arising as a result of this License or the use of the Original Work including, without limitation, damages for loss of goodwill, work stoppage, computer failure or malfunction, or any and all other commercial damages or losses. This limitation of liability shall not apply to liability for death or personal injury resulting from Licensor's negligence to the extent applicable law prohibits such limitation. Some jurisdictions do not allow the exclusion or limitation of incidental or consequential damages, so this exclusion and limitation may not apply to You. 9) Acceptance and Termination. If You distribute copies of the Original Work or a Derivative Work, You must make a reasonable effort under the circumstances to obtain the express and volitional assent of recipients to the terms of this License. Nothing else but this License (or another written agreement between Licensor and You) grants You permission to create Derivative Works based upon the Original Work or to exercise any of the rights granted in Sections 1 herein, and any attempt to do so except under the terms of this License (or another written agreement between Licensor and You) is expressly prohibited by U.S. copyright law, the equivalent laws of other countries, and by international treaty. Therefore, by exercising any of the rights granted to You in Sections 1 herein, You indicate Your acceptance of this License and all of its terms and conditions. This License shall terminate immediately and you may no longer exercise any of the rights granted to You by this License upon Your failure to honor the proviso in Section 1(c) herein. 10) Mutual Termination for Patent Action. This License shall terminate automatically and You may no longer exercise any of the rights granted to You by this License if You file a lawsuit in any court alleging that any OSI Certified open source software that is licensed under any license containing this "Mutual Termination for Patent Action" clause infringes any patent claims that are essential to use that software. 11) Jurisdiction, Venue and Governing Law. Any action or suit relating to this License may be brought only in the courts of a jurisdiction wherein the Licensor resides or in which Licensor conducts its primary business, and under the laws of that jurisdiction excluding its conflict-of-law provisions. The application of the United Nations Convention on Contracts for the International Sale of Goods is expressly excluded. Any use of the Original Work outside the scope of this License or after its termination shall be subject to the requirements and penalties of the U.S. Copyright Act, 17 U.S.C. å¤ 101 et seq., the equivalent laws of other countries, and international treaty. This section shall survive the termination of this License. 12) Attorneys Fees. In any action to enforce the terms of this License or seeking damages relating thereto, the prevailing party shall be entitled to recover its costs and expenses, including, without limitation, reasonable attorneys' fees and costs incurred in connection with such action, including any appeal of such action. This section shall survive the termination of this License. 13) Miscellaneous. This License represents the complete agreement concerning the subject matter hereof. If any provision of this License is held to be unenforceable, such provision shall be reformed only to the extent necessary to make it enforceable. 14) Definition of "You" in This License. "You" throughout this License, whether in upper or lower case, means an individual or a legal entity exercising rights under, and complying with all of the terms of, this License. For legal entities, "You" includes any entity that controls, is controlled by, or is under common control with you. For purposes of this definition, "control" means (i) the power, direct or indirect, to cause the direction or management of such entity, whether by contract or otherwise, or (ii) ownership of fifty percent (50%) or more of the outstanding shares, or (iii) beneficial ownership of such entity. 15) Right to Use. You may use the Original Work in all ways not otherwise restricted or conditioned by this License or by law, and Licensor promises not to interfere with or be responsible for such uses by You. This license is Copyright (C) 2002 Lawrence E. Rosen. All rights reserved. Permission is hereby granted to copy and distribute this license without modification. This license may not be modified without the express written permission of its copyright owner. debian/watch0000644000000000000000000000016312156710335010222 0ustar version=3 https://www.kernel.org/pub/software/devel/sparse/dist/ \ sparse-([\d\.]+)\.tar\.bz2 \ debian uupdate debian/control0000644000000000000000000000220612156721267010602 0ustar Source: sparse Maintainer: Pierre Habouzit Uploaders: Loïc Minier Section: non-free/devel Priority: optional Build-Depends: debhelper (>= 9), libxml2-dev, libgtk2.0-dev, llvm-dev (>= 1:3.0~) Standards-Version: 3.9.4 Vcs-Git: git://anonscm.debian.org/collab-maint/sparse.git Vcs-Browser: http://anonscm.debian.org/gitweb/?p=collab-maint/sparse.git XS-autobuild: yes Package: sparse Architecture: any Depends: ${misc:Depends}, ${shlibs:Depends}, ${perl:Depends} Homepage: http://sparse.wiki.kernel.org/index.php/Main_Page Description: semantic parser of source files 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 can be invoked directly as "sparse" or via the "cgcc" wrapper around the C compiler. debian/changelog0000644000000000000000000000660312156721323011047 0ustar sparse (0.4.5~rc1-1) unstable; urgency=low [ Uwe Kleine-König ] * new upstream release candidate * switch to debhelper 9 to get hardend binaries * Standards-Version: 3.9.4 (no changes needed) * Add patch to add --as-needed to LDFLAGS (except for LLVM). * Add missing ${perl:Depends}. [ Loïc Minier ] * Use my Debian address in control. * Update Vcs fields to use anonscm URLs. * Don't repeat Section and Priority in binary package stanza. * Fix typo in copyright file. * Add watch file. * Build sparse-llvm by adding llvm-dev (>= 3.0~) build-dep. * Add patch to pass CFLAGS and CPPFLAGS from rules to Makefile, notably hardening flags. -- Loïc Minier Sat, 15 Jun 2013 01:06:33 +0200 sparse (0.4.3+20110419-1) unstable; urgency=low * Merge upstream up to 87f4a7fda3d17: + Fixes build with gcc-4.6 (Closes: 625962). -- Pierre Habouzit Sat, 07 May 2011 16:26:29 +0200 sparse (0.4.3-1) unstable; urgency=low * New upstream release (Closes: #587005): + inline forward declarations are now allowed (Closes: #607432). * Update Homepage (Closes: #566605). * Bump standards versions to 3.9.1. * Switch from cdbs to debhelper. * Add libxml2-dev and libgtk2.0-dev to build-depends to build new tools (Closes: #608592). -- Pierre Habouzit Sat, 19 Mar 2011 20:26:16 +0100 sparse (0.4.1-1) unstable; urgency=low * New upstreal release. * (debian/control): + rename XS-VCS-* headers into VCS-*. + have a real Homepage header. -- Pierre Habouzit Sun, 18 Nov 2007 09:33:43 +0100 sparse (0.4-2) unstable; urgency=low * Upload to unstable. -- Pierre Habouzit Fri, 12 Oct 2007 10:11:58 +0200 sparse (0.4-1) experimental; urgency=low * New upstream release: closes: #426143, #444879: + (debian/copyright): update copyrights. * Take over maintainance with permission from Loïc. * (debian/control): + add XS-Vcs-* headers. + add XS-autobuild: Yes. * (debian/sparse.manpages): install cgcc.1, sparse.1. -- Pierre Habouzit Wed, 10 Oct 2007 00:55:55 +0200 sparse (0.3-1) experimental; urgency=low * New upstream release. - Fixes usage of prefix versus DESTDIR in sparse.pc; closes: #404399. - Pass PREFIX to all make invocations. - Update path to pkg-config file. * Set CFLAGS manually in debian/rules for the upstream build until it permits passing additional CFLAGS; thanks Pierre Habouzit; closes: #422896. * Update homepage; add Homepage field to Description. * Workaround bogus upstream version by passing the upstream version computed by CDBS to the upstream build. -- Loic Minier Fri, 25 May 2007 18:05:17 +0200 sparse (0.2-2) experimental; urgency=low * Ship FAQ. -- Loic Minier Thu, 7 Dec 2006 21:59:18 +0100 sparse (0.2-1) experimental; urgency=low * New upstream release. - Update vars for new upstream Makefile (which supports DESTDIR). - Drop manual bindir creation in build/sparse which isn't needed anymore. * Ship pkg-config file. * Ship headers and static library. * Build and ship shared library. -- Loic Minier Thu, 7 Dec 2006 17:27:13 +0100 sparse (0.1-1) experimental; urgency=low * Initial release; closes: #397780. -- Loic Minier Thu, 9 Nov 2006 13:09:59 +0100