analyze: tracking issue for lighttpd algo_md5

[spernsteiner]

We'd like to be able to fully refactor lighttpd's algo_md5 module into safe Rust. This tracking issue covers analysis features that will be required to support that:

• Casts from Single to non-Single Quantity. This may be a bug, possibly with our handling of array.as_mut_ptr(); if the cast's output has PermissionSet::OFFSET (causing it to have non-Single Quantity), then the input should have that permission as well.
  • Investigate to determine why the analysis wants to insert this cast
• void* arguments for local functions. Specifically, MD5_Update takes a pointer to bytes as the argument void* _input.
  • Track concrete pointee types through void* and char* casts
  • Rewrite argument types from *mut c_void to a more specific safe type
• Rewrite memcpy into copy_from_slice.
• Rewrite memset(&s, 0, sizeof(s)) into zero-initialization of each field of s.
• Fix unsupported cast kind: TypeDesc
  • Investigate further - which TypeDescs is it failing on?
• Fix unlower_map has no origin - possibly fixed by Test.lighttpd.md5 #1020
• Figure out why the context pointer is getting OFFSET permission in several functions
• Fix bad cast in MD5_Update's call to li_MD5Transform:

  // old:
  ((*context).buffer).as_mut_ptr() as *const libc::c_uchar
  // new:
  &*(&mut (((*context).buffer)) as &mut [u8]) as *const libc::c_uchar

  The final ... as *const libc::c_uchar should be removed.

[aneksteind]

Just merged #1022 which lets algo_md5 pass without modifications.