chore: add .jerboa/security.json profile
ober
e30c39eb7839ad8a0aa628a45d1a0fa3a9a67947
new file mode 100644 --- /dev/null +++ b/.jerboa/security.json @@ -0,0 +1,22 @@ +{ + "version": 1, + "repo": "jerboa-db", + "extends": ["jerboa:library", "jerboa:parser"], + "paths": { + "production": ["*.ss", "*.sls", "lib/**/*.ss", "lib/**/*.sls", "src/**/*.ss", "src/**/*.sls", "Makefile"], + "tests": ["test/**", "tests/**", "**/*-test.ss", "bench/**", "benchmarks/**"], + "generated": ["build/**", "dist/**", "target/**"], + "vendor": ["vendor/**", "third_party/**"], + "docs": ["README.md", "docs/**", "*.md", "AGENTS.md"] + }, + "policy": { + "failOn": ["critical", "high"], + "imports": { "directChezscheme": "deny" }, + "ffi": { "allowed": false }, + "process": { "shellInterpolation": "deny" }, + "network": { "requireTimeouts": false }, + "eval": { "stringEval": "deny", "bareRead": "deny", "allowReadEval": false }, + "parser": { "requireLimits": true } + }, + "suppressions": [] +}