codyze icon indicating copy to clipboard operation
codyze copied to clipboard

Incorrect template type evaluation when matching MARK ops

Open fwendland opened this issue 3 years ago • 0 comments

In MARK entities we can define ops. 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 ops.

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.

fwendland avatar Dec 15 '21 09:12 fwendland