New Post: Unsound analysis with regards to assemblies not referenced as input
In the documentation for SEAL, one of the causes of unsound analysis is stated as referencing libraries other than the 3 standard .NET libraries and not specifying them as input. My question is why...
View ArticleNew Post: Extracting the assembly public key from...
For each assembly analyzed I am trying to retrieve the fully qualified assembly information. This information includes the assembly name, version, culture, and public key, as you would see when you do...
View ArticleNew Post: Extracting the assembly public key from...
I've figured out how to do this. Here is code: private static byte[] GetKeyTokenFromFullKey(byte[] fullKey) { SHA1CryptoServiceProvider csp = new SHA1CryptoServiceProvider(); byte[] hash =...
View ArticleNew Post: Unsound analysis with regards to assemblies not referenced as input
Hi, Find below some general comments on handling calls to "unanalyzable procedures" which are procedures for which there exist no summary, and also some specific answers to your questions:...
View ArticleNew Post: Unsound analysis with regards to assemblies not referenced as input
A correction to my earlier point regarding conservatively estimating the side-effects. On reflection, I think that is also very hard. Whatever I have described could also be unsound in some situations....
View ArticleNew Post: Unsound analysis with regards to assemblies not referenced as input
Great response. Thank you. I may have follow up questions later but not at this moment.
View Article