# gprof ability in all gcl executables
fricas: binary-compiled-with-profiling-enabled [usr/lib/fricas/target/aarch64-unknown-linux-gnu/bin/FRICASsys]
# pie unworkable in all gcl executables, as sbrk must be non-random
fricas: hardening-no-pie [usr/lib/fricas/target/aarch64-unknown-linux-gnu/bin/FRICASsys]
# gcl executables will likely work with bindnow, but may interefere with
# linker algorithms on some machines
fricas: hardening-no-bindnow [usr/lib/fricas/target/aarch64-unknown-linux-gnu/bin/FRICASsys]
# gcl executables formed with save-system/unexec, not ld
fricas: hardening-no-relro [usr/lib/fricas/target/aarch64-unknown-linux-gnu/bin/FRICASsys]
# Policy says we can put executables in usr/lib
fricas: executable-in-usr-lib [usr/lib/fricas/target/aarch64-unknown-linux-gnu/bin/FRICASsys]
fricas: executable-in-usr-lib [usr/lib/fricas/target/aarch64-unknown-linux-gnu/bin/clef]
fricas: executable-in-usr-lib [usr/lib/fricas/target/aarch64-unknown-linux-gnu/bin/fricas]
fricas: executable-in-usr-lib [usr/lib/fricas/target/aarch64-unknown-linux-gnu/bin/sman]
fricas: executable-in-usr-lib [usr/lib/fricas/target/aarch64-unknown-linux-gnu/lib/SPADEDIT]
fricas: executable-in-usr-lib [usr/lib/fricas/target/aarch64-unknown-linux-gnu/lib/ex2ht]
fricas: executable-in-usr-lib [usr/lib/fricas/target/aarch64-unknown-linux-gnu/lib/presea]
fricas: executable-in-usr-lib [usr/lib/fricas/target/aarch64-unknown-linux-gnu/lib/session]
fricas: executable-in-usr-lib [usr/lib/fricas/target/aarch64-unknown-linux-gnu/lib/spadbuf]
fricas: executable-in-usr-lib [usr/lib/fricas/target/aarch64-unknown-linux-gnu/lib/spadclient]
# these are all correct
fricas: repeated-path-segment lib [usr/lib/fricas/target/aarch64-unknown-linux-gnu/lib/]
# Following no longer matches as of 1.3.7-1
# fricas: spelling-error-in-binary [usr/lib/fricas/target/aarch64-unknown-linux-gnu/bin/FRICASsys] yuR your
# Following no longer matches as of 1.3.8-1
# fricas: spelling-error-in-binary [usr/lib/fricas/target/aarch64-unknown-linux-gnu/bin/FRICASsys] withon within
# fricas: spelling-error-in-binary [usr/lib/fricas/target/aarch64-unknown-linux-gnu/bin/FRICASsys] isnt isn't
