Observed Behavior
The tool flagged a missing resource cleanup that was actually present, likely due to a lack of deep call-graph analysis.
Technical Requirement
Improve Sashiko's ability to track resource state across function boundaries. If a cleanup function is called within a conditional block, the tool could verify the contents of that function before flagging a leak.
Observed Behavior
The tool flagged a missing resource cleanup that was actually present, likely due to a lack of deep call-graph analysis.
Technical Requirement
Improve Sashiko's ability to track resource state across function boundaries. If a cleanup function is called within a conditional block, the tool could verify the contents of that function before flagging a leak.