kiskadee

Clone

27f154c First white list implementation for Frama-C

Authored and Committed by Athos Ribeiro 6 years ago
raw patch tree parent
3 files changed. 17 lines added. 6 lines removed.
util/dockerfiles/frama_c/Dockerfileutil/dockerfiles/frama-c/Dockerfile
file renamed
+0 -0
util/dockerfiles/frama_c/docker-entrypoint.shutil/dockerfiles/frama-c/docker-entrypoint.sh
file renamed
+14 -5
util/kiskadee.conf
file modified
+3 -1 
    First white list implementation for Frama-C
util/dockerfiles/frama_c/Dockerfile util/dockerfiles/frama-c/Dockerfile
file renamed
file was renamed with no change to the file
util/dockerfiles/frama_c/docker-entrypoint.sh util/dockerfiles/frama-c/docker-entrypoint.sh
file renamed
+14 -5
file modified
+3 -1
Powered by Pagure 5.14.1
Documentation • File an Issue • About • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.