AUR (en) - binsec

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Git Clone URL:	https://aur.archlinux.org/binsec.git (read-only, click to copy)
Package Base:	binsec
Description:	Open-source toolset to help improve software security at the binary level
Upstream URL:	https://binsec.github.io
Licenses:	LGPL-2.1-or-later
Submitter:	meadow
Maintainer:	meadow
Last Packager:	meadow
Votes:	0
Popularity:	0.000000
First Submitted:	2024-03-18 16:41 (UTC)
Last Updated:	2024-03-30 17:57 (UTC)

glibc (glibc-git^AUR, glibc-linux4^AUR, glibc-eac^AUR)
gmp (gmp-hg^AUR)
ocaml
ocaml-curses^AUR
ocaml-grain_dypgen^AUR
ocaml-ocamlgraph^AUR (ocaml-ocamlgraph-git^AUR, ocaml-ocamlgraph^AUR)
ocaml-toml^AUR
ocaml-zarith
dune (make)
ocaml (make)
ocaml-menhir^AUR (make)
ocaml-ounit^AUR (check)
ocaml-qcheck^AUR (check)
bash (bash-devel-static-git^AUR, bash-git^AUR, bash-devel-git^AUR, busybox-coreutils^AUR) (optional) – make_coredump.sh
bitwuzla^AUR (bitwuzla-git^AUR) (optional) – Bitwuzla SMT solver
boolector^AUR (boolector-git^AUR) (optional) – Boolector SMT solver
cvc4 (cvc4-git^AUR) (optional) – CVC4 SMT solver
yices (optional) – Yices 2 SMT Solver
z3 (z3-java^AUR, z3-git^AUR) (optional) – Z3 SMT solver