Ecosyste.ms: Docker

An open API service providing dependency metadata for docker images.

svftools/teaching-software-analysis : latest

https://github.com/SVF-tools/Teaching-Software-Analysis

Ubuntu 20.04.6 LTS

Latest release: over 1 year ago - 1,899 downloads - 333 dependencies

JSON

Dependencies

ubuntu/adduser 3.118ubuntu2
ubuntu/apt 2.0.10
ubuntu/base-files 11ubuntu5.7
ubuntu/base-passwd 3.5.47
ubuntu/bash 5.0-6ubuntu1.2
ubuntu/binutils-common 2.34-6ubuntu1.7
ubuntu/binutils-x86-64-linux-gnu 2.34-6ubuntu1.7
ubuntu/binutils 2.34-6ubuntu1.7
ubuntu/bsdutils 1:2.34-0.1ubuntu9.4
ubuntu/build-essential 12.8ubuntu1.1
ubuntu/bzip2 1.0.8-2
ubuntu/ca-certificates 20230311ubuntu0.20.04.1
ubuntu/cmake-data 3.16.3-1ubuntu1.20.04.1
ubuntu/cmake 3.16.3-1ubuntu1.20.04.1
ubuntu/coreutils 8.30-3ubuntu2
ubuntu/cpp-8 8.4.0-3ubuntu2
ubuntu/cpp-9 9.4.0-1ubuntu1~20.04.2
ubuntu/cpp 4:9.3.0-1ubuntu2
ubuntu/dash 0.5.10.2-6
ubuntu/debconf 1.5.73
ubuntu/debianutils 4.9.1
ubuntu/diffutils 1:3.7-3
ubuntu/dirmngr 2.2.19-3ubuntu2.2
ubuntu/dpkg-dev 1.19.7ubuntu3.2
ubuntu/dpkg 1.19.7ubuntu3.2
ubuntu/e2fsprogs 1.45.5-2ubuntu1.1
ubuntu/fakeroot 1.24-1
ubuntu/fdisk 2.34-0.1ubuntu9.4
ubuntu/file 1:5.38-4
ubuntu/findutils 4.7.0-1ubuntu1
ubuntu/g -8 8.4.0-3ubuntu2
ubuntu/g -9 9.4.0-1ubuntu1~20.04.2
ubuntu/g 4:9.3.0-1ubuntu2
ubuntu/gcc-10-base 10.5.0-1ubuntu1~20.04
ubuntu/gcc-8-base 8.4.0-3ubuntu2
ubuntu/gcc-8 8.4.0-3ubuntu2
ubuntu/gcc-9-base 9.4.0-1ubuntu1~20.04.2
ubuntu/gcc-9 9.4.0-1ubuntu1~20.04.2
ubuntu/gcc 4:9.3.0-1ubuntu2
ubuntu/gdb 9.2-0ubuntu1~20.04.1
ubuntu/gdbserver 9.2-0ubuntu1~20.04.1
ubuntu/git-man 1:2.25.1-1ubuntu3.11
ubuntu/git 1:2.25.1-1ubuntu3.11
ubuntu/gnupg-l10n 2.2.19-3ubuntu2.2
ubuntu/gnupg-utils 2.2.19-3ubuntu2.2
ubuntu/gnupg 2.2.19-3ubuntu2.2
ubuntu/gpg-agent 2.2.19-3ubuntu2.2
ubuntu/gpg-wks-client 2.2.19-3ubuntu2.2
ubuntu/gpg-wks-server 2.2.19-3ubuntu2.2
ubuntu/gpg 2.2.19-3ubuntu2.2
ubuntu/gpgconf 2.2.19-3ubuntu2.2
ubuntu/gpgsm 2.2.19-3ubuntu2.2
ubuntu/gpgv 2.2.19-3ubuntu2.2
ubuntu/grep 3.4-1
ubuntu/gzip 1.10-0ubuntu4.1
ubuntu/hostname 3.23
ubuntu/init-system-helpers 1.57
ubuntu/krb5-locales 1.17-6ubuntu4.4
ubuntu/less 551-1ubuntu0.1
ubuntu/libacl1 2.2.53-6
ubuntu/libalgorithm-diff-perl 1.19.03-2
ubuntu/libalgorithm-diff-xs-perl 0.04-6
ubuntu/libalgorithm-merge-perl 0.08-3
ubuntu/libapt-pkg6.0 2.0.10
ubuntu/libarchive13 3.4.0-2ubuntu1.2
ubuntu/libasan5 9.4.0-1ubuntu1~20.04.2
ubuntu/libasn1-8-heimdal 7.7.0 dfsg-1ubuntu1.4
ubuntu/libassuan0 2.5.3-7ubuntu2
ubuntu/libatomic1 10.5.0-1ubuntu1~20.04
ubuntu/libattr1 1:2.4.48-5
ubuntu/libaudit-common 1:2.8.5-2ubuntu6
ubuntu/libaudit1 1:2.8.5-2ubuntu6
ubuntu/libbabeltrace1 1.5.8-1build1
ubuntu/libbinutils 2.34-6ubuntu1.7
ubuntu/libblkid1 2.34-0.1ubuntu9.4
ubuntu/libbrotli1 1.0.7-6ubuntu0.1
ubuntu/libbsd0 0.10.0-1
ubuntu/libbz2-1.0 1.0.8-2
ubuntu/libc-bin 2.31-0ubuntu9.14
ubuntu/libc-dev-bin 2.31-0ubuntu9.14
ubuntu/libc6-dbg 2.31-0ubuntu9.14
ubuntu/libc6-dev 2.31-0ubuntu9.14
ubuntu/libc6 2.31-0ubuntu9.14
ubuntu/libcap-ng0 0.7.9-2.1build1
ubuntu/libcbor0.6 0.6.0-0ubuntu1
ubuntu/libcc1-0 10.5.0-1ubuntu1~20.04
ubuntu/libcom-err2 1.45.5-2ubuntu1.1
ubuntu/libcrypt-dev 1:4.4.10-10ubuntu4
ubuntu/libcrypt1 1:4.4.10-10ubuntu4
ubuntu/libctf-nobfd0 2.34-6ubuntu1.7
ubuntu/libctf0 2.34-6ubuntu1.7
ubuntu/libcurl3-gnutls 7.68.0-1ubuntu2.21
ubuntu/libcurl4 7.68.0-1ubuntu2.21
ubuntu/libdb5.3 5.3.28 dfsg1-0.6ubuntu2
ubuntu/libdebconfclient0 0.251ubuntu1
ubuntu/libdpkg-perl 1.19.7ubuntu3.2
ubuntu/libdw1 0.176-1.1ubuntu0.1
ubuntu/libedit2 3.1-20191231-1
ubuntu/libelf1 0.176-1.1ubuntu0.1
ubuntu/liberror-perl 0.17029-1
ubuntu/libexpat1 2.2.9-1ubuntu0.6
ubuntu/libext2fs2 1.45.5-2ubuntu1.1
ubuntu/libfakeroot 1.24-1
ubuntu/libfdisk1 2.34-0.1ubuntu9.4
ubuntu/libffi7 3.3-4
ubuntu/libfido2-1 1.3.1-1ubuntu2
ubuntu/libfile-fcntllock-perl 0.22-3build4
ubuntu/libgcc-8-dev 8.4.0-3ubuntu2
ubuntu/libgcc-9-dev 9.4.0-1ubuntu1~20.04.2
ubuntu/libgcc-s1 10.5.0-1ubuntu1~20.04
ubuntu/libgcrypt20 1.8.5-5ubuntu1.1
ubuntu/libgdbm-compat4 1.18.1-5
ubuntu/libgdbm6 1.18.1-5
ubuntu/libglib2.0-0 2.64.6-1~ubuntu20.04.6
ubuntu/libglib2.0-data 2.64.6-1~ubuntu20.04.6
ubuntu/libgmp10 2:6.2.0 dfsg-4ubuntu0.1
ubuntu/libgnutls30 3.6.13-2ubuntu1.9
ubuntu/libgomp1 10.5.0-1ubuntu1~20.04
ubuntu/libgpg-error0 1.37-1
ubuntu/libgssapi-krb5-2 1.17-6ubuntu4.4
ubuntu/libgssapi3-heimdal 7.7.0 dfsg-1ubuntu1.4
ubuntu/libhcrypto4-heimdal 7.7.0 dfsg-1ubuntu1.4
ubuntu/libheimbase1-heimdal 7.7.0 dfsg-1ubuntu1.4
ubuntu/libheimntlm0-heimdal 7.7.0 dfsg-1ubuntu1.4
ubuntu/libhogweed5 3.5.1 really3.5.1-2ubuntu0.2
ubuntu/libhx509-5-heimdal 7.7.0 dfsg-1ubuntu1.4
ubuntu/libicu66 66.1-2ubuntu2.1
ubuntu/libidn2-0 2.2.0-2
ubuntu/libisl22 0.22.1-1
ubuntu/libitm1 10.5.0-1ubuntu1~20.04
ubuntu/libjsoncpp1 1.7.4-3.1ubuntu2
ubuntu/libk5crypto3 1.17-6ubuntu4.4
ubuntu/libkeyutils1 1.6-6ubuntu1.1
ubuntu/libkrb5-26-heimdal 7.7.0 dfsg-1ubuntu1.4
ubuntu/libkrb5-3 1.17-6ubuntu4.4
ubuntu/libkrb5support0 1.17-6ubuntu4.4
ubuntu/libksba8 1.3.5-2ubuntu0.20.04.2
ubuntu/libldap-2.4-2 2.4.49 dfsg-2ubuntu1.9
ubuntu/libldap-common 2.4.49 dfsg-2ubuntu1.9
ubuntu/liblocale-gettext-perl 1.07-4
ubuntu/liblsan0 10.5.0-1ubuntu1~20.04
ubuntu/liblz4-1 1.9.2-2ubuntu0.20.04.1
ubuntu/liblzma5 5.2.4-1ubuntu1.1
ubuntu/libmagic-mgc 1:5.38-4
ubuntu/libmagic1 1:5.38-4
ubuntu/libmount1 2.34-0.1ubuntu9.4
ubuntu/libmpc3 1.1.0-1
ubuntu/libmpdec2 2.4.2-3
ubuntu/libmpfr6 4.0.2-1
ubuntu/libmpx2 8.4.0-3ubuntu2
ubuntu/libncurses-dev 6.2-0ubuntu2.1
ubuntu/libncurses5-dev 6.2-0ubuntu2.1
ubuntu/libncurses6 6.2-0ubuntu2.1
ubuntu/libncursesw6 6.2-0ubuntu2.1
ubuntu/libnettle7 3.5.1 really3.5.1-2ubuntu0.2
ubuntu/libnghttp2-14 1.40.0-1ubuntu0.2
ubuntu/libnpth0 1.6-1
ubuntu/libp11-kit0 0.23.20-1ubuntu0.1
ubuntu/libpam-modules-bin 1.3.1-5ubuntu4.6
ubuntu/libpam-modules 1.3.1-5ubuntu4.6
ubuntu/libpam-runtime 1.3.1-5ubuntu4.6
ubuntu/libpam0g 1.3.1-5ubuntu4.6
ubuntu/libpcre2-16-0 10.34-7ubuntu0.1
ubuntu/libpcre2-32-0 10.34-7ubuntu0.1
ubuntu/libpcre2-8-0 10.34-7ubuntu0.1
ubuntu/libpcre2-dev 10.34-7ubuntu0.1
ubuntu/libpcre2-posix2 10.34-7ubuntu0.1
ubuntu/libpcre3 2:8.39-12ubuntu0.1
ubuntu/libperl5.30 5.30.0-9ubuntu0.5
ubuntu/libprocps8 2:3.3.16-1ubuntu2.4
ubuntu/libpsl5 0.21.0-1ubuntu1
ubuntu/libpython3.8-minimal 3.8.10-0ubuntu1~20.04.9
ubuntu/libpython3.8-stdlib 3.8.10-0ubuntu1~20.04.9
ubuntu/libpython3.8 3.8.10-0ubuntu1~20.04.9
ubuntu/libquadmath0 10.5.0-1ubuntu1~20.04
ubuntu/libreadline8 8.0-4
ubuntu/librhash0 1.3.9-1
ubuntu/libroken18-heimdal 7.7.0 dfsg-1ubuntu1.4
ubuntu/librtmp1 2.4 20151223.gitfa8646d.1-2build1
ubuntu/libsasl2-2 2.1.27 dfsg-2ubuntu0.1
ubuntu/libsasl2-modules-db 2.1.27 dfsg-2ubuntu0.1
ubuntu/libsasl2-modules 2.1.27 dfsg-2ubuntu0.1
ubuntu/libseccomp2 2.5.1-1ubuntu1~20.04.2
ubuntu/libselinux1 3.0-1build2
ubuntu/libsemanage-common 3.0-1build2
ubuntu/libsemanage1 3.0-1build2
ubuntu/libsepol1 3.0-1ubuntu0.1
ubuntu/libsmartcols1 2.34-0.1ubuntu9.4
ubuntu/libsqlite3-0 3.31.1-4ubuntu0.6
ubuntu/libss2 1.45.5-2ubuntu1.1
ubuntu/libssh-4 0.9.3-2ubuntu2.4
ubuntu/libssl-dev 1.1.1f-1ubuntu2.20
ubuntu/libssl1.1 1.1.1f-1ubuntu2.20
ubuntu/libstdc -8-dev 8.4.0-3ubuntu2
ubuntu/libstdc -9-dev 9.4.0-1ubuntu1~20.04.2
ubuntu/libstdc 6 10.5.0-1ubuntu1~20.04
ubuntu/libsystemd0 245.4-4ubuntu3.22
ubuntu/libtasn1-6 4.16.0-2
ubuntu/libtcl8.6 8.6.10 dfsg-1
ubuntu/libtinfo5 6.2-0ubuntu2.1
ubuntu/libtinfo6 6.2-0ubuntu2.1
ubuntu/libtsan0 10.5.0-1ubuntu1~20.04
ubuntu/libubsan1 10.5.0-1ubuntu1~20.04
ubuntu/libudev1 245.4-4ubuntu3.22
ubuntu/libunistring2 0.9.10-2
ubuntu/libuuid1 2.34-0.1ubuntu9.4
ubuntu/libuv1 1.34.2-1ubuntu1.3
ubuntu/libwind0-heimdal 7.7.0 dfsg-1ubuntu1.4
ubuntu/libx11-6 2:1.6.9-2ubuntu1.6
ubuntu/libx11-data 2:1.6.9-2ubuntu1.6
ubuntu/libxau6 1:1.0.9-0ubuntu1
ubuntu/libxcb1 1.14-2
ubuntu/libxdmcp6 1:1.1.3-0ubuntu1
ubuntu/libxext6 2:1.3.4-0ubuntu1
ubuntu/libxml2 2.9.10 dfsg-5ubuntu0.20.04.6
ubuntu/libxmuu1 2:1.1.3-0ubuntu1
ubuntu/libzstd1 1.4.4 dfsg-3ubuntu0.1
ubuntu/linux-libc-dev 5.4.0-169.187
ubuntu/login 1:4.8.1-1ubuntu5.20.04.4
ubuntu/logsave 1.45.5-2ubuntu1.1
ubuntu/lsb-base 11.1.0ubuntu2
ubuntu/make 4.2.1-1.2
ubuntu/manpages-dev 5.05-1
ubuntu/manpages 5.05-1
ubuntu/mawk 1.3.4.20200120-2
ubuntu/mime-support 3.64ubuntu1
ubuntu/mount 2.34-0.1ubuntu9.4
ubuntu/ncurses-base 6.2-0ubuntu2.1
ubuntu/ncurses-bin 6.2-0ubuntu2.1
ubuntu/netbase 6.1
ubuntu/openssh-client 1:8.2p1-4ubuntu0.11
ubuntu/openssl 1.1.1f-1ubuntu2.20
ubuntu/passwd 1:4.8.1-1ubuntu5.20.04.4
ubuntu/patch 2.7.6-6
ubuntu/perl-base 5.30.0-9ubuntu0.5
ubuntu/perl-modules-5.30 5.30.0-9ubuntu0.5
ubuntu/perl 5.30.0-9ubuntu0.5
ubuntu/pinentry-curses 1.1.0-3build1
ubuntu/procps 2:3.3.16-1ubuntu2.4
ubuntu/publicsuffix 20200303.0012-1
ubuntu/readline-common 8.0-4
ubuntu/sed 4.7-1
ubuntu/sensible-utils 0.0.12 nmu1
ubuntu/shared-mime-info 1.15-1
ubuntu/sysvinit-utils 2.96-2.1ubuntu1
ubuntu/tar 1.30 dfsg-7ubuntu0.20.04.4
ubuntu/tcl8.6 8.6.10 dfsg-1
ubuntu/tcl 8.6.9 1
ubuntu/tzdata 2023c-0ubuntu0.20.04.2
ubuntu/ubuntu-keyring 2020.02.11.4
ubuntu/unzip 6.0-25ubuntu1.1
ubuntu/util-linux 2.34-0.1ubuntu9.4
ubuntu/wget 1.20.3-1ubuntu2
ubuntu/xauth 1:1.1-0ubuntu1
ubuntu/xdg-user-dirs 0.17-2ubuntu1
ubuntu/xz-utils 5.2.4-1ubuntu1.1
ubuntu/zip 3.0-11build1
ubuntu/zlib1g-dev 1:1.2.11.dfsg-2ubuntu1.5
ubuntu/zlib1g 1:1.2.11.dfsg-2ubuntu1.5

