openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

File pharos.spec of Package pharos (Revision db9b372798fc3562371f5f1d12f189bb)

Currently displaying revision db9b372798fc3562371f5f1d12f189bb , Show latest

#
# spec file for package pharos
#
# Copyright (c) 2021 Carnegie Mellon University.
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
# upon. The license for this file, and modifications and additions to the
# file, is the same license as for the pristine package itself (unless the
# license for the pristine package is not an Open Source License, in which
# case the license is the MIT License). An "Open Source License" is a
# license that conforms to the Open Source Definition (Version 1.9)
# published by the Open Source Initiative.

# this spec was developed for OpenSUSE however may be useful
# for other rpm-based distributions.

Name:           pharos
Version:        20220705
Release:        0
Summary:        Static binary analysis framework from CMU SEI
License:        BSD-3-Clause
Group:          "Development/Libraries/C and C++"
URL:            https://github.com/cmu-sei/pharos
Source0:        %{name}-%{version}.tar.gz
Patch0:         001-use-lib64-paths-and-share-path.diff
Patch1:         boost-fix.patch
BuildRequires:  automake
BuildRequires:  autoconf
BuildRequires:  libtool
BuildRequires:  cmake
%if 0%{?sle_version} == 150300 && 0%{?is_opensuse}
BuildRequires:  gcc10-c++
%else
BuildRequires:  gcc-c++
%endif
BuildRequires:  git
BuildRequires:  wget
BuildRequires:  boost-devel >= 1.68.0
BuildRequires:  libboost_headers-devel >= 1.68.0
BuildRequires:  libboost_atomic-devel >= 1.68.0
BuildRequires:  libboost_chrono-devel >= 1.68.0
BuildRequires:  libboost_date_time-devel >= 1.68.0
BuildRequires:  libboost_filesystem-devel >= 1.68.0
BuildRequires:  libboost_graph-devel >= 1.68.0
BuildRequires:  libboost_iostreams-devel >= 1.68.0
BuildRequires:  libboost_program_options-devel >= 1.68.0
BuildRequires:  libboost_random-devel >= 1.68.0
BuildRequires:  libboost_regex-devel >= 1.68.0
BuildRequires:  libboost_serialization-devel >= 1.68.0
BuildRequires:  libboost_system-devel >= 1.68.0
BuildRequires:  libboost_thread-devel >= 1.68.0
BuildRequires:  libboost_timer-devel >= 1.68.0
BuildRequires:  libboost_wave-devel >= 1.68.0
BuildRequires:  rose-devel >= 0.11.88
BuildRequires:  ncurses-devel
# vim package contains the xxd tool we actually need
BuildRequires:  vim
# NOTE: we may need to require a specific version of z3?
BuildRequires:  z3 >= 4.8
BuildRequires:  z3-devel >= 4.8
BuildRequires:  swi-prolog >= 8.5
BuildRequires:  swi-prolog-devel >= 8.5
BuildRequires:  libbz2-devel
BuildRequires:  zlib-devel
BuildRequires:  libxml2-devel
BuildRequires:  libpng-devel
BuildRequires:  yaml-cpp-devel
BuildRequires:  ghostscript
BuildRequires:  libdwarf-devel
BuildRequires:  libelf-devel
# following is for libmagic
BuildRequires:  file-devel
# note that: sqlite3 is executable, packaged separate from library
BuildRequires:  sqlite3
BuildRequires:  sqlite3-devel
BuildRequires:  pkgconfig
Requires:       libncurses6
Requires:       rose
Requires:       z3 >= 4.8
Requires:       swi-prolog >= 8.5

%description
The Pharos static binary analysis framework is a project of the Software Engineering Institute at Carnegie Mellon University. The framework is designed to facilitate the automated analysis of binary programs. It uses the ROSE compiler infrastructure developed by Lawrence Livermore National Laboratory for disassembly, control flow analysis, instruction semantics, and more.

%package -n libpharos
Summary:        Library for the Pharos Static Binary Analysis Framework
Group:          "Development/Libraries/C and C++"

%description -n libpharos
The Pharos static binary analysis framework is a project of the Software Engineering Institute at Carnegie Mellon University. The framework is designed to facilitate the automated analysis of binary programs. It uses the ROSE compiler infrastructure developed by Lawrence Livermore National Laboratory for disassembly, control flow analysis, instruction semantics, and more.

This subpackage contains the Pharos runtime library needed for Pharos tools and
other projects.

%package -n libpharos-devel
Summary:        Development files for libpharos
Group:          "Development/Libraries/C and C++"
Requires:       lib%{name} = %{version}

%description -n libpharos-devel
Development files, headers, and cmake configuration for libpharos.

%package apianalyzer
Summary:        A tool for finding sequences of API calls in an executable
Group:          "Development/Libraries/C and C++"
Requires:       lib%{name} = %{version}

%description apianalyzer
ApiAnalyzer is a tool for finding sequences of API calls with the specified data and control relationships. This capability is intended to be used to detect common operating system interaction paradigms like opening a file, writing to it, and the closing it.