Search Criteria
Package Details: ikos-git 3.0.r409.72c70c7-1
| Git Clone URL: | https://aur.archlinux.org/ikos-git.git (read-only, click to copy) |
|---|---|
| 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.000779 |
| First Submitted: | 2019-06-12 17:21 |
| Last Updated: | 2019-12-17 02:17 |
Dependencies (12)
- apron (apron-svn)
- boost-libs (boost171)
- clang (clang-pypy-stm, clang39, clang38, llvm-tce, llvm-git, llvm-minimal-git)
- gmp (gmp-hg)
- intel-tbb (intel-tbb-gcc6)
- llvm (llvm-pypy-stm, llvm39, llvm38, llvm-asserts, llvm8, llvm-tce, llvm-minimal-git)
- llvm-libs (llvm-libs-pypy-stm, llvm39-libs, llvm-libs38, llvm-asserts-libs, llvm-libs-git, llvm-libs-minimal-git)
- python (python-dbg)
- python-pygments
- sqlite (sqlite-fossil, sqlite-replication)
- boost (make)
- cmake (cmake-git) (make)