Messages in this thread | | | Subject | Re: [Cocci] Coccinelle rule for CVE-2019-18683 | From | Markus Elfring <> | Date | Thu, 9 Apr 2020 10:41:02 +0200 |
| |
> Do you have any idea how to improve it?
I see further software development possibilities of varying relevance also for this script of the semantic patch language.
* The SmPL variables “lock_p”, “unlock_p” and “stop_p” could be declared in a more succinct way just by listing them in the same statement.
* The source code search pattern can be too generic. How do you think about to consider additional constraints for safer data control flow analysis?
* Other operation modes might become helpful.
Regards, Markus
| |