I have a Storport driver that uses sp_DRIVER_INITIALIZE as the entry point which is in StorportDrivers.qll, but I get the following failure when I run recommended.qls on my driver code:
<AssessmentScore ScoreName="smartpqi.x64.Semmle.Defect.cpp/drivers/current-function-type-not-correct" ScoreValue="1" ScoreUnit="SEMMLE_RECOMMENDED_FAILED" />
How do I get this corrected?