]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fd73255) | patch
stronger validation of input lists for cryptographic routines
authorMarkus Triska <[email protected]>
Mon, 18 May 2020 11:28:52 +0000 (13:28 +0200)
committerMarkus Triska <[email protected]>
Mon, 18 May 2020 11:28:52 +0000 (13:28 +0200)
commita423eb53237a01e468796ac3900e9fb4ae826811
tree99d25e4cfed0d4a9583d6cf846b96ead97e59c56tree | snapshot
parentfd732550d8ae83cbe17e83e366175227914ea64ccommit | diff
stronger validation of input lists for cryptographic routines

Example:

    ?- crypto_data_hkdf(Var, 32, Bs, []).
    caught: error(instantiation_error,must_be/2)

Reported by @notoria in #527. Many thanks!
src/prolog/lib/crypto.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust