bannsec/pysym : latest
Python Symbolic Execution of Python
Latest release: about 7 years ago - 833 downloads - 217 dependencies
JSONDependencies
- ubuntu/adduser 3.116ubuntu1
- ubuntu/apt 1.6.11
- ubuntu/base-files 10.1ubuntu2.5
- ubuntu/base-passwd 3.5.44
- ubuntu/bash 4.4.18-2ubuntu1.2
- ubuntu/binutils-common 2.30-21ubuntu1~18.04.2
- ubuntu/binutils-x86-64-linux-gnu 2.30-21ubuntu1~18.04.2
- ubuntu/binutils 2.30-21ubuntu1~18.04.2
- ubuntu/bsdutils 1:2.31.1-0.4ubuntu3.3
- ubuntu/bzip2 1.0.6-8.1ubuntu0.2
- ubuntu/ca-certificates 20180409
- ubuntu/coreutils 8.28-1ubuntu1
- ubuntu/cpp-7 7.4.0-1ubuntu1~18.04.1
- ubuntu/cpp 4:7.4.0-1ubuntu2.3
- ubuntu/dash 0.5.8-2.10
- ubuntu/debconf 1.5.66ubuntu1
- ubuntu/debianutils 4.8.4
- ubuntu/diffutils 1:3.6-1
- ubuntu/dpkg 1.19.0.5ubuntu2.1
- ubuntu/e2fsprogs 1.44.1-1ubuntu1.1
- ubuntu/fdisk 2.31.1-0.4ubuntu3.3
- ubuntu/file 1:5.32-2ubuntu0.2
- ubuntu/findutils 4.6.0 git 20170828-2
- ubuntu/g -7 7.4.0-1ubuntu1~18.04.1
- ubuntu/g 4:7.4.0-1ubuntu2.3
- ubuntu/gcc-7-base 7.4.0-1ubuntu1~18.04.1
- ubuntu/gcc-7 7.4.0-1ubuntu1~18.04.1
- ubuntu/gcc-8-base 8.3.0-6ubuntu1~18.04.1
- ubuntu/gcc 4:7.4.0-1ubuntu2.3
- ubuntu/git-man 1:2.17.1-1ubuntu0.4
- ubuntu/git 1:2.17.1-1ubuntu0.4
- ubuntu/gpgv 2.2.4-1ubuntu1.2
- ubuntu/grep 3.1-2
- ubuntu/gzip 1.6-5ubuntu1
- ubuntu/hostname 3.20
- ubuntu/init-system-helpers 1.51
- ubuntu/krb5-locales 1.16-2ubuntu0.1
- ubuntu/less 487-0.1
- ubuntu/libacl1 2.2.52-3build1
- ubuntu/libapt-pkg5.0 1.6.11
- ubuntu/libasan4 7.4.0-1ubuntu1~18.04.1
- ubuntu/libasn1-8-heimdal 7.5.0 dfsg-1
- ubuntu/libatomic1 8.3.0-6ubuntu1~18.04.1
- ubuntu/libattr1 1:2.4.47-2build1
- ubuntu/libaudit-common 1:2.8.2-1ubuntu1
- ubuntu/libaudit1 1:2.8.2-1ubuntu1
- ubuntu/libbinutils 2.30-21ubuntu1~18.04.2
- ubuntu/libblkid1 2.31.1-0.4ubuntu3.3
- ubuntu/libbsd0 0.8.7-1
- ubuntu/libbz2-1.0 1.0.6-8.1ubuntu0.2
- ubuntu/libc-bin 2.27-3ubuntu1
- ubuntu/libc-dev-bin 2.27-3ubuntu1
- ubuntu/libc6-dev 2.27-3ubuntu1
- ubuntu/libc6 2.27-3ubuntu1
- ubuntu/libcap-ng0 0.7.7-3.1
- ubuntu/libcc1-0 8.3.0-6ubuntu1~18.04.1
- ubuntu/libcilkrts5 7.4.0-1ubuntu1~18.04.1
- ubuntu/libcom-err2 1.44.1-1ubuntu1.1
- ubuntu/libcurl3-gnutls 7.58.0-2ubuntu3.7
- ubuntu/libdb5.3 5.3.28-13.1ubuntu1.1
- ubuntu/libdebconfclient0 0.213ubuntu1
- ubuntu/libdpkg-perl 1.19.0.5ubuntu2.1
- ubuntu/libedit2 3.1-20170329-1
- ubuntu/liberror-perl 0.17025-1
- ubuntu/libexpat1-dev 2.2.5-3ubuntu0.1
- ubuntu/libexpat1 2.2.5-3ubuntu0.1
- ubuntu/libext2fs2 1.44.1-1ubuntu1.1
- ubuntu/libfdisk1 2.31.1-0.4ubuntu3.3
- ubuntu/libffi6 3.2.1-8
- ubuntu/libfile-fcntllock-perl 0.22-3build2
- ubuntu/libgcc-7-dev 7.4.0-1ubuntu1~18.04.1
- ubuntu/libgcc1 1:8.3.0-6ubuntu1~18.04.1
- ubuntu/libgcrypt20 1.8.1-4ubuntu1.1
- ubuntu/libgdbm-compat4 1.14.1-6
- ubuntu/libgdbm5 1.14.1-6
- ubuntu/libgmp10 2:6.1.2 dfsg-2
- ubuntu/libgnutls30 3.5.18-1ubuntu1.1
- ubuntu/libgomp1 8.3.0-6ubuntu1~18.04.1
- ubuntu/libgpg-error0 1.27-6
- ubuntu/libgssapi-krb5-2 1.16-2ubuntu0.1
- ubuntu/libgssapi3-heimdal 7.5.0 dfsg-1
- ubuntu/libhcrypto4-heimdal 7.5.0 dfsg-1
- ubuntu/libheimbase1-heimdal 7.5.0 dfsg-1
- ubuntu/libheimntlm0-heimdal 7.5.0 dfsg-1
- ubuntu/libhogweed4 3.4-1
- ubuntu/libhx509-5-heimdal 7.5.0 dfsg-1
- ubuntu/libidn2-0 2.0.4-1.1build2
- ubuntu/libisl19 0.19-1
- ubuntu/libitm1 8.3.0-6ubuntu1~18.04.1
- ubuntu/libk5crypto3 1.16-2ubuntu0.1
- ubuntu/libkeyutils1 1.5.9-9.2ubuntu2
- ubuntu/libkrb5-26-heimdal 7.5.0 dfsg-1
- ubuntu/libkrb5-3 1.16-2ubuntu0.1
- ubuntu/libkrb5support0 1.16-2ubuntu0.1
- ubuntu/libldap-2.4-2 2.4.45 dfsg-1ubuntu1.3
- ubuntu/libldap-common 2.4.45 dfsg-1ubuntu1.3
- ubuntu/liblocale-gettext-perl 1.07-3build2
- ubuntu/liblsan0 8.3.0-6ubuntu1~18.04.1
- ubuntu/liblz4-1 0.0~r131-2ubuntu3
- ubuntu/liblzma5 5.2.2-1.3
- ubuntu/libmagic-mgc 1:5.32-2ubuntu0.2
- ubuntu/libmagic1 1:5.32-2ubuntu0.2
- ubuntu/libmount1 2.31.1-0.4ubuntu3.3
- ubuntu/libmpc3 1.1.0-1
- ubuntu/libmpdec2 2.4.2-1ubuntu1
- ubuntu/libmpfr6 4.0.1-1
- ubuntu/libmpx2 8.3.0-6ubuntu1~18.04.1
- ubuntu/libncurses5 6.1-1ubuntu1.18.04
- ubuntu/libncursesw5 6.1-1ubuntu1.18.04
- ubuntu/libnettle6 3.4-1
- ubuntu/libnghttp2-14 1.30.0-1ubuntu1
- ubuntu/libp11-kit0 0.23.9-2
- ubuntu/libpam-modules-bin 1.1.8-3.6ubuntu2.18.04.1
- ubuntu/libpam-modules 1.1.8-3.6ubuntu2.18.04.1
- ubuntu/libpam-runtime 1.1.8-3.6ubuntu2.18.04.1
- ubuntu/libpam0g 1.1.8-3.6ubuntu2.18.04.1
- ubuntu/libpcre3 2:8.39-9
- ubuntu/libperl5.26 5.26.1-6ubuntu0.3
- ubuntu/libprocps6 2:3.3.12-3ubuntu1.1
- ubuntu/libpsl5 0.19.1-5build1
- ubuntu/libpython-dev 2.7.15~rc1-1
- ubuntu/libpython-stdlib 2.7.15~rc1-1
- ubuntu/libpython2.7-dev 2.7.15-4ubuntu4~18.04
- ubuntu/libpython2.7-minimal 2.7.15-4ubuntu4~18.04
- ubuntu/libpython2.7-stdlib 2.7.15-4ubuntu4~18.04
- ubuntu/libpython2.7 2.7.15-4ubuntu4~18.04
- ubuntu/libpython3-stdlib 3.6.7-1~18.04
- ubuntu/libpython3.6-dev 3.6.8-1~18.04.1
- ubuntu/libpython3.6-minimal 3.6.8-1~18.04.1
- ubuntu/libpython3.6-stdlib 3.6.8-1~18.04.1
- ubuntu/libpython3.6 3.6.8-1~18.04.1
- ubuntu/libquadmath0 8.3.0-6ubuntu1~18.04.1
- ubuntu/libreadline7 7.0-3
- ubuntu/libroken18-heimdal 7.5.0 dfsg-1
- ubuntu/librtmp1 2.4 20151223.gitfa8646d.1-1
- ubuntu/libsasl2-2 2.1.27~101-g0780600 dfsg-3ubuntu2
- ubuntu/libsasl2-modules-db 2.1.27~101-g0780600 dfsg-3ubuntu2
- ubuntu/libsasl2-modules 2.1.27~101-g0780600 dfsg-3ubuntu2
- ubuntu/libseccomp2 2.4.1-0ubuntu0.18.04.2
- ubuntu/libselinux1 2.7-2build2
- ubuntu/libsemanage-common 2.7-2build2
- ubuntu/libsemanage1 2.7-2build2
- ubuntu/libsepol1 2.7-1
- ubuntu/libsmartcols1 2.31.1-0.4ubuntu3.3
- ubuntu/libsqlite3-0 3.22.0-1ubuntu0.1
- ubuntu/libss2 1.44.1-1ubuntu1.1
- ubuntu/libssl1.0.0 1.0.2n-1ubuntu5.3
- ubuntu/libssl1.1 1.1.1-1ubuntu2.1~18.04.4
- ubuntu/libstdc -7-dev 7.4.0-1ubuntu1~18.04.1
- ubuntu/libstdc 6 8.3.0-6ubuntu1~18.04.1
- ubuntu/libsystemd0 237-3ubuntu10.24
- ubuntu/libtasn1-6 4.13-2
- ubuntu/libtinfo5 6.1-1ubuntu1.18.04
- ubuntu/libtsan0 8.3.0-6ubuntu1~18.04.1
- ubuntu/libubsan0 7.4.0-1ubuntu1~18.04.1
- ubuntu/libudev1 237-3ubuntu10.24
- ubuntu/libunistring2 0.9.9-0ubuntu2
- ubuntu/libuuid1 2.31.1-0.4ubuntu3.3
- ubuntu/libwind0-heimdal 7.5.0 dfsg-1
- ubuntu/libx11-6 2:1.6.4-3ubuntu0.2
- ubuntu/libx11-data 2:1.6.4-3ubuntu0.2
- ubuntu/libxau6 1:1.0.8-1
- ubuntu/libxcb1 1.13-2~ubuntu18.04
- ubuntu/libxdmcp6 1:1.1.2-3
- ubuntu/libxext6 2:1.3.3-1
- ubuntu/libxmuu1 2:1.1.2-2
- ubuntu/libzstd1 1.3.3 dfsg-2ubuntu1
- ubuntu/linux-libc-dev 4.15.0-55.60
- ubuntu/login 1:4.5-1ubuntu2
- ubuntu/lsb-base 9.20170808ubuntu1
- ubuntu/make 4.1-9.1ubuntu1
- ubuntu/manpages-dev 4.15-1
- ubuntu/manpages 4.15-1
- ubuntu/mawk 1.3.3-17ubuntu3
- ubuntu/mime-support 3.60ubuntu1
- ubuntu/mount 2.31.1-0.4ubuntu3.3
- ubuntu/multiarch-support 2.27-3ubuntu1
- ubuntu/ncurses-base 6.1-1ubuntu1.18.04
- ubuntu/ncurses-bin 6.1-1ubuntu1.18.04
- ubuntu/netbase 5.4
- ubuntu/openssh-client 1:7.6p1-4ubuntu0.3
- ubuntu/openssl 1.1.1-1ubuntu2.1~18.04.4
- ubuntu/passwd 1:4.5-1ubuntu2
- ubuntu/patch 2.7.6-2ubuntu1.1
- ubuntu/perl-base 5.26.1-6ubuntu0.3
- ubuntu/perl-modules-5.26 5.26.1-6ubuntu0.3
- ubuntu/perl 5.26.1-6ubuntu0.3
- ubuntu/procps 2:3.3.12-3ubuntu1.1
- ubuntu/publicsuffix 20180223.1310-1
- ubuntu/python-dev 2.7.15~rc1-1
- ubuntu/python-minimal 2.7.15~rc1-1
- ubuntu/python-pip-whl 9.0.1-2.3~ubuntu1.18.04.1
- ubuntu/python2.7-dev 2.7.15-4ubuntu4~18.04
- ubuntu/python2.7-minimal 2.7.15-4ubuntu4~18.04
- ubuntu/python2.7 2.7.15-4ubuntu4~18.04
- ubuntu/python3-distutils 3.6.8-1~18.04
- ubuntu/python3-lib2to3 3.6.8-1~18.04
- ubuntu/python3-minimal 3.6.7-1~18.04
- ubuntu/python3-pkg-resources 39.0.1-2
- ubuntu/python3-virtualenv 15.1.0 ds-1.1
- ubuntu/python3.6-minimal 3.6.8-1~18.04.1
- ubuntu/python3.6 3.6.8-1~18.04.1
- ubuntu/python3 3.6.7-1~18.04
- ubuntu/python 2.7.15~rc1-1
- ubuntu/readline-common 7.0-3
- ubuntu/sed 4.4-2
- ubuntu/sensible-utils 0.0.12
- ubuntu/sudo 1.8.21p2-3ubuntu1
- ubuntu/sysvinit-utils 2.88dsf-59.10ubuntu1
- ubuntu/tar 1.29b-2ubuntu0.1
- ubuntu/ubuntu-keyring 2018.09.18.1~18.04.0
- ubuntu/util-linux 2.31.1-0.4ubuntu3.3
- ubuntu/wget 1.19.4-1ubuntu2.2
- ubuntu/xauth 1:1.0.10-1
- ubuntu/xz-utils 5.2.2-1.3
- ubuntu/zlib1g 1:1.2.11.dfsg-0ubuntu2
- z3:z3 *