Information for smatch

Versions

• 9999
• 1.60.r997.g6f737e1f
• 20200608
• 20180125
• 20160307
• 20120924
• 1.73 (4)
• 1.72 (2)
• 1.60

Package names

• smatch (6)
• smatch-git

Repositories

• AUR
• EPEL 7
• EPEL 8
• EPEL 9
• Fedora 37
• Fedora 38
• Fedora 39
• Fedora Rawhide
• Gentoo
• LiGurOS stable
• LiGurOS develop
• nixpkgs stable 21.11
• nixpkgs stable 22.05
• nixpkgs stable 22.11
• nixpkgs stable 23.05
• nixpkgs unstable
• openSUSE Leap 42.3
• openSUSE Leap 15.0
• openSUSE Leap 15.1
• openSUSE Leap 15.2
• openSUSE Leap 15.3
• openSUSE Leap 15.4
• openSUSE Leap 15.5
• openSUSE Tumbleweed
• Wikidata

Categories

• Development/Tools/Building
• Unspecified
• sys-devel

Licenses

• GPL-2+
• GPL-2.0
• GPL-2.0-only
• GPL-2.0-or-later
• GPL-2.0-or-later AND MIT AND BSD-3-Clause
• GPL2
• MIT
• OSL-1.1
• Unspecified free software license
• custom: OSL

Summaries

• A semantic analysis tool for C
• A static analysis tool for C.
• A static analyzer for C
• Static analysis tool for C (2)
• static analysis tool for C (2)

Maintainers

• aksr@aur
• fallback-mnt-aur@repology
• fallback-mnt-nix@repology
• marsam@github
• marsam@users.noreply.github.com
• toolchain@gentoo.org

• Group email

Homepage links

• http://smatch.sf.net/^{redir, no IPv6}
• http://smatch.sourceforge.net/^redir (4)
• https://smatch.sourceforge.net/^ok (2)
• https://sourceforge.net/projects/smatch/^ok
• https://sparse.docs.kernel.org/^ok

Repository links

• https://repo.or.cz/smatch.git^ok

All package recipes

• https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=smatch^ok
• https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=smatch-git^ok
• https://build.opensuse.org/package/view_file/openSUSE:Factory/smatch/smatch.spec?expand=1^ok
• https://build.opensuse.org/package/view_file/openSUSE:Leap:15.0:Update/smatch/smatch.spec?expand=1^ok
• https://build.opensuse.org/package/view_file/openSUSE:Leap:15.1:Update/smatch/smatch.spec?expand=1^ok
• https://build.opensuse.org/package/view_file/openSUSE:Leap:15.2:Update/smatch/smatch.spec?expand=1^ok
• https://build.opensuse.org/package/view_file/openSUSE:Leap:15.3:Update/smatch/smatch.spec?expand=1^ok
• https://build.opensuse.org/package/view_file/openSUSE:Leap:15.4:Update/smatch/smatch.spec?expand=1^ok
• https://build.opensuse.org/package/view_file/openSUSE:Leap:15.5:Update/smatch/smatch.spec?expand=1^ok
• https://build.opensuse.org/package/view_file/openSUSE:Leap:42.3:Update/smatch/smatch.spec?expand=1^ok
• https://github.com/NixOS/nixpkgs/blob/nixos-unstable/pkgs/development/tools/analysis/smatch/default.nix#L33^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-21.11/pkgs/development/tools/analysis/smatch/default.nix#L28^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-22.05/pkgs/development/tools/analysis/smatch/default.nix#L28^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-22.11/pkgs/development/tools/analysis/smatch/default.nix#L33^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-23.05/pkgs/development/tools/analysis/smatch/default.nix#L33^{ok, no IPv6}
• https://gitlab.com/liguros/liguros-repo/-/blob/develop/sys-devel/smatch/smatch-1.72.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/develop/sys-devel/smatch/smatch-9999.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/stable/sys-devel/smatch/smatch-1.72.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/stable/sys-devel/smatch/smatch-9999.ebuild^ok
• https://gitweb.gentoo.org/repo/gentoo.git/tree/sys-devel/smatch/smatch-1.72.ebuild^ok
• https://gitweb.gentoo.org/repo/gentoo.git/tree/sys-devel/smatch/smatch-9999.ebuild^ok
• https://src.fedoraproject.org/rpms/smatch/blob/epel7/f/smatch.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/smatch/blob/epel8/f/smatch.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/smatch/blob/epel9/f/smatch.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/smatch/blob/f37/f/smatch.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/smatch/blob/f38/f/smatch.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/smatch/blob/f39/f/smatch.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/smatch/blob/rawhide/f/smatch.spec^{ok, no IPv6}

Downloads

• http://repo.or.cz/w/smatch.git/snapshot/1.72.tar.gz^{dead (see archive.org)}
• https://repo.or.cz/w/smatch.git/snapshot/1.72.tar.gz^{dead (see archive.org)}
• mirror://gentoo/smatch-1.72.tar.gz

Build logs

• https://kojipkgs.fedoraproject.org/packages/smatch/1.73/2.el7/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/smatch/1.73/2.el8/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/smatch/1.73/2.el9/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/smatch/1.73/2.fc37/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/smatch/1.73/2.fc38/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/smatch/1.73/2.fc39/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/smatch/1.73/2.fc40/data/logs/^{ok, no IPv6}