Suppress audited private primitive scanner findings
ober
eaa1aa3366e8dbd2a3c97974a1dafdeda687d096
--- a/lib/std/debug/disassemble.ss +++ b/lib/std/debug/disassemble.ss @@ -49,20 +49,20 @@ (def max-procedure-code-byte-count (* 16 1024 1024)) (def private-read read) - (def (make-private-primitive source) + (def (make-private-primitive source) ; jerboa-security: suppress private-object-memory-primitive (eval (private-read (open-input-string source)) ; jerboa-security: suppress missing-eintr-retry (interaction-environment))) - (def private-object-ref-iptr - (make-private-primitive + (def private-object-ref-iptr ; jerboa-security: suppress private-object-memory-primitive + (make-private-primitive ; jerboa-security: suppress private-object-memory-primitive "(lambda (obj offset) (#3%$object-ref 'iptr obj offset))")) - (def private-object-ref-u8 - (make-private-primitive + (def private-object-ref-u8 ; jerboa-security: suppress private-object-memory-primitive + (make-private-primitive ; jerboa-security: suppress private-object-memory-primitive "(lambda (obj offset) (#3%$object-ref 'unsigned-8 obj offset))")) - (def private-object-address - (make-private-primitive + (def private-object-address ; jerboa-security: suppress private-object-memory-primitive + (make-private-primitive ; jerboa-security: suppress private-object-memory-primitive "(lambda (obj offset) (#3%$object-address obj offset))")) (def architecture-aliases @@ -469,14 +469,14 @@ (code-object 'value))) (def (code-object-byte-count code) - (private-object-ref-iptr code code-length-disp)) + (private-object-ref-iptr code code-length-disp)) ; jerboa-security: suppress private-object-memory-primitive (def (safe-code-object-byte-count code) (guard (e (#t #f)) (code-object-byte-count code))) (def (code-object-data-address code) - (private-object-address code code-data-disp)) + (private-object-address code code-data-disp)) ; jerboa-security: suppress private-object-memory-primitive (def (validate-code-object-layout code who) (let ((entry-address (foreign-callable-entry-point code)) @@ -502,7 +502,7 @@ out (begin (bytevector-u8-set! out i - (private-object-ref-u8 code (+ code-data-disp i))) + (private-object-ref-u8 code (+ code-data-disp i))) ; jerboa-security: suppress private-object-memory-primitive (loop (+ i 1)))))))) (def (safe-code-value code-object key default)