Description
A Shape Analyzer Based on Symbolic Memory Graphs
Installation Instructions
dnf copr enable @aufover/predator && dnf install predator
Active Releases
The following unofficial repositories are provided as-is by owner of this project. Contact the owner directly for bugs or issues (IE: not bugzilla).
Release | Architectures | Repo Download |
---|---|---|
![]() |
x86_64 (3)* | EPEL 10 (9 downloads) |
![]() |
x86_64 (97)* | EPEL 7 (55 downloads) |
![]() |
x86_64 (122)* | EPEL 8 (51 downloads) |
![]() |
x86_64 (104)* | EPEL 9 (48 downloads) |
![]() |
x86_64 (62)* | Fedora 39 (0 downloads) |
![]() |
x86_64 (10)* | Fedora 40 (0 downloads) |
![]() |
x86_64 (29)* | Fedora 41 (21 downloads) |
![]() |
x86_64 (0)* | Fedora 42 (12 downloads) |
![]() |
x86_64 (505)* | Fedora rawhide (234 downloads) |
* Total number of downloaded packages.
Quick Enable
#> dnf copr enable @aufover/predator
More info about enabling Copr repositories