Re: Coccinelle rule for CVE-2019-18683

From: Markus Elfring
Date: Sat Apr 11 2020 - 01:07:46 EST

Next message: Dexuan Cui: "[PATCH v2] Drivers: hv: vmbus: Fix Suspend-to-Idle for Generation-2 VM"
Previous message: Sivaprakash Murugesan: "[PATCH V2 5/5] arm64: dts: ipq8074: enable USB support"
In reply to: Alexander Popov: "Re: Coccinelle rule for CVE-2019-18683"
Next in thread: Julia Lawall: "Re: [Cocci] Coccinelle rule for CVE-2019-18683"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

> Analysing each matching case would take a lot of time.

How many efforts would you like to invest in adjusting the situation?

Will any more development possibilities picked up to reduce the presentation
of false positives by the mentioned source code analysis approach considerably?

Regards,
Markus

Next message: Dexuan Cui: "[PATCH v2] Drivers: hv: vmbus: Fix Suspend-to-Idle for Generation-2 VM"
Previous message: Sivaprakash Murugesan: "[PATCH V2 5/5] arm64: dts: ipq8074: enable USB support"
In reply to: Alexander Popov: "Re: Coccinelle rule for CVE-2019-18683"
Next in thread: Julia Lawall: "Re: [Cocci] Coccinelle rule for CVE-2019-18683"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]