8 Commits

Author	SHA1	Message	Date
Rasmus Wriedt Larsen	fa88f22453	Python: Model hashing operations in cryptography package	2021-04-22 14:51:20 +02:00
Rasmus Wriedt Larsen	c5f826580b	Python: Model encrypt/decrypt in cryptography package ... I introduced a InternalTypeTracking module, since the type-tracking code got so verbose, that it was impossible to get an overview of the relevant predicates. (this means the "first" type-tracking predicate that is usually private, cannot be marked private anymore, since it needs to be exposed in the private module.	2021-04-22 14:51:19 +02:00
Rasmus Wriedt Larsen	2c0df8e656	Python: Add MD5 tests	2021-04-22 14:51:16 +02:00
Rasmus Wriedt Larsen	d18fbb7f07	Python: Add working tests of AES and RC4	2021-04-22 14:51:14 +02:00
Rasmus Wriedt Larsen	d9079e34e3	Python: Move framework tests out of experimental ... Since they are not experimental anymore 😄	2021-03-19 15:51:54 +01:00
Rasmus Wriedt Larsen	bd40965afe	Python: Add modeling for cryptography PyPI package	2021-02-19 13:59:17 +01:00
Rasmus Wriedt Larsen	1bf9f7d135	Python: Add missing annotations to new crypto tests	2021-02-19 13:59:16 +01:00
Rasmus Wriedt Larsen	4ab61bb088	Python: Add a few tests for crypto frameworks ... Tests working can be verified by running ``` ls ql/python/ql/test/experimental/library-tests/frameworks/crypto*/*.py | xargs -L1 sh -c 'python $0 || exit 255' ```	2021-02-19 13:26:45 +01:00