Possible MisMatich in CryptoAPIMisuse signatures

sireum / archived-v2-amandroid

34 stars 16 forks source link

Closed kaushin closed 8 years ago

kaushin commented 8 years ago

This is just to report the following issue.

CryptographicConstants.scala has signatures as "[| sig |]" Which should have been just " sig "

-Kaushik, BGSU

fgwei commented 8 years ago

oh, I see. Fixed. Thx. BTW, you can always issue a pull request if you added some code.