I don't see any explanation of what niche this targets relative to pre-existing tools like Checked C, CMBC, or Frama C...