When I use the fault injection test to test, I find that some cores are generated. I wonder if these need to add the judgment of invalid handles in _gcry_md_ctl and whether this makes sense.
Sorry, but we can't check all parameters. Why only check that one and not the others or invalid values for ctx. You may do such checks in an interactive environment but not for a general library.