summaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
authorjvoisin2018-07-23 14:15:37 +0200
committerjvoisin2018-07-23 14:15:37 +0200
commit750d417412323758871be0c9c43ff65a31071cc4 (patch)
tree79f44df89dcc51b507ad9fafd3943029f09a62bd /config
parent44e47ba740c8207edb510dbdb6b1fbbbd2a65c5e (diff)
Activate more features in the default rules
Diffstat (limited to 'config')
-rw-r--r--config/default.rules6
1 files changed, 6 insertions, 0 deletions
diff --git a/config/default.rules b/config/default.rules
index 4e6a27f..a21a6cf 100644
--- a/config/default.rules
+++ b/config/default.rules
@@ -1,3 +1,9 @@
1# Harden the PRNG
2sp.harden_random.enable();
3
4# Disabled XXE
5sp.disable_xxe.enable();
6
1# Harden the `chmod` function 7# Harden the `chmod` function
2sp.disable_function.function("chmod").param("mode").value_r("^[0-9]{2}[67]$").drop(); 8sp.disable_function.function("chmod").param("mode").value_r("^[0-9]{2}[67]$").drop();
3 9