w6vvn/palps
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

assertion for path validation

Browse Source
This commit is contained in:
w6vvn
2025-09-10 11:55:39 -07:00
parent 021eac1949
commit 9b492b52fe
1 changed files with 20 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
palps.rkt
View File

@@ -75,6 +75,26 @@
path]))) path])))
(loop)) (loop))
;; raised by assert-confined-to-call-dir when attemping to traverse
;; outside of (call-dir)
(struct exn:fail:contract:illegal-path exn:fail:contract ()
#:extra-constructor-name make-exn:fail:contract:illegal-path
#:transparent)
;; check if path, once resolved, is a child of base
(define (confined-path? base path)
(string-prefix?
(path->string (simplify-path (build-path base path)))
(path->string (simplify-path base))))
;; asserts that path is within (call-dir), and raises
;; exn:fail:contract:illegal-path otherwise.
(define (assert-confined-to-call-dir path)
(when (not (confined-path? (call-dir) path))
(raise (make-exn:fail:contract:illegal-path
"assert-confined-to-call-dir: traversed outside of root"
(current-continuation-marks)))))
;; "main" procedure to be executed in an interactive context i.e. for ;; "main" procedure to be executed in an interactive context i.e. for
;; BPQ ;; BPQ
(define (session-startup) (define (session-startup)