codyze
codyze copied to clipboard
Incorrect template type evaluation when matching MARK ops
In MARK entities we can define op
s. They collect functions/methods with a common purpose but different signatures. To differentiate between functions/methods with the same name we can provide type specifiers to parameters of op
s.
Generic/Template types are not properly resolved in Codyze.
For example, in BotanRuleTest.test_rule_2_1_01()
the method set_key()
is not identified by Codyze. There is a type mismatch in the op
itself but even when changing the type to Botan::secure_vector<uint8_t>
doesn't fix the problem. Only the non generic type Botan::secure_vector
is recognized.