bash 5.0.17

z3:z3 *

svf-tools 1.0.1

Microsoft.NETCore.Platforms 1.1.0
Microsoft.NETCore.Targets 1.1.0
Microsoft.Win32.Primitives 4.3.0
Microsoft.Z3 4.8.8
NETStandard.Library 1.6.1
System.AppContext 4.3.0
System.Buffers 4.3.0
System.Collections.Concurrent 4.3.0
System.Collections 4.3.0
System.Console 4.3.0
System.Diagnostics.Debug 4.3.0
System.Diagnostics.DiagnosticSource 4.3.0
System.Diagnostics.Tools 4.3.0
System.Diagnostics.Tracing 4.3.0
System.Globalization.Calendars 4.3.0
System.Globalization 4.3.0
System.IO.Compression.ZipFile 4.3.0
System.IO.Compression 4.3.0
System.IO.FileSystem.Primitives 4.3.0
System.IO.FileSystem 4.3.0
System.IO 4.3.0
System.Linq.Expressions 4.3.0
System.Linq 4.3.0
System.Net.Http 4.3.0
System.Net.Primitives 4.3.0
System.Net.Sockets 4.3.0
System.ObjectModel 4.3.0
System.Reflection.Extensions 4.3.0
System.Reflection.Primitives 4.3.0
System.Reflection 4.3.0
System.Resources.ResourceManager 4.3.0
System.Runtime.Extensions 4.3.0
System.Runtime.Handles 4.3.0
System.Runtime.InteropServices.RuntimeInformation 4.3.0
System.Runtime.InteropServices 4.3.0
System.Runtime.Numerics 4.3.0
System.Runtime 4.3.0
System.Security.Cryptography.Algorithms 4.3.0
System.Security.Cryptography.Encoding 4.3.0
System.Security.Cryptography.Primitives 4.3.0
System.Security.Cryptography.X509Certificates 4.3.0
System.Text.Encoding.Extensions 4.3.0
System.Text.Encoding 4.3.0
System.Text.RegularExpressions 4.3.0
System.Threading.Tasks.Extensions 4.3.0
System.Threading.Tasks 4.3.0
System.Threading.Timer 4.3.0
System.Threading 4.3.0
System.Xml.ReaderWriter 4.3.0
System.Xml.XDocument 4.3.0
runtime.debian.8-x64.runtime.native.System.Security.Cryptography.OpenSsl 4.3.0
runtime.fedora.23-x64.runtime.native.System.Security.Cryptography.OpenSsl 4.3.0
runtime.fedora.24-x64.runtime.native.System.Security.Cryptography.OpenSsl 4.3.0
runtime.native.System.IO.Compression 4.3.0
runtime.native.System.Security.Cryptography.OpenSsl 4.3.0
runtime.native.System 4.3.0
runtime.opensuse.13.2-x64.runtime.native.System.Security.Cryptography.OpenSsl 4.3.0
runtime.opensuse.42.1-x64.runtime.native.System.Security.Cryptography.OpenSsl 4.3.0
runtime.osx.10.10-x64.runtime.native.System.Security.Cryptography.OpenSsl 4.3.0
runtime.rhel.7-x64.runtime.native.System.Security.Cryptography.OpenSsl 4.3.0
runtime.ubuntu.14.04-x64.runtime.native.System.Security.Cryptography.OpenSsl 4.3.0
runtime.ubuntu.16.04-x64.runtime.native.System.Security.Cryptography.OpenSsl 4.3.0
runtime.ubuntu.16.10-x64.runtime.native.System.Security.Cryptography.OpenSsl 4.3.0