Search Criteria
Package Details: ikos-git 2.1.r237.bf4ac4a-1
| Git Clone URL: | https://aur.archlinux.org/ikos-git.git (read-only) |
|---|---|
| Package Base: | ikos-git |
| Description: | Static analyzer for C and C++ developed by NASA |
| Upstream URL: | https://github.com/nasa-sw-vnv/ikos |
| Licenses: | |
| Provides: | |
| Submitter: | arthaud |
| Maintainer: | arthaud |
| Last Packager: | arthaud |
| Votes: | 1 |
| Popularity: | 0.877931 |
| First Submitted: | 2019-06-12 17:21 |
| Last Updated: | 2019-06-12 17:21 |
Dependencies (11)
- apron (apron-svn)
- boost-libs
- clang (clang-assert, clang-pypy-stm, clang-polly-svn, clang39, clang38, clang-lw-git, lone_wolf-clang-git, clang-minimal-git, clang-trunk, llvm-git, llvm-minimal-git)
- gmp (gmp-hg)
- llvm (llvm-assert, llvm-pypy-stm, llvm-polly-svn, llvm39, llvm38, llvm-lw-git, lone_wolf-llvm-git, clang-trunk, llvm-minimal-git)
- llvm-libs (llvm-libs-assert, llvm-libs-pypy-stm, llvm-libs-polly-svn, llvm39-libs, llvm-libs38, clang-trunk, llvm-libs-git)
- python (python-dbg)
- python-pygments
- sqlite (sqlite-fossil, sqlite-replication)
- boost (make)
- cmake (cmake-git) (make)